3713 search results - page 127 / 743 » Constructing a Calculus of Programs |
213
click to vote
CASES
2006
ACM
16 years 10 days 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...
197
click to vote
APLAS
2011
ACM
14 years 6 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...
143
click to vote
OOPSLA
2005
Springer
15 years 12 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...
163
click to vote
CSSE
2008
IEEE
16 years 25 days 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...
169
click to vote
ICC
2007
IEEE
16 years 20 days 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...