3516 search results - page 37 / 704 » Programming Languages: Application and Interpretation |
OOPSLA
2005
Springer
15 years 3 months ago
2005
Springer
A number of effective error detection tools have been built in recent years to check if a program conforms to certain design rules. An important class of design rules deals with s...
DEXA
1994
Springer
15 years 1 months ago
1994
Springer
We describe a functional database language OR-SML for handling disjunctive information in database queries, and its implementation on top of Standard ML 12]. The core language has ...
53
Voted
OOPSLA
2009
Springer
15 years 4 months ago
2009
Springer
SEKE
2004
Springer
15 years 3 months ago
2004
Springer
Feature modeling is a popular domain analysis method for describing the commonality and variability among the domain products. The current formalisms of feature modelling do not ha...
PPDP
2010
Springer
14 years 8 months ago
2010
Springer
This paper connects the definitional interpreter for the λ-calculus extended with delimited continuation constructs, shift and reset, with a compiler and a low-level virtual mac...