2604 search results - page 21 / 521 » General constant expressions for system programming language... |
ESOP
2005
Springer
14 years 1 months ago
2005
Springer
ite-state abstraction scheme such as predicate abstraction. The type system, which is also parametric, type checks exactly those programs that are accepted by the model checker. It...
POPL
2007
ACM
14 years 7 months ago
2007
ACM
We present a model of recursive and impredicatively quantified types with mutable references. We interpret in this model all of the type constructors needed for typed intermediate...
UM
2007
Springer
14 years 1 months ago
2007
Springer
ITICSE
2006
ACM
14 years 1 months ago
2006
ACM
Adaptive explanatory visualization is an attempt to integrate two promising approaches to program visualization: adaptive visualization and explanatory visualization. The goal of ...
ECOOP
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. In aspect-oriented programming, pointcuts are used to describe crossstructure. Pointcuts that abstract over irrelevant implementation details are clearly desired to bette...