3713 search results - page 127 / 743 » Constructing a Calculus of Programs |
165
click to vote
CASES
2006
ACM
15 years 9 months ago
2006
ACM
Developing an optimizing compiler for a newly proposed architecture is extremely difficult when there is only a simulator of the machine available. Designing such a compiler requ...
143
click to vote
APLAS
2011
ACM
14 years 3 months ago
2011
ACM
The well-known third list homomorphism theorem states that if a function h is both an instance of foldr and foldl, it is a list homomorphism. Plenty of previous works devoted to co...
107
click to vote
OOPSLA
2005
Springer
15 years 8 months ago
2005
Springer
The objective of this research project is to improve the reusability of object-oriented software. We have introduced anchored exception declarations to allow checked exceptions to...
132
Voted
CSSE
2008
IEEE
15 years 9 months ago
2008
IEEE
: The technology of virtual machines is widely applied in many fields, such as code transplanting, cross-platform computing, and hardware simulation. The main purpose is to simulat...
135
click to vote
ICC
2007
IEEE
15 years 9 months ago
2007
IEEE
—The notion of p-cycle (Preconfigured Protection Cycle) allows capacity efficient schemes to be designed for fast span protection in WDM mesh networks. Conventional p-cycle const...