Sciweavers

3983 search results - page 48 / 797
» Conceptual logic programs
Sort
View
ECOOP
2007
Springer
15 years 1 months ago
Code Analyses for Refactoring by Source Code Patterns and Logical Queries
Daniel Speicher, Malte Appeltauer, Günter Kni...
UM
2007
Springer
15 years 3 months ago
Conceptualizing Student Models for ICALL
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
POPL
2008
ACM
15 years 10 months ago
Separation logic, abstraction and inheritance
Matthew J. Parkinson, Gavin M. Bierman
POPL
2005
ACM
15 years 10 months ago
Separation logic and abstraction
Matthew J. Parkinson, Gavin M. Bierman