1320 search results - page 70 / 264 » Efficient Implementation of a Linear Logic Programming Langu... |
140
click to vote
AGP
1995
IEEE
15 years 7 months ago
1995
IEEE
Pattern analysis consists in determining the shape of the set of solutions of the constraint store at some program points. Our basic claim is that pattern analyses can all be desc...
120
click to vote
GPCE
2009
Springer
15 years 8 months ago
2009
Springer
This paper describes a language and framework that allow coordinated transformations driven by invariants to be specified declaratively, as invariant rules, and applied automatic...
123
click to vote
IFIP
2000
Springer
15 years 7 months ago
2000
Springer
Scientific programs rely heavily on software libraries. This paper describes the limitations of this reliance and shows how it degrades software quality. We offer a solution that u...
155
Voted
NGC
1998
Springer
15 years 3 months ago
1998
Springer
Much progress has been made in distributed computing in the areas of distribution structure, open computing, fault tolerance, and security. Yet, writing distributed applications r...
129
click to vote
ICLP
1997
Springer
15 years 8 months ago
1997
Springer
We provide a method whereby, given mode and (upper approximation) type information, we can detect procedures and goals that can be guaranteed to not fail (i.e., to produce at leas...