6740 search results - page 661 / 1348 » Using Classification as a Programming Language |
161
click to vote
SDE
1991
15 years 10 months ago
1991
There is an urgent need to provide a sound generic framework for method and tool integration, where many differing notations are used, software development is distributed and mana...
165
click to vote
ML
2006
ACM
16 years 16 days ago
2006
ACM
We present a new way to generate type-error messages in a polymorphic, implicitly, and strongly typed language (specifically Caml). Our method separates error-message generation ...
183
click to vote
PLDI
2006
ACM
16 years 16 days ago
2006
ACM
This paper describes a global progressive register allocator, a register allocator that uses an expressive model of the register allocation problem to quickly find a good allocat...
196
click to vote
TPHOL
2005
IEEE
16 years 4 days ago
2005
IEEE
The nominal approach to abstract syntax deals with the issues of bound names and α-equivalence by considering constructions and properties that are invariant with respect to permu...
164
click to vote
SAC
2004
ACM
16 years 5 hour ago
2004
ACM
The term inheritance anomaly was coined in 1993 by Matsuoka and Yonezawa [15] to refer to the problems arising by the coexistence of inheritance and concurrency in concurrent obje...