Sciweavers

3319 search results - page 24 / 664

» Subshifts, Languages and Logic

18

ESOP
2005
Springer

159views Programming Languages» more ESOP 2005»

BI Hyperdoctrines and Higher-Order Separation Logic

14 years 2 months ago

BI Hyperdoctrines and Higher-Order Separation Logic

Download www.itu.dk

Bodil Biering, Lars Birkedal, Noah Torp-Smith

claim paper

Read More »

21

ICALP
2010
Springer

121views Programming Languages» more ICALP 2010»

Pebble Weighted Automata and Transitive Closure Logics

14 years 1 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 »

22

ESOP
2008
Springer

79views Programming Languages» more ESOP 2008»

Oracle Semantics for Concurrent Separation Logic

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

22

EACL
1989
ACL Anthology

69views Natural Language Processing» more EACL 1989»

JPSG Parser on Constraint Logic Programming

13 years 10 months ago

JPSG Parser on Constraint Logic Programming

Download acl.ldc.upenn.edu

Hirosi Tuda, Kôiti Hasida, Hidetosi Sirai

claim paper

Read More »

38

FASE
2001
Springer

126views Software Engineering» more FASE 2001»

A Logic for the Java Modeling Language JML

14 years 1 months ago

A Logic for the Java Modeling Language JML

Download www.cs.ru.nl

Abstract. This paper describes a specialised logic for proving speciﬁcations in the Java Modeling Language (JML). JML is an interface speciﬁcation language for Java. It allows ...

Bart Jacobs, Erik Poll

claim paper

Read More »

« Prev « First page 24 / 664 Last » Next »