Sciweavers

632 search results - page 16 / 127
» Explicit Substitutions and Programming Languages
Sort
View
UM
2007
Springer
14 years 1 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
ECOOP
2011
Springer
12 years 7 months ago
Verifying Multi-object Invariants with Relationships
Relationships capture the interplay between classes in object-oriented programs, and various extensions of object-oriented programming languages allow the programmer to explicitly ...
Stephanie Balzer, Thomas R. Gross
IFIP
2004
Springer
14 years 26 days ago
Tailoring Recursion to Characterize Non-Deterministic Complexity Classes over Arbitrary Structures
We provide machine-independent characterizations of some complexity classes, over an arbitrary structure, in the model of computation proposed by L. Blum, M. Shub and S. Smale. We ...
Olivier Bournez, Felipe Cucker, Paulin Jacob&eacut...
ECOOP
2004
Springer
14 years 27 days ago
Modules with Interfaces for Dynamic Linking and Communication
Module systems are well known as a means for giving clear interfaces for the static linking of code. This paper shows how adding explicit interfaces to modules for 1) dynamic linki...
Yu David Liu, Scott F. Smith
DBPL
1993
Springer
104views Database» more  DBPL 1993»
13 years 11 months ago
Extensible Grammars for Language Specialization
A frequent dilemma in the design of a database programming language is the choice between a language with a rich set of tailored notations for schema definitions, query expression...
Luca Cardelli, Florian Matthes, Martín Abad...