10072 search results - page 80 / 2015 » Composition of Model Programs |
105
click to vote
ACMSE
2007
ACM
15 years 6 months ago
2007
ACM
BoxScript is a Java-based language that supports the componentoriented programming paradigm. BoxScript introduces a composition strategy and type structure to support two main pro...
APLAS
2008
ACM
15 years 4 months ago
2008
ACM
nce of Form Abstraction Ezra Cooper, Sam Lindley, Philip Wadler, and Jeremy Yallop School of Informatics, University of Edinburgh Abstraction is the cornerstone of high-level progr...
157
Voted
POPL
2002
ACM
16 years 2 months ago
2002
ACM
122
click to vote
AOSD
2007
ACM
15 years 3 months ago
2007
ACM
Composing web services using current web service composition languages (such as BPEL) requires a large amount of in-depth knowledge. This paper introduces a service creation envir...
211
click to vote
POPL
2006
ACM
16 years 2 months ago
2006
ACM
We present staged allocation, a technique for specifying calling conventions by composing tiny allocators called stages. A specification written using staged allocation has a prec...