2482 search results - page 148 / 497 » Characterizing Programming Systems Allowing Program Self-ref... |
GPCE
2009
Springer
14 years 27 days ago
2009
Springer
This paper describes a language and framework that allow coordinated transformations driven by invariants to be specified declaratively, as invariant rules, and applied automatic...
ECOOPW
1998
Springer
14 years 16 days ago
1998
Springer
: This paper describes the development of a model for the reflective treatment of both application and environmentally sourced exceptions. We show how a variety of exception models...
OOGRAPHICS
1995
13 years 12 months ago
1995
The structure of the image synthesis process naturally leads to the use of object-oriented software design and many existing rendering systems are based on some kind of object-orie...
APLAS
2010
ACM
13 years 8 months ago
2010
ACM
Abstract. The type system of Objective Caml has many unique features, which make ensuring the correctness of its implementation difficult. One of these features is structurally pol...
ICFP
2004
ACM
14 years 8 months ago
2004
ACM
It is possible to extend the basic notion of "function call" to allow functions to have multiple return points. This turns out to be a surprisingly useful mechanism. Thi...