Sciweavers

3983 search results - page 48 / 797

» Conceptual logic programs

105

ECOOP
2007
Springer

119views Programming Languages» more ECOOP 2007»

Code Analyses for Refactoring by Source Code Patterns and Logical Queries

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

143

LOGCOM
2011

235views Programming Languages» more LOGCOM 2011»

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

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

122

UM
2007
Springer

124views Programming Languages» more UM 2007»

Conceptualizing Student Models for ICALL

15 years 8 months ago

Conceptualizing Student Models for ICALL

Download www.sfs.uni-tuebingen.de

Student models for Intelligent Computer Assisted Language Learning (ICALL) have largely focused on the acquisition of grammatical structures. In this paper, we motivate a broader p...

Luiz Amaral, Detmar Meurers

claim paper

Read More »

191

POPL
2008
ACM

154views Programming Languages» more POPL 2008»

Separation logic, abstraction and inheritance

16 years 2 months ago

Separation logic, abstraction and inheritance

Download www.cl.cam.ac.uk

Matthew J. Parkinson, Gavin M. Bierman

claim paper

Read More »

191

POPL
2005
ACM

135views Programming Languages» more POPL 2005»

Separation logic and abstraction

16 years 2 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 48 / 797 Last » Next »