3056 search results - page 341 / 612 » Compiling Embedded Languages |
129
click to vote
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...
133
click to vote
ICLP
1993
Springer
15 years 6 months ago
1993
Springer
Erlang is a concurrent programming language designed for prototyping and implementing reliable real-time systems. In its design Erlanginherits someideas fromconcurrent logic progra...
121
click to vote
FOAL
2007
ACM
15 years 6 months ago
2007
ACM
We consider the problem of adding aspects to a strongly typed language which supports type classes. We show that type classes as supported by the Glasgow Haskell Compiler can mode...
127
click to vote
FMICS
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Safe is a first-order functional language with unusual memory management features: memory can be both explicitly and implicitly deallocated at some specific points in the...
103
Voted
IFIP
2000
Springer
15 years 6 months ago
2000
Springer
Scientific programs rely heavily on software libraries. This paper describes the limitations of this reliance and shows how it degrades software quality. We offer a solution that u...