Sciweavers

8766 search results - page 107 / 1754
» Functional logic programming
Sort
View
NGC
2000
Springer
124views Communications» more  NGC 2000»
15 years 6 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...
129
Voted
POPL
2000
ACM
15 years 10 months ago
Anytime, Anywhere: Modal Logics for Mobile Ambients
Luca Cardelli, Andrew D. Gordon
136
Voted
IFIP
1994
Springer
15 years 10 months ago
Deriving Partial Correctness Logics From Evolving Algebras
Arnd Poetzsch-Heffter