Sciweavers

3513 search results - page 30 / 703

» Super Logic Programs

157

LOGCOM
2011

235views Programming Languages» more LOGCOM 2011»

Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations

14 years 6 months ago

Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations

Download mally.stanford.edu

Paul E. Oppenheimer, Edward N. Zalta

claim paper

Read More »

205

POPL
2008
ACM

154views Programming Languages» more POPL 2008»

Separation logic, abstraction and inheritance

16 years 3 months ago

Separation logic, abstraction and inheritance

Download www.cl.cam.ac.uk

Matthew J. Parkinson, Gavin M. Bierman

claim paper

Read More »

206

POPL
2005
ACM

135views Programming Languages» more POPL 2005»

Separation logic and abstraction

16 years 3 months ago

Separation logic and abstraction

Download www.cl.cam.ac.uk

Matthew J. Parkinson, Gavin M. Bierman

claim paper

Read More »

109

ESOP
2010
Springer

115views Programming Languages» more ESOP 2010»

A PolyTime Functional Language from Light Linear Logic

16 years 12 days ago

A PolyTime Functional Language from Light Linear Logic

Download perso.ens-lyon.fr

Patrick Baillot, Marco Gaboardi and Virgile Mogbil

claim paper

Read More »

126

CP
2005
Springer

139views Artificial Intelligence» more CP 2005»

Eplex: Harnessing Mathematical Programming Solvers for Constraint Logic Programming

15 years 8 months ago

Eplex: Harnessing Mathematical Programming Solvers for Constraint Logic Programming

Download 87.230.22.228

The eplex library of the ECLi PSe Constraint Logic Programming platform allows the integration of Mathematical Programming techniques with its native Constraint Logic Programming t...

Kish Shen, Joachim Schimpf

claim paper

Read More »

« Prev « First page 30 / 703 Last » Next »