Sciweavers

2933 search results - page 252 / 587
» Agent-Grid Integration Language
Sort
View
SAS
1993
Springer
139views Formal Methods» more  SAS 1993»
15 years 8 months ago
Compiling FX on the CM-2
Type and effect systems provide a safe and effective means of programming high-performance parallel computers with a high-level language that integrates both functional and impe...
Jean-Pierre Talpin, Pierre Jouvelot
POPL
1994
ACM
15 years 8 months ago
A Needed Narrowing Strategy
Abstract: The narrowing relation over terms constitutes the basis of the most important operational semantics of languages that integrate functional and logic programming paradigms...
Sergio Antoy, Rachid Echahed, Michael Hanus
PLDI
1989
ACM
15 years 8 months ago
Type Reconstruction with First-Class Polymorphic Values
We present the rst type reconstruction system which combines the implicit typing of ML with the full power of the explicitly typed second-order polymorphic lambda calculus. The sy...
James O'Toole, David K. Gifford
ECOOP
2006
Springer
15 years 7 months ago
Implementing Bounded Aspect Quantification in AspectJ
The integration of aspects into the methodology of stepwise software development and evolution is still an open issue. This paper focuses on the global quantification mechanism of...
Christian Kästner, Sven Apel, Gunter Saake
143
Voted
PPDP
2000
Springer
15 years 7 months ago
A high performance Erlang system
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...
Erik Johansson, Mikael Pettersson, Konstantinos F....