8086 search results - page 1357 / 1618 » On the Implementation of Dynamic Patterns |
137
click to vote
HT
1998
ACM
15 years 9 months ago
1998
ACM
The presentation layer of hypermedia systems could benefit from standard object querying functionality and this is most effective if strong typing is enforced. By strong typing we...
215
click to vote
PLDI
1998
ACM
15 years 9 months ago
1998
ACM
A linear-scan algorithm directs the global allocation of register candidates to registers based on a simple linear sweep over the program being compiled. This approach to register...
121
click to vote
CP
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. We propose a general framework for assertion-based debugging of constraint logic programs. Assertions are linguistic constructions which allow expressing properties of pr...
174
click to vote
ECOOP
1998
Springer
15 years 9 months ago
1998
Springer
This paper presents a new algorithm for distributed garbage collection and outlines its implementation within the Network Objects system. The algorithm is based on a reference list...
154
Voted
ICLP
1998
Springer
15 years 9 months ago
1998
Springer
There have been several proposals for logic programming language based on linear logic: Lolli [6], Lygon [5], LO [3], LinLog [2], Forum [8]. In addition, BinProlog allows the use ...