Crossref Citations
This Book has been
cited by the following publications. This list is generated based on data provided by Crossref.
Palsberg, Jens
1992.
ESOP '92.
Vol. 582,
Issue. ,
p.
418.
Danvy, Olivier
and
Hatcliff, John
1992.
CPS-transformation after strictness analysis.
ACM Letters on Programming Languages and Systems,
Vol. 1,
Issue. 3,
p.
195.
Nielson, Flemming
and
Nielson, Hanne Riis
1992.
ESOP '92.
Vol. 582,
Issue. ,
p.
351.
Nielson, Flemming
and
Nielson, Hanne Riis
1993.
CONCUR'93.
Vol. 715,
Issue. ,
p.
493.
Nielson, Flemming
and
Nidson, Hanne Riis
1993.
Semantics: Foundations and Applications.
Vol. 666,
Issue. ,
p.
425.
Nielson, Flemming
and
Nielson, Hanne Riis
1993.
Static Analysis.
Vol. 724,
Issue. ,
p.
194.
Danvy, Olivier
and
Hatcliff, John
1994.
Mathematical Foundations of Programming Semantics.
Vol. 802,
Issue. ,
p.
627.
Sheard, Tim
1994.
Algebraic Methodology and Software Technology (AMAST’93).
p.
145.
Heintze, Nevin
1994.
Set-based analysis of ML programs.
ACM SIGPLAN Lisp Pointers,
Vol. VII,
Issue. 3,
p.
306.
Ashley, J. Michael
and
Consel, Charles
1994.
Fixpoint computation for polyvariant static analyses of higher-order applicative programs.
ACM Transactions on Programming Languages and Systems,
Vol. 16,
Issue. 5,
p.
1431.
Glück, Robert
and
Jørgensen, Jesper
1995.
Programming Languages: Implementations, Logics and Programs.
Vol. 982,
Issue. ,
p.
259.
Consel, Charles
and
Khoo, Siau Cheng
1995.
On-line and off-line partial evaluation: semantic specifications and correctness proofs.
Journal of Functional Programming,
Vol. 5,
Issue. 4,
p.
461.
Danvy, Olivier
Malmkj�r, Karoline
and
Palsberg, Jens
1995.
The essence of eta-expansion in partial evaluation.
Lisp and Symbolic Computation,
Vol. 8,
Issue. 3,
p.
209.
Lester, David
and
Mintchev, Sava
1995.
Computer Science Logic.
Vol. 933,
Issue. ,
p.
369.
Nielson, Flemming
and
Nielson, Hanne Riis
1996.
Partial Evaluation.
Vol. 1110,
Issue. ,
p.
338.
Glück, Robert
and
Jørgensen, Jesper
1996.
Perspectives of System Informatics.
Vol. 1181,
Issue. ,
p.
261.
Danvy, Olivier
1996.
Partial Evaluation.
Vol. 1110,
Issue. ,
p.
73.
Davies, R.
1996.
A temporal-logic approach to binding-time analysis.
p.
184.
Nielson, Flemming
1996.
Static Analysis.
Vol. 1145,
Issue. ,
p.
2.
Danvy, Olivier
and
Vestergaard, René
1996.
Programming Languages: Implementations, Logics, and Programs.
Vol. 1140,
Issue. ,
p.
182.