Search Sciweavers | Sciweavers

4370 search results - page 86 / 874

» Algebra of Logic Programming

110

Voted

ECOOP
2007
Springer

119views Programming Languages» more ECOOP 2007»

Code Analyses for Refactoring by Source Code Patterns and Logical Queries

15 years 6 months ago

Download roots.iai.uni-bonn.de

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

claim paper

Read More »

147

Voted

LOGCOM
2011

235views Programming Languages» more LOGCOM 2011»

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

14 years 5 months ago

Download mally.stanford.edu

Paul E. Oppenheimer, Edward N. Zalta

claim paper

Read More »

148

click to vote

PEPM
2011
ACM

225views Software Engineering» more PEPM 2011»

Calculating tree navigation with symmetric relational zipper

14 years 5 months ago

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 »

197

click to vote

POPL
2008
ACM

154views Programming Languages» more POPL 2008»

Separation logic, abstraction and inheritance

16 years 2 months ago

Download www.cl.cam.ac.uk

Matthew J. Parkinson, Gavin M. Bierman

claim paper

Read More »

199

click to vote

POPL
2005
ACM

135views Programming Languages» more POPL 2005»

Separation logic and abstraction

16 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers