615 search results - page 54 / 123 » High-Level Nondeterministic Abstractions in |
104
click to vote
CEFP
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. In this paper we sketch some experiments with the construction of a simple compiler for a high level intermediate lazy functional language, with C++ as a target language....
CICLING
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Polarities are used to sanction grammar fragment combination in high level tree-based formalisms such as eXtenssible MetaGrammar (XMG) and polarized unification grammars...
108
click to vote
KIVS
2007
Springer
15 years 7 months ago
2007
Springer
Abstract Most SSL/TLS-based e-commerce applications employ conventional mechanisms for user authentication. These mechanisms—if decoupled from SSL/TLS session establishment—are...
124
Voted
TGC
2007
Springer
15 years 7 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...
120
click to vote
CLUSTER
2006
IEEE
15 years 7 months ago
2006
IEEE
The growth in the number of generally available, distributed, heterogeneous computing systems places increasing importance on the development of user-friendly tools that enable ap...