678 search results - page 58 / 136 » A simple typed intermediate language for object-oriented lan... |
APLAS
2006
ACM
14 years 2 months ago
2006
ACM
We present a local relational reasoning method for reasoning about contextual equivalence of expressions in a λ-calculus with recursive types and general references. Our developme...
JMLC
1997
Springer
14 years 28 days ago
1997
Springer
Strongly typed polymorphism is necessary for expressing safe reusable code. Two orthogonal forms of polymorphism exist: inclusion and parametric, the Oberon language only supports ...
POPL
2011
ACM
12 years 11 months ago
2011
ACM
ensitivity has emerged as an excellent context abstraction for points-to analysis in object-oriented languages. Despite its practical success, however, object-sensitivity is poorl...
ICCSA
2007
Springer
13 years 10 months ago
2007
Springer
Natural language interfaces to databases are considered one of the best alternatives for final users who wish to make complex, uncommon and frequent queries, which is a very common...
ACMACE
2006
ACM
14 years 2 months ago
2006
ACM
A new type of Authoring System for 3DCG animation is developed in which a user can easily manipulate three dimensional objects in three dimensional simulated space on the computer...