55 search results - page 2 / 11 » Compilation of LOTOS Abstract Data Types |
128
click to vote
IFL
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. We present a new shell that provides the full basic functionality of a strongly typed lazy functional language, including overloading. The shell can be used for manipulat...
132
click to vote
TGC
2007
Springer
15 years 8 months ago
2007
Springer
Abstract We present ML5, a high level programming language for spatially distributed computing. The language, a variant of ML, allows an entire distributed application to be develo...
105
click to vote
ESOP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Many algorithms use concrete data types with some additional invariants. The set of values satisfying the invariants is often a set of representatives for the equivalence...
103
click to vote
CICLING
2004
Springer
15 years 6 months ago
2004
Springer
Abstract: In this paper we describe a flexible, portable and languageindependent infrastructure for setting up large monolingual language corpora. The approach is based on collecti...
120
click to vote
PLDI
2011
ACM
14 years 5 months ago
2011
ACM
We consider the problem of specifying combinations of data structures with complex sharing in a manner that is both declarative lts in provably correct code. In our approach, abst...