926 search results - page 102 / 186 » Prolog as the First Programming Language |
132
click to vote
ICFP
2004
ACM
16 years 4 months ago
2004
ACM
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...
153
click to vote
IWMM
2007
Springer
15 years 11 months ago
2007
Springer
This paper presents an analysis and transformation for individual object reclamation in Java programs. First, we propose a uniqueness inference algorithm that identifies variable...
141
click to vote
ECOOP
2004
Springer
15 years 8 months ago
2004
Springer
Previous work proposed a technique for predicting problems resulting from replacing one version of a software component by another. The technique reports, before performing the rep...
130
click to vote
ICFP
2006
ACM
16 years 4 months ago
2006
ACM
The problem of expressing I/O and side effects in functional languages is a well-established one. This paper addresses this problem from a general semantic viewpoint by giving a u...
161
click to vote
ICFP
2003
ACM
16 years 4 months ago
2003
ACM
This paper presents a static type system for JAVA Virtual Machine (JVM) code that enforces an access control mechanism similar to the one found, for example, in a JAVA implementat...