Sciweavers

4257 search results - page 79 / 852
» The Logical Modularity of Programs
Sort
View
POPL
1990
ACM
15 years 6 months ago
Parallelism in Logic Programs
Raghu Ramakrishnan
91
Voted
PPDP
2000
Springer
15 years 6 months ago
Type-based nondeterminism checking in functional logic programs
Michael Hanus, Frank Steiner
PPDP
2000
Springer
15 years 6 months ago
Continuations for parallel logic programming
Eneia Todoran, Nikolaos Papaspyrou
LICS
2005
IEEE
15 years 8 months ago
Model-Checking Hierarchical Structures
Hierarchical graph definitions allow a modular description of graphs using modules for the specification of repeated substructures. Beside this modularity, hierarchical graph de...
Markus Lohrey