1185 search results - page 109 / 237 » Implementing Functional Languages: a tutorial |
TYPES
2007
Springer
15 years 4 months ago
2007
Springer
We present a procedure for computing normal forms of terms in Abadi and Cardelli’s functional object calculus. Even when equipped with simple types, terms of this calculus are no...
CSMR
1998
IEEE
15 years 2 months ago
1998
IEEE
A conceptual reengineering framework is presented that proposes extract, transform and rewrite as three characteristic steps to be performed within a reengineering cycle. The cycl...
109
click to vote
OOPSLA
2007
Springer
15 years 4 months ago
2007
Springer
Java bug finders perform static analysis to find implementation mistakes that can lead to exploits and failures; Java compilers perform static analysis for optimization. If Java...
ECOOP
1999
Springer
15 years 2 months ago
1999
Springer
Abstract. This paper introduces the concepts of wide classes and widening as extensions to the object model of class-based languages such as Java and Smalltalk. Widening allows an ...
OOPSLA
2010
Springer
14 years 8 months ago
2010
Springer
Many language implementations, particularly for high-level and scripting languages, are based on carefully honed runtime systems that have an internally sequential execution model...