7456 search results - page 118 / 1492 » Parallelism in Logic Programming |
118
Voted
CAAP
1990
15 years 6 months ago
1990
The chief purpose of this paper is to appraise the feasibility of Girard’s linear logic as a specification language for parallel processes. To this end we propose an interpreta...
153
Voted
AOSD
2007
ACM
15 years 6 months ago
2007
ACM
Developing and debugging parallel programs particularly for distributed memory architectures is still a difficult task. The most popular approach to developing parallel programs f...
119
Voted
INFOSCALE
2006
ACM
15 years 8 months ago
2006
ACM
Abstract— With the increasing popularity of parallel programming environments such as PC clusters, more and more sequential programmers, with little knowledge about parallel arch...
159
Voted
LANMR
2004
15 years 4 months ago
2004
Hybrid probabilistic programs framework [5] is a variation of probabilistic annotated logic programming approach, which allows the user to explicitly encode the available knowledge...
111
Voted
TLDI
2003
ACM
15 years 7 months ago
2003
ACM
We develop a logic for reasoning about adjacency and separation of memory blocks, as well as aliasing of pointers. We provide a memory model for our logic and present a sound set ...