2236 search results - page 354 / 448 » Language Independence and Language Tolerance in Logic Progra... |
266
click to vote
POPL
2002
ACM
16 years 4 months ago
2002
ACM
Some compilation systems, such as offline partial evaluators and selective dynamic compilation systems, support staged optimizations. A staged optimization is one where a logicall...
123
click to vote
PPDP
2005
Springer
15 years 9 months ago
2005
Springer
Type checking and type inference are fundamentally similar problems. However, the algorithms for performing the two operations, on the same type system, often differ significant...
130
click to vote
PADL
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. Programming with rewrite rules and strategies has been already used for describing several computational logics. This paper describes the way the Needham-Schroeder Public...
129
click to vote
SIGSOFT
1996
ACM
15 years 8 months ago
1996
ACM
ing Dependencies between Software Configuration Items CARL A. GUNTER University of Pennsylvania icle studies an abstract model of dependencies between software configuration items ...
125
click to vote
PPDP
2000
Springer
15 years 7 months ago
2000
Springer
an abstract domain developed by D. Jacobs and A. Langen for the analysis of logic programs, derives useful aliasing information. It is well-known that a commonly used core of tech...