Sciweavers

3738 search results - page 52 / 748

» Parametrized Logic Programming

38

LOGCOM
2011

235views Programming Languages» more LOGCOM 2011»

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

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

57

POPL
2008
ACM

154views Programming Languages» more POPL 2008»

Separation logic, abstraction and inheritance

14 years 8 months ago

Separation logic, abstraction and inheritance

Download www.cl.cam.ac.uk

Matthew J. Parkinson, Gavin M. Bierman

claim paper

Read More »

65

POPL
2005
ACM

135views Programming Languages» more POPL 2005»

Separation logic and abstraction

14 years 8 months ago

Separation logic and abstraction

Download www.cl.cam.ac.uk

Matthew J. Parkinson, Gavin M. Bierman

claim paper

Read More »

26

ESOP
2010
Springer

115views Programming Languages» more ESOP 2010»

A PolyTime Functional Language from Light Linear Logic

14 years 5 months 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 »

22

CP
2005
Springer

139views Artificial Intelligence» more CP 2005»

Eplex: Harnessing Mathematical Programming Solvers for Constraint Logic Programming

14 years 1 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 52 / 748 Last » Next »