Sciweavers

5415 search results - page 222 / 1083
» The Implementation of Functional Programming Languages
Sort
View
OOPSLA
1995
Springer
15 years 4 months ago
Using a Prototype-based Language for User Interface: The Newton Project's Experience
Object-oriented user interface frameworks are usually implemented in a class-based language. We chose instead to develop a prototype-based language, NewtonScript, for this purpose...
Walter R. Smith
ESOP
2003
Springer
15 years 6 months ago
Automatic Software Model Checking Using CLP
This paper proposes the use of constraint logic programming (CLP) to perform model checking of traditional, imperative programs. We present a semantics-preserving translation from ...
Cormac Flanagan
GPCE
2007
Springer
15 years 7 months ago
Open multi-methods for c++
Multiple dispatch – the selection of a function to be invoked based on the dynamic type of two or more arguments – is a solution to several classical problems in object-orient...
Peter Pirkelbauer, Yuriy Solodkyy, Bjarne Stroustr...
ICFP
2004
ACM
16 years 1 months ago
Scrap more boilerplate: reflection, zips, and generalised casts
Writing boilerplate code is a royal pain. Generic programming promises to alleviate this pain by allowing the programmer to write a generic "recipe" for boilerplate code...
Ralf Lämmel, Simon L. Peyton Jones
ECOOP
2008
Springer
15 years 3 months ago
Assessing the Impact of Aspects on Exception Flows: An Exploratory Study
Exception handling mechanisms are intended to support the development of robust software. However, the implementation of such mechanisms with aspectoriented (AO) programming might ...
Roberta Coelho, Awais Rashid, Alessandro Garcia, F...