Search Sciweavers | Sciweavers

3481 search results - page 76 / 697

» Higher-Order Logic Programming as Constraint Logic Programmi...

click to vote

PPDP
2000
Springer

94views Programming Languages» more PPDP 2000»

Continuations for parallel logic programming

14 years 14 days ago

Download www.softlab.ntua.gr

Eneia Todoran, Nikolaos Papaspyrou

claim paper

Read More »

click to vote

ICALP
1991
Springer

99views Programming Languages» more ICALP 1991»

Logical and Computational Aspects of Programming with Sets/Bags/Lists

14 years 12 days ago

Download www.ircs.upenn.edu

Val Tannen, Ramesh Subrahmanyam

claim paper

Read More »

click to vote

NGC
2000
Springer

124views Communications» more NGC 2000»

Temporal Disjunctive Logic Programming

13 years 8 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 »

click to vote

POPL
2009
ACM

113views Programming Languages» more POPL 2009»

Classical BI: a logic for reasoning about dualising resources

14 years 9 months ago

Download www.doc.ic.ac.uk

James Brotherston, Cristiano Calcagno

claim paper

Read More »

click to vote

PADL
2007
Springer

156views Programming Languages» more PADL 2007»

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

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers