Bibliography
@techreport{Ste78,
key = {Ste78},
author = {G.L. Steele},
title = {RABBIT: a compiler for SCHEME: a study in compiler optimization},
institution = {Massachusetts Institute of Technology. Artificial
Intelligence Laboratory},
number = {474},
pages = {275},
year = {1978}
}
@inproceedings{SV96,
key = {SV96},
author = {Geoffrey Smith and Dennis Volpano},
title = {Towards an ML-Style Polymorphic Type System for C},
pages = {341--355},
booktitle = {Programming Languages and Systems -- ESOP'96},
editor = {Hanne Riis Nielson},
number = {1058},
series = {Lecture Notes in Computer Science},
publisher = {Springer-Verlag},
year = {1996}
}
@article{Sta89b,
author = "Ryan Stansifer",
title = "Imperative versus Functional",
journal = "{SIGPLAN} Notices",
volume = "25",
number = "4",
pages = "69--72"
}
@techreport{Sam83,
key = {Sam83},
author = {A.L. Samuel},
title = {{F}irst grade {T}\d{E}\u{X}: a beginner's
{T}\d{E}\u{X} manual},
institution = {Stanford Department of Computer Science},
type = {Report {STAN}-{CS}-83-985},
year = {1983}}
@techreport{ST87a,
key = {ST87a},
author = {D. Sannella and A. Tarlecki},
title = {{A}lgebraic specifications in theory and
practice},
institution = {University of Edinburgh},
type = {{LFCS} {E}ducation},
year = {1987}}
@inproceedings{ST87b,
key = {ST87b},
author = {D. Sannella and A. Tarlecki},
title = {{T}oward formal development of programs from
algebraic specifications: implementations revisited (extended
abstract)},
booktitle = {TAPSOFT '87 - Proceedings of the International
Joint Conference on Theory and Practice of Software Development
1},
series = {Lecture Notes in Computer Science},
editor = {H. Ehrig and R. Kowalski and G. Levi and U.
Montanari},
volume = {249},
pages = {96-110},
organization = {Springer-Verlag},
year = {1987}}
@inproceedings{Sch86a,
key = {Sch86a},
author = {W.L. Scherlis},
title = {{A}bstract data types, specialization, and
program reuse},
booktitle = {Advanced Programming Environments - Proceedings
of an International Workshop},
series = {Lecture Notes in Computer Science},
editor = {R. Conradi and T.M. Didriksen and D.H. Wanvik},
volume = {244},
pages = {433-453},
organization = {Springer-Verlag},
year = {1986}}
@inproceedings{Sch86b,
key = {Sch86b},
author = {M. Schmidt-Schauss},
title = {{U}nification in many-sorted equational
theories},
booktitle = {Proceedings of the Eighth International
Conference on Automated Deduction},
series = {Lecture Notes in Computer Science},
editor = {J.H. Siekmann},
volume = {230},
pages = {538-552},
organization = {Springer-Verlag},
year = {1986}}
@techreport{Sch82,
key = {Sch82},
author = {A. Schroeder},
title = {{O}utils de mesures de programmes {P}ascal,
{M}anuel d'utilisation},
institution = {INRIA},
type = {{R}apports {T}echnique 10},
address = {Rocquencourt},
year = {1982},
note = {In French}}
@techreport{Sch83,
key = {Sch83},
author = {A. Schroeder},
title = {{I}ntegrated program measurement and
documentation tools},
institution = {INRIA},
type = {{R}apports de {R}echerche 227},
year = {1983},
note = {In French}}
@article{Sch91,
key = {Sch91},
author = {P. Schnorf},
title = {Design of a reusable symbol table abstraction},
journal = {Structured Programming},
volume = {12},
pages = {63-74},
year = {1991}}
@article{SK88,
key = {SK88},
author = {R.W. Schwanke and G.E. Kaiser},
title = {{S}marter recompilation},
journal = {ACM Transactions on Programming Languages and
Systems},
volume = {10},
number = {4},
pages = {627-632},
year = {1988}}
@techreport{Ser90,
key = {Ser90},
author = {G. Serge},
title = {{L}'incr\'{e}mentalit\'{e} dans les programmes
{TYPOL}
fortement non circulaires},
institution = {INRIA},
year = {1990}}
@incollection{Ses85,
key = {Ses85},
author = {P. Sestoft},
title = {{T}he structure of a self-applicable partial
evaluator},
booktitle = {Programs as Data Objects, Proceedings of a
workshop},
series = {Lecture Notes in Computer Science},
editor = {H. Ganzinger and N.D. Jones},
volume = {217},
pages = {236-256},
publisher = {Springer-Verlag},
year = {1985}}
@inproceedings{Sie84,
key = {Sie84},
author = {J.H. Siekmann},
title = {{U}niversal unification},
booktitle = {Proceedings of the Seventh International
Conference on Automated Deduction},
series = {Lecture Notes in Computer Science},
volume = {170},
pages = {1-42},
organization = {Springer-Verlag},
year = {1984}}
@inproceedings{Sne85,
key = {Sne85},
author = {G. Snelting},
title = {{E}xperiences with the {PSG} - {P}rogramming
{S}ystem {G}enerator},
booktitle = {Formal Methods and Software Development,
TAPSOFT Proceedings 2},
series = {Lecture Notes in Computer Science},
editor = {H. Ehrig and C. Floyd and M. Nivat and J.
Thatcher},
volume = {186},
pages = {148-162},
organization = {Springer-Verlag},
year = {1985}}
@article{Sne90,
key = {Sne90},
author = {G. Snelting},
title = {{H}ow to build {LR} parsers which accept
incomplete input},
journal = {SIGPLAN Notices},
volume = {25},
number = {4},
pages = {51-58},
year = {1990}}
@article{Sne91,
key = {Sne91},
author = {G. Snelting},
title = {The calculus of context relations},
journal = {Acta Informatica},
volume = {28},
pages = {411-445},
year = {1991}}
@techreport{Sok83a,
key = {Sok83a},
author = {S. Sokolowski},
title = {{A}n {LCF} proof of soundness of {H}oare's
{L}ogic - a paper without a happy ending},
institution = {University of Edinburgh},
type = {{I}nternal {R}eport {CSR}-146-83},
year = {1983}}
@techreport{Sok83b,
key = {Sok83b},
author = {S. Sokolowski},
title = {{A} note on tactics in {LCF}},
institution = {University of Edinburgh},
type = {{I}nternal {R}eport {CSR}-140-83},
year = {1983}}
@inproceedings{Sri85,
key = {Sri85},
author = {S. Sridhar},
title = {{A}n implementation of {OBJ}2: an
object-oriented language for abstract program specification},
booktitle = {Foundations of Software Technology and
Theoretical Computer Science, Sixth Conference},
series = {Lecture Notes in Computer Science},
editor = {K.V. Nori},
volume = {241},
pages = {81-95},
organization = {Springer-Verlag},
year = {1985}}
@book{Str90,
key = {Str90},
author = {L. Str{\"{o}}mberg},
title = {{P}ostmortem debugging of distributed systems},
series = {Link{\"{o}}ping Studies in Science and
Technology, dissertations},
volume = {250},
publisher = {Link{\"{o}}ping University},
address = {Link{\"{o}}ping},
year = {1990},
note = {Ph.D. Thesis}}
@article{SN90,
key = {SN90},
author = {D. Szafron and R. Ng},
title = {{L}ex{AG}en: an interactive incremental scanner
generator},
journal = {Software-Practice and Experience},
volume = {20},
number = {5},
pages = {459-483},
year = {1990}}
@techreport{Sun91,
key = "Sun91",
author = "R.S. Sundaresh",
title = "Building Incremental programs using partial
evaluation",
institution = "Yale University",
year = "1991"}
@inproceedings{SH91,
key = "SH91",
author = "R.S. Sundaresh and P. Hudak",
title = "Incremental computation via partial evaluation",
booktitle = "Conference Record of the Eighteenth Annual ACM
Symposium on Principles of Programming
Languages",
pages = "1-13",
organization = "ACM",
year = "1991"}
@book{Sch86,
key = "Sch86",
title = "Denotational Semantics, A Methodology for
Language Development",
author = "D.A. Schmidt",
publisher = "Allyn and Bacon, Inc.",
year = 1986
}
@inproceedings{San82,
key = {San82},
author = {D. Sandberg},
title = {{LITHE}: {A} language combining a flexible
syntax and classes},
booktitle = {Conference Record of the Ninth Annual ACM
Symposium on Principles of Programming Languages},
pages = {142-145},
organization = {ACM},
year = {1982}}
@TechReport{Sha89,
author = "E. Shapiro",
title = "The Family of Concurrent Logic Programming Languages",
institution = "Department of Applied Mathematics and Computer
Science, The Weizmann Institute of Science",
year = 1989,
number = "CS89-08",
month = "May"
}
@article{Spi90,
key = "Spi90",
author = "Mike Spivey",
title = "A Functional Theory of Exceptions",
journal = "Science of Computer Programming",
volume = "14",
year = "1990",
pages = "25-42",
publisher = "North-Holland"
}
@article{ST94,
key = "ST94",
title = "Records for logic programming",
author = "Gert Smolka and Ralf Treinen",
journal = "Journal of Logic Programming",
volume = "18",
year = "1994",
pages = "229-258",
publisher = "Elsevier Science Publishers"
}
@inproceedings{San82,
key = "San82",
title = "Lithe: A Language Combining a Flexible Syntax And Classes",
author = "David Sandberg",
booktitle = "Ninth Annual {ACM} Symposium on {P}rinciples {O}f
{P}rogramming {Languages}",
publisher = "ACM",
year = "1982",
pages = "142-145"
}
@techreport{SW94b,
key = "SW94b",
title = "1+1=1: an optimizing Caml compiler",
author = "M. Serrano and P. Weiss",
institution = "INRIA roquencourt",
note = "Anonymous ftp of ftp.inria.fr",
year = "1994"
}
@inproceedings{Sch94,
key = "Sch94",
title = "Deriving Residual Reference Count Garbage Collectors",
author = "Wolfram Schulte",
year = "1994",
booktitle = "Proceedings of the International Conference on
Programming Language Implementation and Logic
Programming, PLILP '94"
}
@inproceedings{SS92,
Author= "David Sherman and Robert Strandh",
Title= "Call Unfolding Strategies for Equational Logic Programs",
Booktitle= "Proceedings of the
ACM SIGPLAN Workshop on Partial Evaluation and
Semantics-Based Program Manipulation",
Pages= "48--53",
Year= "1992"
}
@inproceedings{Ser94,
key = "ser94",
title = "Using higher-order control flow analysis when
compiling functional languages",
author = "Manuel Serrano",
year = "1994",
booktitle = "Proceedings of the International Conference on
Programming Language Implementation and Logic
Programming, PLILP '94"
}
@unpublished{Sch93,
key = "Sch93",
author = "F.W. Schr{\"o}er",
title = "An fSDL Sublanguage",
month = "December",
year = "1993",
note = "1st Revision"
}
@inproceedings{SA94,
key = "SA94",
author = "Zhong Shao and Andrew W. Appel",
title = "Space-Efficient Closure Representations",
month = "June",
year = "1994",
booktitle = "ACM Conference on Lisp and Functional Programming"
}
@techreport{SA94,
key = "SA94",
author = "Zhong Shao and Andrew W. Appel",
title = "Space-Efficient Closure Representations",
institution = "Princeton University",
number = "CS-TR-454-94",
year = "1994",
note = "To appear in ACM Conference on Lisp and Functional
Programming, June 1994"
}
@techreport{Sun87,
key = {Sun87},
author = {Sun Microsystems, Inc},
title = {External Data Representation Standard, Version 2},
number = {RFC-1014},
year = {1987},
address = {Mountain View, California}
}
@techreport{Sun88,
key = {Sun88},
author = {Sun Microsystems, Inc},
title = {Remote Procedure Call Protocol Specification, Version 2},
number = {RFC-1057},
year = {1987},
address = {Mountain View, California}
}
@Manual{Sta89,
key = "Sta89",
title = "{U}sing and {P}orting {GNU} {CC}",
author = "R.M. Stallman",
organization = "Free Software Foundation",
edition = "second",
year = "1989",
Month = "September",
}
@book{Str91,
author = {B. Stroustrup},
title = {{T}he C++ {P}rogramming {L}anguage},
publisher = {Addison Wesley},
year = {1991}
}
@inproceedings{SG90,
key = {SG90},
author = {Wolfram Schulte and Wolfgang Grieskamp},
title = {Generating Efficient Portable Code for a Strict Applicative
Language},
booktitle = {Phoenix Seminar and Workshop on Declarative Programming, Hohritt (Sasbachwalden, Germany)},
organization = {Springer-Verlag},
series = {Lecture Notes in Computer Science},
note = {to appear},
year = {1990}
}
@article{Sch88,
key = {Sch88},
author = {Ph. Schnoebelen},
title = {Refined Compilation of Pattern-Matching For Functional
Languages},
journal = {Science of Computer Programming},
number = 11,
year = 1988,
pages = {133-159},
publisher = {Elsevier Science Publishers B.V. (North-Holland)}
}
@incollection{Str87,
key = {Str81},
author = {Robert Strandh},
title = {Optimizing Equational Programs},
booktitle = {Rewriting Techniques and Applications},
editor = {P. Lescanne},
organization = {Springer-Verlag},
address = {Berlin},
year = 1987,
pages = {13-24}
}
@inproceedings{Str89,
key = {Str89},
author = {Robert Strandh},
title = {Classes of Equational Programs that Compile into Efficient Machine Code},
booktitle = {Rewriting Techniques and Applications, third international conference},
editor = {Dershowitz, N.},
series = {Lecture Notes in Computer Science},
year = 1989,
publisher = {Springer-Verlag},
pages = {449-461}
}
@article{SSD91,
key = {SSD91},
author = {David Sherman and Robert Strandh and Ir\`ene Durand},
title = {Optimization of Equational Programs Using Partial Evaluation},
journal = {ACM SIGPLAN Notices},
volume = 26,
number = 9,
month = {september},
year = 1991,
pages = {72-82}
}
@manual{SP91,
key = {SP91},
author = {R.M. Stallman and R.H. Pesch},
title = {Using {GDB}, A guide to the {GNU} Source-Level
Debugger},
organization = {Free Software Foundation/Cygnus Support},
note = {Version 4.0},
year = {1991}
}
@inproceedings{SW94,
key = "SW94",
author = "Paul Steckler and Mitchell Wand",
title = "Selective Thunkification",
booktitle = "First International Static Analysis Symposium",
year = "1994",
address = "Namur, Belgium",
month = "28-30 September",
note = "also available by ftp as sas94.ps.Z from
ftp.ccs.neu.edu:/pub/people/steck"
}
@TechReport{Slo94,
author = "Anthony M.Sloane",
title = "Evaluation of Automatically-Generated Compilers",
institution = "James Cook University",
year = 1994,
key = "Slo94",
number = "TR 94/6",
address = "Townsville, Australia",
month = "September"
}