1320 search results - page 55 / 264 » Efficient Implementation of a Linear Logic Programming Langu... |
159
click to vote
ICLP
2011
Springer
14 years 6 months ago
2011
Springer
Parallel implementations of programming languages need to control synchronization overheads. Synchronization is essential for ensuring the correctness of parallel code, yet it add...
253
click to vote
POPL
2009
ACM
16 years 3 months ago
2009
ACM
Memory models define an interface between programs written in some language and their implementation, determining which behaviour the memory (and thus a program) is allowed to hav...
124
click to vote
WCFLP
2005
ACM
15 years 8 months ago
2005
ACM
There exist several implementations of the functional logic language Curry: a transformation to Prolog and implementations of machines for C and Java. We show that there are many ...
117
click to vote
ATAL
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. This paper presents an implementation of (a simplified version of) the cognitive agent programming language 3APL in the Maude term rewriting language. Maude is based on t...
137
click to vote
FLOPS
2004
Springer
15 years 8 months ago
2004
Springer
We propose a semantic framework for modelling the linear usage of continuations in typed call-by-name programming languages. On the semantic side, we introduce a construction for c...