Sciweavers

3546 search results - page 71 / 710

» A Causal Logic of Logic Programming

27

APLAS
2009
ACM

116views Programming Languages» more APLAS 2009»

Weak updates and separation logic

14 years 4 months ago

Weak updates and separation logic

Download www.cse.lehigh.edu

Gang Tan, Zhong Shao, Xinyu Feng, Hongxu Cai

claim paper

Read More »

22

ESOP
2005
Springer

159views Programming Languages» more ESOP 2005»

BI Hyperdoctrines and Higher-Order Separation Logic

14 years 3 months ago

BI Hyperdoctrines and Higher-Order Separation Logic

Download www.itu.dk

Bodil Biering, Lars Birkedal, Noah Torp-Smith

claim paper

Read More »

22

ICALP
2010
Springer

121views Programming Languages» more ICALP 2010»

Pebble Weighted Automata and Transitive Closure Logics

14 years 2 months ago

Pebble Weighted Automata and Transitive Closure Logics

Download www.lsv.ens-cachan.fr

Benedikt Bollig, Paul Gastin, Benjamin Monmege, Ma...

claim paper

Read More »

24

ESOP
2008
Springer

79views Programming Languages» more ESOP 2008»

Oracle Semantics for Concurrent Separation Logic

13 years 11 months ago

Oracle Semantics for Concurrent Separation Logic

Download www.cs.princeton.edu

Aquinas Hobor, Andrew W. Appel, Francesco Zappa Na...

claim paper

Read More »

25

LPNMR
1999
Springer

94views Automated Reasoning» more LPNMR 1999»

On the Role of Negation in Choice Logic Programs

14 years 2 months ago

On the Role of Negation in Choice Logic Programs

Download tinf2.vub.ac.be

We introduce choice logic programs as negation-free datalog programs that allow rules to have exclusive-only (possibly empty) disjunctions in the head. Such programs naturally mod...

Marina De Vos, Dirk Vermeir

claim paper

Read More »

« Prev « First page 71 / 710 Last » Next »