4716 search results - page 739 / 944 » Tangible functional programming |
115
Voted
SEFM
2007
IEEE
15 years 5 months 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 ...
121
Voted
ACL2
2006
ACM
15 years 5 months 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...
73
Voted
ASPLOS
2006
ACM
15 years 4 months 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...
108
click to vote
SCESM
2006
ACM
15 years 4 months 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...
CSB
2005
IEEE
15 years 4 months ago
2005
IEEE
In bacterium, genes working in the same pathway or interacting with each other are often organized into operons. Currently, the prediction accuracy for operon/boundary gene pairs ...