Sciweavers

3566 search results - page 31 / 714

» Signed Logic Programs

72

ECOOP
2007
Springer

119views Programming Languages» more ECOOP 2007»

Code Analyses for Refactoring by Source Code Patterns and Logical Queries

15 years 2 months ago

Code Analyses for Refactoring by Source Code Patterns and Logical Queries

Download roots.iai.uni-bonn.de

Daniel Speicher, Malte Appeltauer, Günter Kni...

claim paper

Read More »

115

LOGCOM
2011

235views Programming Languages» more LOGCOM 2011»

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

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

158

POPL
2008
ACM

154views Programming Languages» more POPL 2008»

Separation logic, abstraction and inheritance

15 years 11 months ago

Separation logic, abstraction and inheritance

Download www.cl.cam.ac.uk

Matthew J. Parkinson, Gavin M. Bierman

claim paper

Read More »

160

POPL
2005
ACM

135views Programming Languages» more POPL 2005»

Separation logic and abstraction

15 years 11 months ago

Separation logic and abstraction

Download www.cl.cam.ac.uk

Matthew J. Parkinson, Gavin M. Bierman

claim paper

Read More »

79

ESOP
2010
Springer

115views Programming Languages» more ESOP 2010»

A PolyTime Functional Language from Light Linear Logic

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

« Prev « First page 31 / 714 Last » Next »