Sciweavers

3738 search results - page 50 / 748
» Parametrized Logic Programming
Sort
View
93
Voted
PPDP
2000
Springer
15 years 6 months ago
Type-based nondeterminism checking in functional logic programs
Michael Hanus, Frank Steiner
87
Voted
PPDP
2000
Springer
15 years 6 months ago
Continuations for parallel logic programming
Eneia Todoran, Nikolaos Papaspyrou
95
Voted
ICALP
1991
Springer
15 years 6 months ago
Logical and Computational Aspects of Programming with Sets/Bags/Lists
Val Tannen, Ramesh Subrahmanyam
139
Voted
PADL
2007
Springer
15 years 8 months ago
Aspect-Oriented Programming in Higher-Order and Linear Logic
Essential elements of aspect-oriented programming can be formulated as forms of logic programming. Extensions of Horn Clause rovide richer abstraction and control mechanisms. Defi...
Chuck C. Liang
120
Voted
NGC
2000
Springer
124views Communications» more  NGC 2000»
15 years 2 months ago
Temporal Disjunctive Logic Programming
In this paper we introduce the logic programminglanguage Disjunctive Chronolog which combines the programming paradigms of temporal and disjunctive logic programming. Disjunctive C...
Manolis Gergatsoulis, Panos Rondogiannis, Themis P...