26 search results - page 1 / 6 » lisp 2008 |
JUCS
2008
13 years 4 months ago
2008
: UCL-GLORP is a Common Lisp implementation and extension of GLORP (Generic Lightweight Object-Relational Persistence), an Object-Relational Mapper for the Smalltalk language. UCL-...
JUCS
2008
13 years 4 months ago
2008
Abstract: We describe in this paper the implementation and use of custom specializers in two current dialects of Lisp: Skill and Common Lisp. We motivate the need for such speciali...
LISP
2008
13 years 4 months ago
2008
We describe how to implement strength reduction, loop-invariant code motion and loop quasi-invariant code motion by specializing instrumented interpreters. To curb code duplication...
CSMR
2008
IEEE
13 years 11 months ago
2008
IEEE
Many reverse engineering approaches have been developed to analyze software systems written in different languages like C/C++ or Java. These approaches typically rely on a meta-mo...
LISP
2008
13 years 4 months ago
2008
Higher-order logic proof systems combine functional programming with logic, providing functional programmers with a comfortable setting for the formalization of programs, specifica...