558 search results - page 5 / 112 » Compiling Resources in a Linear Logic Programming Language |
113
Voted
ICLP
2010
Springer
15 years 6 months ago
2010
Springer
This paper presents a compiler from expressive, relational specifications to logic programs. Specifically, the compiler translates the Imperative Alloy specification language to...
139
Voted
ENTCS
2006
15 years 2 months ago
2006
This paper has the purpose of reviewing some of the established relationships between logic and concurrency, and of exploring new ones. Concurrent and distributed systems are noto...
124
Voted
LPAR
2004
Springer
15 years 8 months ago
2004
Springer
119
click to vote
ICTAC
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. The potential of linear logic in facilitating reasoning on resource usage has long been recognized. However, convincing uses of linear types in practical programming are ...
160
Voted
FROCOS
2000
Springer
15 years 6 months ago
2000
Springer
This paper describes a high-level implementation of the concurrent constraint functional logic language Curry. The implementation, directed by the lazy pattern matching strategy of...