Sciweavers

1137 search results - page 5 / 228
» Partial Program Admission
Sort
View
99
Voted
PPDP
1999
Springer
15 years 6 months ago
A Semantic Account of Type-Directed Partial Evaluation
Andrzej Filinski
IFIP
1994
Springer
15 years 6 months ago
Evolving Algebras and Partial Evaluation
Yuri Gurevich, James K. Huggins
90
Voted
IFIP
1994
Springer
15 years 6 months ago
Deriving Partial Correctness Logics From Evolving Algebras
Arnd Poetzsch-Heffter
PLDI
1994
ACM
15 years 6 months ago
Partial Dead Code Elimination
Jens Knoop, Oliver Rüthing, Bernhard Steffen