Tarmo - PDFSEARCH.IO - Document Search Engine

Tarmo
Results: 95

#	Item
61	ByteCode[removed]Type Systems for Optimizing Stack-based Code Ando Saabas and Tarmo Uustalu1 Institute of Cybernetics, Tallinn University of Technology, Add to Reading List Source URL: set.ee Language: English - Date: 2007-12-06 06:21:07 Stack Subroutine Assembly languages Computer programming Software engineering Computing
62	SOS 2005 Preliminary Version A Compositional Natural Semantics and Hoare Logic for Low-Level Languages Ando Saabas and Tarmo Uustalu 1,2 Institute of Cybernetics at Tallinn University of Technology Add to Reading List Source URL: set.ee Language: English - Date: 2005-11-01 12:39:40 Metalogic Universal algebra Formal languages Structure Interpretation Parity of a permutation Substructure Hoare logic Goto Mathematics Model theory Mathematical logic
63	A Compositional Natural Semantics and Hoare Logic for Low-Level Languages 1 Ando Saabas 2 and Tarmo Uustalu ∗,2 Institute of Cybernetics at Tallinn University of Technology Akadeemia tee 21, EE[removed]Tallinn, Estonia R Add to Reading List Source URL: set.ee Language: English - Date: 2007-12-06 06:22:33 Logic Mathematical logic Structure Universal algebra Interpretation Hoare logic Parity of a permutation Goto Denotational semantics Mathematics Model theory Formal languages
64	Compositional Type Systems for Stack-Based Low-Level Languages Ando Saabas Tarmo Uustalu Institute of Cybernetics at Tallinn University of Technology Add to Reading List Source URL: set.ee Language: English - Date: 2006-10-30 06:58:01 Philosophy of language Philosophy of mind Semantics Entailment Zeta Symbol Logic Interpretation Model theory
65	Program and Proof Optimizations with Type Systems 1 Ando Saabas and Tarmo Uustalu ∗ Institute of Cybernetics at Tallinn University of Technology, Akadeemia tee 21, EE[removed]Tallinn, Estonia Received 17 March 2007; acce Add to Reading List Source URL: set.ee Language: English - Date: 2008-09-11 10:49:45 Normal distribution Hoare logic Program logic Model theory
66	Proof Optimization for Partial Redundancy Elimination Ando Saabas Tarmo Uustalu Institute of Cybernetics, Tallinn University of Technology Add to Reading List Source URL: set.ee Language: English - Date: 2007-12-06 06:23:54 Predicate transformer semantics Hoare logic Partial redundancy elimination Program logic Theoretical computer science Formal methods
67	Tarmo Hietala från Norrköping nominerad till ... Page 1 of 2 Tarmo Hietala från Norrköping nominerad till Årets Affärsnätverkare Add to Reading List Source URL: www.affarsnatverkare.se Language: Swedish - Date: 2011-05-11 08:21:51
68	Representing Cyclic Structures as Nested Datatypes Neil Ghani1 , Makoto Hamana2 , Tarmo Uustalu3 , and Varmo Vene4 1 School of Computer Science and IT, Univ. of Nottingham, Jubilee Campus, Wollaton Road, Nottingham NG8 1 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2006-03-26 08:25:14 Procedural programming languages Recursion Higher-order functions Data types Functional languages Fold Cyclic group CLIST Cyclic Software engineering Computing Computer programming
69	Representing Cyclic Structures as Nested Datatypes Neil Ghani1 , Makoto Hamana2 , Tarmo Uustalu3 , and Varmo Vene4 1 School of Computer Science and IT, Univ. of Nottingham, Jubilee Campus, Wollaton Road, Nottingham NG8 1 Add to Reading List Source URL: cs.ioc.ee Language: English - Date: 2006-03-23 13:23:38 Procedural programming languages Recursion Higher-order functions Data types Functional languages Fold Cyclic group CLIST Cyclic Software engineering Computing Computer programming
70	Comonadic notions of computation Tarmo Uustalu1 1 Institute Varmo Vene2 Add to Reading List Source URL: math.ut.ee Language: English - Date: 2006-10-03 16:09:05 Functor Natural transformation Computing Mathematics Adjoint functors Monad Coalgebra

UPDATE