5090 search results - page 54 / 1018 » Constructing Strategies for Programming |
POPL
1997
ACM
14 years 16 days ago
1997
ACM
The following theorem of Huet and L
CASES
2006
ACM
14 years 2 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...
APLAS
2011
ACM
12 years 9 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...
OOPSLA
2005
Springer
14 years 2 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...
CSSE
2008
IEEE
14 years 3 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...