Sciweavers

1137 search results - page 5 / 228

» Partial Program Admission

12

POPL
1999
ACM

80views Programming Languages» more POPL 1999»

Trust and Partial Typing in Open Systems of Mobile Agents

13 years 11 months ago

Trust and Partial Typing in Open Systems of Mobile Agents

Download condor.depaul.edu

James Riely, Matthew Hennessy

claim paper

Read More »

24

PPDP
1999
Springer

107views Programming Languages» more PPDP 1999»

A Semantic Account of Type-Directed Partial Evaluation

13 years 11 months ago

A Semantic Account of Type-Directed Partial Evaluation

Download www.brics.dk

Andrzej Filinski

claim paper

Read More »

18

IFIP
1994
Springer

81views Programming Languages» more IFIP 1994»

Evolving Algebras and Partial Evaluation

13 years 11 months ago

Evolving Algebras and Partial Evaluation

Download research.microsoft.com

Yuri Gurevich, James K. Huggins

claim paper

Read More »

21

IFIP
1994
Springer

106views Programming Languages» more IFIP 1994»

Deriving Partial Correctness Logics From Evolving Algebras

13 years 11 months ago

Deriving Partial Correctness Logics From Evolving Algebras

Download www.eecs.umich.edu

Arnd Poetzsch-Heffter

claim paper

Read More »

25

PLDI
1994
ACM

100views Programming Languages» more PLDI 1994»

Partial Dead Code Elimination

13 years 11 months ago

Partial Dead Code Elimination

Download www.st.informatik.tu-darmstadt.de

Jens Knoop, Oliver Rüthing, Bernhard Steffen

claim paper

Read More »

« Prev « First page 5 / 228 Last » Next »