223 search results - page 24 / 45 » Essential language support for generic programming |
113
click to vote
PASTE
2005
ACM
15 years 8 months ago
2005
ACM
Program analysis has many applications in software engineering and high-performance computation, such as program understanding, debugging, testing, reverse engineering, and optimi...
263
click to vote
ICLP
2009
Springer
16 years 3 months ago
2009
Springer
Over the years, the stable-model semantics has gained a position of the correct (two-valued) interpretation of default negation in programs. However, for programs with aggregates (...
118
click to vote
PPSN
1994
Springer
15 years 7 months ago
1994
Springer
The Reproductive Plan Language 2 (RPL2) is an extensible interpreted language for writing and using evolutionary computing programs. It supports arbitrary genetic representations,...
118
click to vote
ICFP
2010
ACM
15 years 4 months ago
2010
ACM
Bidirectional programming languages are a practical approach to the view update problem. Programs in these languages, called lenses, define both a view and an update policy--i.e.,...
130
click to vote
PADL
2012
Springer
13 years 10 months ago
2012
Springer
In the past, the creators of numerical programs had to choose between simple expression of mathematical formulas and static type checking. While the Lisp family and its dynamically...