6740 search results - page 413 / 1348 » Using Classification as a Programming Language |
116
click to vote
PLDI
2006
ACM
15 years 9 months ago
2006
ACM
Dependence graphs and memoization can be used to efficiently update the output of a program as the input changes dynamically. Recent work has studied techniques for combining the...
141
click to vote
POPL
1997
ACM
15 years 8 months ago
1997
ACM
We present a new predicative and decidable type system, called ML , suitable for languages that integrate functional programming and parametric polymorphism in the tradition of ML...
124
click to vote
QSIC
2007
IEEE
15 years 10 months ago
2007
IEEE
The success of a software project is largely dependent upon the quality of the Software Requirements Specification (SRS) document, which serves as a medium to communicate user req...
215
click to vote
POPL
2005
ACM
16 years 4 months ago
2005
ACM
We present Rhodium, a new language for writing compiler optimizations that can be automatically proved sound. Unlike our previous work on Cobalt, Rhodium expresses optimizations u...
146
click to vote
GPCE
2007
Springer
15 years 10 months ago
2007
Springer
Over the past two decades, Scheme macros have evolved into a powerful API for the compiler front-end. Like Lisp macros, their predecessors, Scheme macros expand source programs in...