281 search results - page 1 / 57 » A formal framework for compositional compilation |
ICTCS
2007
Springer
13 years 11 months ago
2007
Springer
ICFP
2003
ACM
14 years 4 months ago
2003
ACM
The task of designing and implementing a compiler can be a difficult and error-prone process. In this paper, we present proach based on the use of higher-order abstract syntax and...
LISP
2006
13 years 4 months ago
2006
The task of designing and implementing a compiler can be a difficult and error-prone process. In this paper, we present a new approach based on the igher-order abstract syntax and ...
ITP
2010
13 years 6 months ago
2010
ISAS
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. We present formal and practical foundations for Web service composition framework with composition correctness guarantees. We introduce contractual composition model base...