5863 search results - page 974 / 1173 » Calculating Functional Programs |
166
click to vote
ICRA
2007
IEEE
16 years 25 days ago
2007
IEEE
— Ubiquitous robots need the ability to adapt their behaviour to the changing situations and demands they will encounter during their lifetimes. In particular, non-technical user...
216
click to vote
SEFM
2007
IEEE
16 years 24 days ago
2007
IEEE
This paper presents an implicitly-typed functional, aspect-oriented programming language: λ AOP. The main contribution of the paper is a semantics for λ AOP advice weaving. The ...
222
click to vote
ACL2
2006
ACM
16 years 15 days ago
2006
ACM
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...
151
click to vote
ASPLOS
2006
ACM
16 years 15 days ago
2006
ACM
Growing on-chip wire delays are motivating architectural features that expose on-chip communication to the compiler. EDGE architectures are one example of communication-exposed mi...
196
click to vote
SCESM
2006
ACM
16 years 14 days ago
2006
ACM
An important step in the development of large-scale distributed reactive systems is the design of effective system architectures. The early availability of prototypes facilitates...