Sciweavers

3319 search results - page 24 / 664

» Subshifts, Languages and Logic

147

ESOP
2005
Springer

159views Programming Languages» more ESOP 2005»

BI Hyperdoctrines and Higher-Order Separation Logic

15 years 11 months ago

BI Hyperdoctrines and Higher-Order Separation Logic

Download www.itu.dk

Bodil Biering, Lars Birkedal, Noah Torp-Smith

claim paper

Read More »

136

ICALP
2010
Springer

121views Programming Languages» more ICALP 2010»

Pebble Weighted Automata and Transitive Closure Logics

15 years 11 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 »

125

ESOP
2008
Springer

79views Programming Languages» more ESOP 2008»

Oracle Semantics for Concurrent Separation Logic

15 years 7 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 »

127

EACL
1989
ACL Anthology

69views Natural Language Processing» more EACL 1989»

JPSG Parser on Constraint Logic Programming

15 years 7 months ago

JPSG Parser on Constraint Logic Programming

Download acl.ldc.upenn.edu

Hirosi Tuda, Kôiti Hasida, Hidetosi Sirai

claim paper

Read More »

168

FASE
2001
Springer

126views Software Engineering» more FASE 2001»

A Logic for the Java Modeling Language JML

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