Sciweavers

3653 search results - page 7 / 731
» Learning of Partial Languages
Sort
View
151
Voted
POPL
1999
ACM
15 years 10 months ago
Trust and Partial Typing in Open Systems of Mobile Agents
James Riely, Matthew Hennessy
141
Voted
PPDP
1999
Springer
15 years 10 months ago
A Semantic Account of Type-Directed Partial Evaluation
Andrzej Filinski
136
Voted
IFIP
1994
Springer
15 years 10 months ago
Evolving Algebras and Partial Evaluation
Yuri Gurevich, James K. Huggins
134
Voted
IFIP
1994
Springer
15 years 10 months ago
Deriving Partial Correctness Logics From Evolving Algebras
Arnd Poetzsch-Heffter
158
Voted
PLDI
1994
ACM
15 years 10 months ago
Partial Dead Code Elimination
Jens Knoop, Oliver Rüthing, Bernhard Steffen