125
click to vote
APLAS
15 years 6 months ago
2003 ACM 
We describe origami programming methodology based on constraint functional logic programming. The basic operations of origami are reduced to solving systems of equations which desc...
118
click to vote
APLAS
15 years 4 months ago
2003 ACM 
Abstract. Much work has been done in verifying a compiler specification, both in hand-written and mechanical proofs. However, there is still a gap between a correct compiler specif...
APLAS
15 years 6 months ago
2003 ACM 
This paper studies the problem of resource availability in the context of mobile code for embedded systems such as smart cards. It presents an architecture dedicated to controlling...
107
click to vote
APLAS
15 years 6 months ago
2003 ACM 
This paper introduces a Standard ML realization of the scrap-yourboilerplate generic-programming mechanism (first introduced by Simon Peyton Jones and Ralf Lämmel), which gives ...
APLAS
15 years 6 months ago
2003 ACM  |
Programming Languages