Search Sciweavers | Sciweavers

7456 search results - page 65 / 1492

» Parallelism in Logic Programs

189

click to vote

NGC
2000
Springer

124views Communications» more NGC 2000»

Temporal Disjunctive Logic Programming

15 years 7 months ago

Download www.ionio.gr

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

claim paper

Read More »

308

Voted

POPL
2009
ACM

113views Programming Languages» more POPL 2009»

Classical BI: a logic for reasoning about dualising resources

16 years 8 months ago

Download www.doc.ic.ac.uk

James Brotherston, Cristiano Calcagno

claim paper

Read More »

167

click to vote

PADL
2007
Springer

156views Programming Languages» more PADL 2007»

ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement

16 years 1 months ago

Download www7.in.tum.de

Andreas Podelski, Andrey Rybalchenko

claim paper

Read More »

147

Voted

POPL
2000
ACM

126views Programming Languages» more POPL 2000»

Anytime, Anywhere: Modal Logics for Mobile Ambients

15 years 11 months ago

Download research.microsoft.com

Luca Cardelli, Andrew D. Gordon

claim paper

Read More »

153

click to vote

IFIP
1994
Springer

106views Programming Languages» more IFIP 1994»

Deriving Partial Correctness Logics From Evolving Algebras

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers