1089 search results - page 155 / 218 » Oracle-Based Partial Evaluation |
100
click to vote
CAISE
2004
Springer
15 years 3 months ago
2004
Springer
Modeling languages have been evolving at a high pace, encouraging the use of automatic code generators for transforming models to programs. Automatic code generators should enable ...
CSL
2004
Springer
15 years 3 months ago
2004
Springer
A CPS translation is a syntactic translation of programs, which is useful for describing their operational behavior. By iterating the standard call-by-value CPS translation, Danvy ...
ITS
2004
Springer
15 years 3 months ago
2004
Springer
This work presents a model for student knowledge diagnosis that can be used in ITSs for student model update. The diagnosis is accomplished through Computerized Adaptive Testing (C...
PEPM
2004
ACM
15 years 3 months ago
2004
ACM
Advanced typing, matching, and evaluation strategy features, as well as very general conditional rules, are routinely used in equational programming languages such as, for example...
PPDP
2004
Springer
15 years 3 months ago
2004
Springer
Object Petri nets (OPNs) provide a natural and modular method for modelling many real-world systems. We give a structure-preserving translation of OPNs to Prolog by encoding the O...