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
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
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