Sciweavers

4370 search results - page 86 / 874

» Algebra of Logic Programming

27

ECOOP
2007
Springer

119views Programming Languages» more ECOOP 2007»

Code Analyses for Refactoring by Source Code Patterns and Logical Queries

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

43

LOGCOM
2011

235views Programming Languages» more LOGCOM 2011»

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

13 years 29 days 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 »

44

PEPM
2011
ACM

225views Software Engineering» more PEPM 2011»

Calculating tree navigation with symmetric relational zipper

13 years 28 days ago

Calculating tree navigation with symmetric relational zipper

Download www.math.kyoto-u.ac.jp

Navigating through tree structures is a core operation in tree processing programs. Most notably, XML processing programs intensively use XPath, the path speciﬁcation language t...

Yuta Ikeda, Susumu Nishimura

claim paper

Read More »

67

POPL
2008
ACM

154views Programming Languages» more POPL 2008»

Separation logic, abstraction and inheritance

14 years 10 months ago

Separation logic, abstraction and inheritance

Download www.cl.cam.ac.uk

Matthew J. Parkinson, Gavin M. Bierman

claim paper

Read More »

73

POPL
2005
ACM

135views Programming Languages» more POPL 2005»

Separation logic and abstraction

14 years 10 months ago

Separation logic and abstraction

Download www.cl.cam.ac.uk

Matthew J. Parkinson, Gavin M. Bierman

claim paper

Read More »

« Prev « First page 86 / 874 Last » Next »