281 search results - page 1 / 57 » A formal framework for compositional compilation |
90
Voted
ICTCS
2007
Springer
15 years 9 months ago
2007
Springer
137
click to vote
ICFP
2003
ACM
16 years 3 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...
226
click to vote
LISP
2006
15 years 3 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 ...
123
Voted
ITP
2010
15 years 5 months ago
2010
126
Voted
ISAS
2005
Springer
15 years 9 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...