558 search results - page 63 / 112 » A Compiler Design for the Agent-Based Programming Language |
115
Voted
REFLECTION
1999
Springer
15 years 6 months ago
1999
Springer
jContractor is a purely library based approach to support Design By Contract specifications such as preconditions, postconditions, class invariants, and recovery and exception hand...
131
Voted
ECOOP
1993
Springer
15 years 6 months ago
1993
Springer
Abstract. We have designed and implemented a type inference algorithm for the Self language. The algorithm can guarantee the safety and disambiguity of message sends, and provide u...
129
Voted
PPDP
2000
Springer
15 years 6 months ago
2000
Springer
Erlang is a concurrent functional programming language designed to ease the development of large-scale distributed soft real-time control applications. It has so far been quite su...
119
Voted
ML
2006
ACM
15 years 8 months 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 ...
135
Voted
PLDI
2006
ACM
15 years 8 months 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...