615 search results - page 54 / 123 » High-Level Nondeterministic Abstractions in |
124
Voted
CEFP
2007
Springer
15 years 10 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....
105
Voted
CICLING
2007
Springer
15 years 10 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...
128
click to vote
KIVS
2007
Springer
15 years 9 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...
143
Voted
TGC
2007
Springer
15 years 9 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...
138
Voted
CLUSTER
2006
IEEE
15 years 9 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...