@InCollection{B3,
  author =       "S Abramsky",
  title =        "On the semantic foundations for applicative
                 multiprogramming",
  booktitle =    "ICALP'82, Aarhus, Denmark",
  series =       "LNCS",
  volume =       "140",
  pages =        "1--14",
  publisher =    "Springer-Verlag",
  year =         "1982",
}

@InCollection{B4,
  author =       "S Abramsky",
  title =        "Experiments, powerdomains, and fully abstract models
                 for applicative multiprogramming",
  booktitle =    "Foundations of Computation Theory",
  series =       "LNCS",
  volume =       "158",
  pages =        "1--13",
  publisher =    "Springer-Verlag",
  year =         "1983",
}

@InCollection{B5,
  author =       "S Abramsky and R Sykes",
  title =        "{S}{E}{C}{D}-{M}: {A} virtual machine for applicative
                 programming",
  booktitle =    "FPCA'85, Nancy, France",
  series =       "LNCS",
  volume =       "201",
  publisher =    "Springer-Verlag",
  month =        sep,
  year =         "1985",
}

@InCollection{B6,
  author =       "S Abramsky",
  title =        "Strictness analysis and polymorphic invariance",
  editor =       "Harald Ganzinger and Neil D Jones",
  booktitle =    "Programs as Data Objects",
  series =       "LNCS",
  volume =       "217",
  pages =        "1--23",
  publisher =    "Springer-Verlag",
  month =        oct,
  year =         "1986",
}

@Article{B7,
  author =       "S Abramsky",
  title =        "Abstract interpretation, logical relations and {K}an
                 extensions",
  journal =      "Journal of logic and computation",
  volume =       "1",
  number =       "1",
  year =         "1990",
}

@InCollection{B197,
  author =       "Samson Abramsky and Thomas P Jensen",
  title =        "A relational approach to strictness for higher order
                 polymorphic functions",
  booktitle =    "18th POPL, Orlando, Florida",
  pages =        "49--54",
  publisher =    "ACM Press",
  month =        jan,
  year =         "1991",
}

@Book{B9,
  author =       "Alfred V Aho and Ravi Sethi and Jeffrey D Ullman",
  title =        "Compilers: {P}rinciples, {T}echniques, and {T}ools",
  publisher =    "Addison Wesley",
  year =         "1986",
}

@Article{B8,
  author =       "F E Allen and J A Cocke",
  title =        "A program data flow analysis procedure",
  journal =      "C. ACM",
  volume =       "19",
  number =       "3",
  pages =        "137--147",
  year =         "1976",
}

@InCollection{B201,
  author =       "F E Allen and John Cocke and Ken Kennedy",
  title =        "Reduction of operator strength",
  chapter =      "3",
  editor =       "Steven S Muchnick and Neil D Jones",
  booktitle =    "Program Flow Analysis: Theory and Applications",
  pages =        "79--101",
  publisher =    "Prentice-Hall",
  year =         "1981",
}

@TechReport{B234,
  author =       "Lars Ole Andersen and Christian Mossin",
  title =        "Binding {T}ime {A}nalysis via {T}ype {I}nference",
  number =       "90-10-12",
  type =         "Student {P}roject",
  institution =  "DIKU, Univ. of Copenhagen, Denmark",
  month =        oct,
  year =         "1990",
}

@Article{B10,
  author =       "Krzysztof R Apt and C Delporte-Gallet",
  title =        "Syntax-{D}irected {A}nalysis of {L}iveness
                 {P}roperties of {W}hile {P}rograms",
  journal =      "Inform. and Control",
  volume =       "68",
  number =       "1-3",
  pages =        "223--253",
  month =        jan,
  year =         "1986",
}

@Article{B223,
  author =       "H-J Bandelt",
  title =        "The tensor product of continuous lattices",
  journal =      "Mathematische Zeitschrift",
  volume =       "172",
  pages =        "89--96",
  year =         "1980",
}

@Book{B256,
  author =       "G Birkhoff",
  title =        "Lattice {T}heory",
  edition =      "third",
  publisher =    "American Mathematical Society",
  year =         "1973",
}

@InCollection{B11,
  author =       "B Bjerner and S Holmstrom",
  title =        "A compositional approach to the time analysis of first
                 order lazy functional languages",
  booktitle =    "FPCA'89, London, England",
  pages =        "157--165",
  publisher =    "ACM Press",
  month =        sep,
  year =         "1989",
}

@TechReport{B235,
  author =       "Bror Bjerner",
  title =        "Time {C}omplexity of {P}rograms in {T}ype {T}heory",
  type =         "Ph.{D}. {T}hesis",
  institution =  "Dept. of Comp. Sc., Univ. of G{\"o}teborg, Chalmers
                 Univ. of Tech.",
  year =         "1989",
}

@InProceedings{B12,
  author =       "Adrienne Bloss and Paul Hudak",
  title =        "Variations on {S}trictness {A}nalysis",
  booktitle =    "LISP'86, Cambridge, Mass",
  pages =        "132--142",
  month =        aug,
  year =         "1986",
}

@InCollection{B13,
  author =       "Adrienne Bloss and Paul Hudak",
  title =        "Path {S}emantics",
  editor =       "M Mislove",
  booktitle =    "Mathematical Foundation of Programming Language
                 Semantics'87, New Orleans, Louisiana",
  series =       "LNCS",
  volume =       "298",
  pages =        "476--489",
  publisher =    "Springer-Verlag",
  month =        apr,
  year =         "1987",
}

@InCollection{B14,
  author =       "A Bloss",
  title =        "Update analysis and the efficient implementation of
                 functional aggregates",
  booktitle =    "FPCA'89, London, England",
  pages =        "26--38",
  publisher =    "ACM Press",
  month =        sep,
  year =         "1989",
}

@TechReport{B237,
  author =       "Anders Bondorf and Neil D Jones and Torben Mogensen
                 and Peter Sestoft",
  title =        "Binding time analysis and the taming of
                 self-application",
  type =         "Tech. {R}ep.",
  institution =  "DIKU, Univ. of Copenhagen, Denmark",
  year =         "1988",
}

@TechReport{B220,
  author =       "Anders Bondorf",
  title =        "Self-{A}pplicable {P}artial {E}valuation",
  number =       "90/17",
  type =         "Ph.{D}. {T}hesis",
  institution =  "DIKU, Univ. of Copenhagen, Denmark",
  year =         "1990",
}

@TechReport{B15,
  author =       "B D Bramson and S J Goodenough",
  title =        "Data use analysis for computer programs",
  type =         "Tech. {R}ep.",
  institution =  "RSRE",
  year =         "1982",
}

@TechReport{B16,
  author =       "B D Bramson",
  title =        "Information flow analysis for computer programs",
  type =         "Tech. {R}ep.",
  institution =  "RSRE",
  year =         "1982",
}

@TechReport{B17,
  author =       "M Bruynooghe",
  title =        "A {F}ramework for the {A}bstract {I}nterpretation of
                 {L}ogic {P}rograms",
  number =       "CW-62",
  type =         "Tech. {R}ep.",
  institution =  "Catholic Univ. of Leuven, Belgium",
  year =         "1987",
}

@InCollection{B18,
  author =       "M Bruynooghe and B Demoen and A Callebaut and G
                 Janssens",
  title =        "Abstract interpretation : {T}owards the global
                 optimization of {P}rolog programs",
  booktitle =    "IEEE Symposium on Logic Programming",
  publisher =    "IEEE",
  year =         "1987",
}

@Article{B225,
  author =       "Maurice Bruynooghe",
  title =        "A practical framework for the abstract interpretation
                 of logic programs",
  journal =      "J of Logic Programming",
  volume =       "10",
  number =       "2",
  pages =        "91--124",
  month =        feb,
  year =         "1991",
}

@Article{B229,
  author =       "Michael Burke",
  title =        "An interval-based approach to exhaustive and
                 incremental interprocedural data flow analysis",
  journal =      "ACM TOPLAS",
  volume =       "12",
  number =       "3",
  pages =        "341--395",
  month =        jul,
  year =         "1990",
}

@Article{B19,
  author =       "Burn",
  title =        "Why the problem of polymorphism and strictness
                 analysis has not been solved",
  journal =      "FP bulletin board",
  year =         "1985",
}

@Article{B20,
  author =       "G L Burn and C L Hankin and S Abramsky",
  title =        "Strictness analysis for higher-order functions",
  journal =      "Sci. Comp. Prog.",
  volume =       "7",
  pages =        "249--278",
  year =         "1986",
  abstract =     "V106-482-V107-612---",
}

@InCollection{B21,
  author =       "G L Burn and C L Hankin and S Abramsky",
  title =        "The {T}heory of {S}trictness {A}nalysis for {H}igher
                 {O}rder {F}unctions",
  editor =       "Harald Ganzinger and Neil D Jones",
  booktitle =    "Programs as Data Objects",
  series =       "LNCS",
  volume =       "217",
  pages =        "42--62",
  publisher =    "Springer-Verlag",
  month =        oct,
  year =         "1986",
}

@TechReport{B22,
  author =       "Geoffrey L Burn",
  title =        "Abstract {I}nterpretation and the {P}arallel
                 {E}valuation of {F}unctional {L}anguages",
  type =         "Ph.{D}. {T}hesis",
  institution =  "Imperial College, London",
  year =         "1987",
}

@InCollection{B23,
  author =       "G L Burn",
  title =        "Evaluation {T}ransformers -- {A} {M}odel for the
                 {P}arallel {E}valuation of {F}unctional {L}anguages",
  editor =       "Gilles Kahn",
  booktitle =    "FPCA'87, Portland, Oregon",
  series =       "LNCS",
  volume =       "274",
  pages =        "446--470",
  publisher =    "Springer-Verlag",
  month =        sep,
  year =         "1987",
}

@InCollection{B24,
  author =       "G L Burn",
  title =        "A {R}elationship between {A}bstract {I}nterpretation
                 and {P}rojection {A}nalysis",
  booktitle =    "17th POPL, San Fransisco, California",
  pages =        "151--155",
  publisher =    "ACM Press",
  month =        jan,
  year =         "1990",
}

@InCollection{B190,
  author =       "G L Burn",
  title =        "Using {P}rojection {A}nalysis in {C}ompiling {L}azy
                 {F}unctional {P}rograms",
  booktitle =    "LISP'90, Nice, France",
  pages =        "227--241",
  publisher =    "ACM Press",
  year =         "1990",
}

@Article{B212,
  author =       "R M Burstall and John Darlington",
  title =        "A {T}ransformation {S}ystem for {D}eveloping
                 {R}ecursive {P}rograms",
  journal =      "J. ACM.",
  volume =       "24",
  number =       "1",
  pages =        "44--67",
  month =        jan,
  year =         "1977",
}

@Article{B25,
  author =       "S Chao and B Bryant",
  title =        "Denotational semantics for program analysis",
  journal =      "ACM SIGPLAN Not.",
  volume =       "23",
  number =       "1",
  pages =        "83--91",
  month =        jan,
  year =         "1988",
}

@Article{B26,
  author =       "T Chen and P Poole",
  title =        "Dynamic dataflow analysis",
  journal =      "Inf. Softw. Technol.",
  volume =       "30",
  number =       "5",
  pages =        "497--505",
  month =        oct,
  year =         "1988",
}

@InCollection{B232,
  author =       "Henning Christiansen",
  title =        "Structure sharing in attribute grammars",
  editor =       "Pierre Deransart and Bernard Lorho and Jan
                 Maluszynski",
  booktitle =    "PLILP'88, Orl{\'e}ans",
  series =       "LNCS",
  volume =       "348",
  pages =        "180--200",
  publisher =    "Springer-Verlag",
  month =        may,
  year =         "1988",
}

@InCollection{B27,
  author =       "Chris Clack and Simon Peyton~Jones",
  title =        "Strictness analysis---a practical approach",
  booktitle =    "FPCA'85, Nancy, France",
  series =       "LNCS",
  volume =       "201",
  pages =        "35--49",
  publisher =    "Springer-Verlag",
  month =        sep,
  year =         "1985",
}

@InCollection{B205,
  author =       "Lori A Clarke and Debra J Richardson",
  title =        "Symbolic evaluation methods for program analysis",
  chapter =      "9",
  editor =       "Steven S Muchnick and Neil D Jones",
  booktitle =    "Program Flow Analysis: Theory and Applications",
  pages =        "264--300",
  publisher =    "Prentice-Hall",
  year =         "1981",
}

@InCollection{B191,
  author =       "Charles Consel",
  title =        "Binding {T}ime {A}nalysis for {H}igher {O}rder
                 {U}ntyped {F}unctional {L}anguages",
  booktitle =    "LISP'90, Nice, France",
  pages =        "264--272",
  publisher =    "ACM Press",
  year =         "1990",
}

@InCollection{B240,
  author =       "Charles Consel and Olivier Danvy",
  title =        "From {I}nterpreting to {C}ompiling {B}inding {T}imes",
  booktitle =    "ESOP'90, Copenhagen, Denmark",
  series =       "LNCS",
  volume =       "432",
  pages =        "88--105",
  publisher =    "Springer-Verlag",
  year =         "1990",
}

@InCollection{B194,
  author =       "Charles Consel and Olivier Danvy",
  title =        "Static and {D}ynamic {S}emantic {P}rocessing",
  booktitle =    "18th POPL, Orlando, Florida",
  pages =        "14--24",
  publisher =    "ACM Press",
  month =        jan,
  year =         "1991",
}

@InProceedings{B28,
  author =       "P Cousot and R Cousot",
  title =        "Static determination of dynamic properties of
                 programs",
  booktitle =    "2nd International Symposium on Programming, Paris,
                 France",
  year =         "1976",
}

@InProceedings{B29,
  author =       "Patrick Cousot and Radhia Cousot",
  title =        "Abstract {I}nterpretation: {A} {U}nified {L}attice
                 {M}odel for {S}tatic {A}nalysis of {P}rograms by
                 {C}onstruction or {A}pproximation of {F}ixpoints",
  booktitle =    "4th POPL, Los Angeles, CA",
  pages =        "238--252",
  month =        jan,
  year =         "1977",
}

@InProceedings{B30,
  author =       "P Cousot and R Cousot",
  title =        "Automatic synthesis of optimal invariant assertions
                 mathematical foundation",
  booktitle =    "Symposium on Artificial Intelligence and Programming
                 Languages",
  series =       "ACM SIGPLAN Not.",
  volume =       "12(8)",
  pages =        "1--12",
  month =        aug,
  year =         "1977",
}

@InProceedings{B31,
  author =       "P Cousot and R Cousot",
  title =        "Static determination of dynamic properties of
                 generalised type unions",
  booktitle =    "Conference on Language Design for Reliable Software",
  series =       "ACM SIGPLAN Not.",
  volume =       "12(3)",
  pages =        "77--94",
  month =        mar,
  year =         "1977",
}

@InProceedings{B32,
  author =       "P Cousot and N Halbwachs",
  title =        "Automatic discovery of linear restraints among
                 variables of a program",
  booktitle =    "5th POPL, Tuscon, AR",
  month =        jan,
  year =         "1978",
}

@TechReport{B33,
  author =       "Patrick Cousot",
  title =        "{M}\'ethodes it\'eratives de construction et
                 d'approximation de point fixes d'op\'erateurs monotone
                 sur un treilis, analyse s\'emantique des programmes",
  type =         "Th\'ese de {D}octorat\'es {S}cience
                 {M}ath\'ematiques",
  institution =  "Univ. of Grenoble, France",
  year =         "1978",
}

@InCollection{B34,
  author =       "P Cousot and R Cousot",
  title =        "Static determination of dynamic properties of
                 recursive procedures",
  editor =       "E J Neuhold",
  booktitle =    "Formal Description of Programming Concepts",
  publisher =    "North-Holland",
  year =         "1978",
}

@InProceedings{B35,
  author =       "P Cousot and R Cousot",
  title =        "Systematic {D}esign of {P}rogram {A}nalysis
                 {F}rameworks",
  booktitle =    "6th POPL, San Antonio, Texas",
  pages =        "269--282",
  month =        jan,
  year =         "1979",
}

@InCollection{B36,
  author =       "P Cousot and R Cousot",
  title =        "Semantic analysis of communicating sequential
                 processes",
  booktitle =    "ICALP'80",
  series =       "LNCS",
  volume =       "85",
  publisher =    "Springer-Verlag",
  year =         "1980",
}

@InCollection{B37,
  author =       "Patrick Cousot",
  title =        "Semantics {F}oundation of {P}rogram {A}nalysis",
  chapter =      "10",
  editor =       "Steven S Muchnick and Neil D Jones",
  booktitle =    "Program Flow Analysis: Theory and Applications",
  pages =        "303--342",
  publisher =    "Prentice-Hall",
  year =         "1981",
}

@Book{B224,
  author =       "P.-L Curien",
  title =        "Categorical {C}ombinators, {S}equential {A}lgorithms
                 and {F}unctional {P}rogramming",
  publisher =    "John Wiley \& Sons",
  year =         "1986",
}

@InCollection{B189,
  author =       "Olivier Danvy and Andrzej Filinsky",
  title =        "Abstracting {C}ontrol",
  booktitle =    "LISP'90, Nice, France",
  pages =        "151--160",
  publisher =    "ACM Press",
  year =         "1990",
}

@TechReport{B38,
  author =       "S K Debray",
  title =        "Automatic mode inference for prolog programs",
  number =       "85/019",
  type =         "Tech. {R}ep.",
  institution =  "Stony Brook, New York",
  year =         "1985",
}

@TechReport{B39,
  author =       "S K Debray",
  title =        "Dataflow analysis of logic programs",
  type =         "Tech. {R}ep.",
  institution =  "Stony Brook, New York",
  year =         "1986",
}

@TechReport{B257,
  author =       "S K Debray",
  title =        "Global {O}ptimization of {L}ogic {P}rograms",
  type =         "Ph.{D}. {T}hesis",
  institution =  "Stony Brook, New York",
  year =         "1986",
}

@Article{B40,
  author =       "S K Debray",
  title =        "Static {I}nference of {M}odes and {D}ata
                 {D}ependencies in {L}ogic {P}rograms",
  journal =      "ACM TOPLAS",
  volume =       "11",
  number =       "3",
  pages =        "418--450",
  publisher =    "ACM",
  year =         "1989",
}

@InCollection{B41,
  author =       "Alain Deutsch",
  title =        "On determining lifetime and aliasing of dynamically
                 allocated data in higher-order functional
                 specifications",
  booktitle =    "17th POPL, San Fransisco, California",
  pages =        "157--168",
  publisher =    "ACM Press",
  month =        jan,
  year =         "1990",
}

@Book{B213,
  author =       "E W Dijkstra",
  title =        "A {D}iscipline of programming",
  publisher =    "Prentice-Hall",
  year =         "1976",
}

@InCollection{B42,
  author =       "V Donzeau-Gouge",
  title =        "Denotational definitions of properties of program
                 computations",
  chapter =      "11",
  editor =       "Steven S Muchnick and Neil D Jones",
  booktitle =    "Program Flow Analysis: Theory and Applications",
  pages =        "343--379",
  publisher =    "Prentice-Hall",
  year =         "1981",
}

@InCollection{B43,
  author =       "Peter Dybjer",
  title =        "Inverse {I}mage {A}nalysis",
  booktitle =    "ICALP'87, Karlsruhe, Germany",
  series =       "LNCS",
  volume =       "267",
  pages =        "21--30",
  publisher =    "Springer-Verlag",
  year =         "1987",
}

@Article{B231,
  author =       "Peter Dybjer",
  title =        "Inverse image analysis generalises strictness
                 analysis",
  journal =      "Inform. and Comput.",
  volume =       "90",
  number =       "2",
  pages =        "194--216",
  month =        feb,
  year =         "1991",
}

@Article{B44,
  author =       "P Fairfield and M Hennell",
  title =        "Data flow analysis of recursive procedures",
  journal =      "ACM SIGPLAN Not.",
  volume =       "23",
  number =       "1",
  pages =        "48--57",
  month =        jan,
  year =         "1988",
}

@InCollection{B207,
  author =       "M Feathers",
  title =        "A survey and classification of some program
                 transformation approaches and techniques",
  editor =       "L Meertens",
  booktitle =    "Program specification and transformation",
  pages =        "165--195",
  publisher =    "North-Holland",
  year =         "1987",
}

@InCollection{B45,
  author =       "A Filinski",
  title =        "Declarative {C}ontinuations: {A}n {I}nvestigation of
                 {D}uality in {P}rogramming {L}anguage {S}emantics",
  booktitle =    "Category Theory and Comp. Sci.",
  series =       "LNCS",
  volume =       "389",
  pages =        "224--249",
  publisher =    "Springer-Verlag",
  year =         "1989",
}

@InProceedings{B186,
  author =       "A C Fong and J B Kam and J D Ullman",
  title =        "Applications of lattice algebra to loop optimization",
  booktitle =    "2nd POPL",
  pages =        "1--9",
  year =         "1975",
}

@Article{B46,
  author =       "Lloyd D Fosdick and Leon J Osterweil",
  title =        "Data {F}low {A}nalysis in {S}oftware {R}eliability",
  journal =      "Comp. Surv.",
  volume =       "8",
  number =       "4",
  pages =        "305--330",
  month =        sep,
  year =         "1976",
}

@Article{B47,
  author =       "J M Foster",
  title =        "Validating microcode algebraically",
  journal =      "Comput. J.",
  volume =       "29",
  number =       "5",
  pages =        "416--442",
  year =         "1986",
}

@InCollection{B48,
  author =       "Michael Foster",
  title =        "Software validation using abstract interpretation",
  chapter =      "2",
  editor =       "S Abramsky and C Hankin",
  booktitle =    "Abstract Interpretation of Declarative Languages",
  pages =        "32--44",
  publisher =    "Ellis-Horwood",
  year =         "1987",
}

@Article{B227,
  author =       "Pascal Fradet and Daniel Le~Metayer",
  title =        "Compilation of functional languages by program
                 transformation",
  journal =      "ACM TOPLAS",
  volume =       "13",
  number =       "1",
  pages =        "21--51",
  month =        jan,
  year =         "1991",
}

@InProceedings{B241,
  author =       "J Gallagher and M Codish and E Shapiro",
  title =        "Specialisation of {P}rolog and {{F}{C}{P}} {P}rograms
                 {U}sing {A}bstract {I}nterpretation",
  editor =       "D Bj{\o}rner and others",
  booktitle =    "Proceedings of the workshop on Partial Evaluation and
                 Mixed Computation",
  series =       "New Gener. Comput.",
  volume =       "6(2,3)",
  pages =        "159--186",
  year =         "1988",
}

@InCollection{B242,
  author =       "C Ghezzi and D Mandrioli and A Tecchio",
  title =        "Program {S}implification {V}ia {S}ymbolic
                 {I}nterpretation",
  editor =       "S N Maheshwari",
  booktitle =    "Found. of Softw. Tech. and Theo. Comp. Sci., New
                 Delhi, India",
  series =       "LNCS",
  volume =       "206",
  pages =        "116--128",
  publisher =    "Springer-Verlag",
  year =         "1985",
}

@InCollection{B50,
  author =       "B Goldberg",
  title =        "Detecting sharing of partial applications in
                 functional programs",
  editor =       "Gilles Kahn",
  booktitle =    "FPCA'87, Portland, Oregon",
  series =       "LNCS",
  volume =       "274",
  pages =        "408--425",
  publisher =    "Springer-Verlag",
  month =        sep,
  year =         "1987",
}

@InCollection{B192,
  author =       "Carsten K Gomard",
  title =        "Partial {T}ype {I}nference for {U}ntyped {F}unctional
                 {P}rograms",
  booktitle =    "LISP'90, Nice, France",
  pages =        "282--287",
  publisher =    "ACM Press",
  year =         "1990",
}

@Book{B226,
  author =       "M J C Gordon",
  title =        "The {D}enotational {D}escription of {P}rogramming
                 {L}anguages: {A}n {I}ntroduction",
  publisher =    "Springer-Verlag",
  year =         "1979",
}

@TechReport{B51,
  author =       "Cordelia V Hall and David S Wise",
  title =        "Generating {F}unction {V}ersions with {R}ational
                 {S}trictness {P}atterns",
  type =         "Tech. {R}ep.",
  institution =  "Indiana Univ.",
  year =         "1988",
}

@InCollection{B52,
  author =       "C L Hankin and G L Burn and S T Peyton~Jones",
  title =        "A {S}afe {A}pproach to {P}arallel {C}ombinator
                 {R}eduction",
  booktitle =    "ESOP'86, Saarbrucken, Germany",
  series =       "LNCS",
  volume =       "213",
  pages =        "99--110",
  publisher =    "Springer-Verlag",
  year =         "1986",
}

@Article{B53,
  author =       "C L Hankin and G L Burn and S T Peyton~Jones",
  title =        "A {S}afe {A}pproach to {P}arallel {C}ombinator
                 {R}eduction",
  journal =      "Theor. Comp. Sci.",
  volume =       "56",
  pages =        "17--36",
  publisher =    "North-Holland",
  year =         "1988",
}

@Book{B54,
  author =       "M Hecht",
  title =        "Flow analysis of computer programs",
  publisher =    "North-Holland",
  year =         "1977",
}

@TechReport{B55,
  author =       "Hendren and Nicolau",
  title =        "Interference {A}nalysis {T}ools for {R}ecursive
                 {S}tructures",
  type =         "Tech. {R}ep.",
  institution =  "Cornell Univ.",
  year =         "1986",
}

@InCollection{B56,
  author =       "K Horiuchi and T Kanamori",
  title =        "Polymorphic type inference in {P}rolog by abstract
                 interpretation",
  booktitle =    "Logic Programming'87",
  series =       "LNCS",
  volume =       "315",
  pages =        "107--116",
  publisher =    "Springer-Verlag",
  year =         "1987",
}

@TechReport{B57,
  author =       "P Hudak and J Young",
  title =        "A set-theoretic characterisation of function
                 strictness in the lambda calculus",
  number =       "YALEU/DCS/RR-391",
  type =         "Tech. {R}ep.",
  institution =  "Yale Univ.",
  year =         "1985",
}

@InCollection{B58,
  author =       "P Hudak and B Goldberg",
  title =        "Serial combinators: optimal grains of parallelism",
  booktitle =    "FPCA'85, Nancy, France",
  series =       "LNCS",
  volume =       "201",
  publisher =    "Springer-Verlag",
  month =        sep,
  year =         "1985",
}

@InProceedings{B59,
  author =       "P Hudak and A Bloss",
  title =        "The aggregate update problem in functional programming
                 systems",
  booktitle =    "12th POPL, New Oleans, Lousiana",
  pages =        "300--314",
  month =        jan,
  year =         "1985",
}

@InCollection{B60,
  author =       "P Hudak",
  title =        "A {S}emantic {M}odel of {R}eference {C}ounting and its
                 {A}bstraction ({D}etailed {S}ummary)",
  booktitle =    "ACM Symposium on Lisp and Functional Programming",
  pages =        "351--363",
  publisher =    "ACM",
  year =         "1986",
}

@TechReport{B61,
  author =       "Paul Hudak",
  title =        "Collecting {I}nterpretation of {E}xpressions",
  number =       "YALEU/DCS/RR-497",
  type =         "Research {R}eport",
  institution =  "Yale Univ.",
  month =        aug,
  year =         "1986",
}

@InProceedings{B62,
  author =       "Paul Hudak and Jonathan Young",
  title =        "Higher-{O}rder {S}trictness {A}nalysis in {U}ntyped
                 {L}ambda {C}alculus",
  booktitle =    "13th POPL, St. Petersburg, Florida",
  pages =        "97--109",
  month =        jan,
  year =         "1986",
}

@InCollection{B63,
  author =       "Paul Hudak",
  title =        "A semantic model of reference counting and its
                 abstraction",
  chapter =      "3",
  editor =       "S Abramsky and C Hankin",
  booktitle =    "Abstract Interpretation of Declarative Languages",
  pages =        "45--62",
  publisher =    "Ellis-Horwood",
  year =         "1987",
}

@InCollection{B64,
  author =       "P Hudak and P Anderson",
  title =        "Pomset {I}nterpretations of {P}arallel {F}unctional
                 {P}rograms",
  editor =       "Gilles Kahn",
  booktitle =    "FPCA'87, Portland, Oregon",
  series =       "LNCS",
  volume =       "274",
  pages =        "234--256",
  publisher =    "Springer-Verlag",
  month =        sep,
  year =         "1987",
}

@InCollection{B65,
  author =       "P Hudak and J Young",
  title =        "A {C}ollecting {I}nterpretation of {E}xpressions
                 ({W}ithout {P}owerdomains) -{P}reliminary {R}eport-",
  booktitle =    "15th POPL, San Diego, California",
  pages =        "107--118",
  publisher =    "ACM Press",
  month =        jan,
  year =         "1988",
}

@InCollection{B66,
  author =       "J Hughes",
  title =        "Strictness detection in non-flat domains",
  editor =       "Harald Ganzinger and Neil D Jones",
  booktitle =    "Programs as Data Objects",
  series =       "LNCS",
  volume =       "217",
  pages =        "112--135",
  publisher =    "Springer-Verlag",
  month =        oct,
  year =         "1986",
}

@InCollection{B67,
  author =       "John Hughes",
  title =        "Analysing strictness by abstract interpretation of
                 continuations",
  chapter =      "4",
  editor =       "S Abramsky and C Hankin",
  booktitle =    "Abstract Interpretation of Declarative Languages",
  pages =        "63--102",
  publisher =    "Ellis-Horwood",
  year =         "1987",
}

@InCollection{B68,
  author =       "John Hughes",
  title =        "Backward {A}nalysis of {F}unctional {P}rograms",
  editor =       "D Bj{\o}rner and others",
  booktitle =    "Proceedings of the workshop on Partial Evaluation and
                 Mixed Computation",
  pages =        "187--208",
  publisher =    "North-Holland",
  year =         "1988",
}

@InCollection{B246,
  author =       "John Hughes",
  title =        "Abstract interpretation of first-order polymorphically
                 typed languages",
  editor =       "Cordelia Hall and John Hughes and John T O'Donnell",
  booktitle =    "1988 Glasgow Workshop on Functional Programming",
  series =       "Research Report",
  volume =       "89/R4",
  pages =        "68--86",
  publisher =    "Glasgow Univ.",
  month =        feb,
  year =         "1989",
}

@InCollection{B69,
  author =       "J Hughes",
  title =        "Projections for {P}olymorphic {S}trictness
                 {A}nalysis",
  booktitle =    "Category Theory and Comp. Sci.",
  series =       "LNCS",
  volume =       "389",
  pages =        "82--100",
  publisher =    "Springer-Verlag",
  year =         "1989",
}

@InCollection{B70,
  author =       "Sebastian Hunt",
  title =        "Frontiers and open sets in abstract interpretation",
  booktitle =    "FPCA'89, London, England",
  pages =        "1--13",
  publisher =    "ACM Press",
  month =        sep,
  year =         "1989",
}

@Article{B250,
  author =       "K Inoue and H Seki and H Yagi",
  title =        "Analysis of functional programs to detect run-time
                 garbage cells",
  journal =      "ACM TOPLAS",
  volume =       "10",
  number =       "4",
  year =         "1988",
}

@InProceedings{B71,
  author =       "G Janssens and M Bruynooghe",
  title =        "An instance of abstract interpretation integrating
                 type and mode inferencing",
  booktitle =    "International Conference on Logic Programming",
  pages =        "669--683",
  year =         "1988",
}

@InCollection{B185,
  author =       "T Jensen and T Mogensen",
  title =        "A backwards analysis for compile time garbage
                 collection",
  booktitle =    "ESOP'90, Copenhagen, Denmark",
  series =       "LNCS",
  volume =       "432",
  pages =        "227--239",
  publisher =    "Springer-Verlag",
  year =         "1990",
}

@InProceedings{B72,
  author =       "N D Jones and S S Muchnick",
  title =        "Automatic optimization of binding times",
  booktitle =    "3rd POPL, Atlanta, Georgia",
  pages =        "77--94",
  month =        jan,
  year =         "1976",
}

@InProceedings{B252,
  author =       "Neil D Jones and Steven S Muchnick",
  title =        "Binding {T}ime {O}ptimization in {P}rogramming
                 {L}anguages: {S}ome {T}houghts {T}oward the {D}esign of
                 an {I}deal {L}anguage",
  booktitle =    "3rd POPL, Atlanta, Georgia",
  pages =        "77--94",
  month =        jan,
  year =         "1976",
}

@Article{B73,
  author =       "N D Jones and S S Muchnick",
  title =        "Even simple programs are hard to analyze",
  journal =      "J. ACM.",
  volume =       "24",
  number =       "2",
  pages =        "338--350",
  year =         "1977",
}

@Book{B254,
  author =       "Neil D Jones and Steven S Muchnick",
  title =        "{T}{E}{M}{P}{O}: {A} {U}nified {T}reatment of
                 {B}inding {T}ime and {P}arameter {P}assing {C}oncepts
                 in {P}rogramming {L}anguages.",
  series =       "LNCS",
  volume =       "66",
  publisher =    "Springer-Verlag",
  year =         "1978",
}

@InProceedings{B74,
  author =       "N D Jones and S S Muchnick",
  title =        "Complexity of flow analysis, inductive assertion
                 synthesis, and a language due to {D}ijkstra",
  booktitle =    "FOCS 20",
  year =         "1979",
}

@InCollection{B206,
  author =       "Neil D Jones and Steven S Muchnick",
  title =        "Complexity of flow analysis, inductive assertion
                 synthesis, and a language due to {D}ijkstra",
  chapter =      "12",
  editor =       "Steven S Muchnick and Neil D Jones",
  booktitle =    "Program Flow Analysis: Theory and Applications",
  pages =        "380--393",
  publisher =    "Prentice-Hall",
  year =         "1981",
}

@InCollection{B75,
  author =       "N D Jones and S S Muchnick",
  title =        "Flow analysis and optimization of {L}isp-like
                 structures",
  chapter =      "4",
  editor =       "Steven S Muchnick and Neil D Jones",
  booktitle =    "Program Flow Analysis: Theory and Applications",
  pages =        "102--131",
  publisher =    "Prentice-Hall",
  year =         "1981",
}

@InCollection{B76,
  author =       "N D Jones",
  title =        "Flow analysis of lambda expressions",
  booktitle =    "ICALP'81",
  series =       "LNCS",
  volume =       "115",
  pages =        "114--128",
  publisher =    "Springer-Verlag",
  year =         "1981",
}

@InProceedings{B77,
  author =       "N D Jones and S S Muchnick",
  title =        "A flexible approach to interprocedural data flow
                 analysis and programs with recursive data structures",
  booktitle =    "9th POPL, Albuquerque, NM",
  pages =        "66--74",
  month =        jan,
  year =         "1982",
}

@InCollection{B214,
  author =       "N D Jones and P Sestoft and H S{\o}ndergaard",
  title =        "An {E}xperiment in {P}artial {E}valuation: {T}he
                 {G}eneration of a {C}ompiler {G}enerator",
  booktitle =    "Rewriting Techniques and Applications",
  series =       "LNCS",
  volume =       "202",
  pages =        "124--140",
  publisher =    "Springer-Verlag",
  year =         "1985",
}

@TechReport{B78,
  author =       "N D Jones",
  title =        "Concerning the abstract interpretation of prolog",
  type =         "Tech. {R}ep.",
  institution =  "DIKU, Univ. of Copenhagen, Denmark",
  year =         "1985",
}

@InProceedings{B79,
  author =       "Neil D Jones and Alan Mycroft",
  title =        "Data {F}low {A}nalysis of {A}pplicative {P}rograms
                 using {M}inimal {F}unction {G}raphs",
  booktitle =    "13th POPL, St. Petersburg, Florida",
  pages =        "296--306",
  month =        jan,
  year =         "1986",
}

@InCollection{B80,
  author =       "Neil D Jones and Harald S{\o}ndergaard",
  title =        "A semantics-based framework for abstract
                 interpretation of continuations",
  chapter =      "6",
  editor =       "S Abramsky and C Hankin",
  booktitle =    "Abstract Interpretation of Declarative Languages",
  pages =        "123--142",
  publisher =    "Ellis-Horwood",
  year =         "1987",
}

@InCollection{B81,
  author =       "Neil D Jones",
  title =        "Flow {A}nalysis of {L}azy {H}igher {O}rder
                 {F}unctional {P}rograms",
  chapter =      "5",
  editor =       "S Abramsky and C Hankin",
  booktitle =    "Abstract Interpretation of Declarative Languages",
  pages =        "103--122",
  publisher =    "Ellis-Horwood",
  year =         "1987",
}

@TechReport{B259,
  author =       "N D Jones",
  title =        "Static {S}emantics and {B}inding {T}ime {A}nalysis",
  type =         "Working paper",
  institution =  "DIKU, Univ. of Copenhagen, Denmark",
  year =         "1988",
}

@TechReport{B82,
  author =       "N D Jones and F Nielson",
  title =        "Abstract {I}nterpretation: a {S}emantics-{B}ased
                 {T}ool for {P}rogram {A}nalysis",
  type =         "Tech. {R}ep.",
  institution =  "DIKU, Univ. of Copenhagen, Denmark",
  year =         "1989",
}

@InCollection{B83,
  author =       "S Jones and D Metayer",
  title =        "Compile-time garbage collection by sharing analysis",
  booktitle =    "FPCA'89, London, England",
  publisher =    "ACM Press",
  month =        sep,
  year =         "1989",
}

@Article{B215,
  author =       "N D Jones and P Sestoft and H S{\o}ndergaard",
  title =        "Mix: {A} {S}elf-{A}pplicable {P}artial {E}valuator for
                 {E}xperiments in {C}ompiler {G}eneration",
  journal =      "Lisp and Symbolic Computation",
  volume =       "2",
  number =       "1",
  pages =        "9--50",
  year =         "1989",
}

@InProceedings{B84,
  author =       "P Jouvelot",
  title =        "Semantic {P}arallelization: a practical execise in
                 abstract interpretation",
  booktitle =    "14th POPL, Munich, West Germany",
  pages =        "39--48",
  month =        jan,
  year =         "1987",
}

@TechReport{B216,
  author =       "Gilles Kahn",
  title =        "Natural {S}emantics",
  number =       "601",
  type =         "Research {R}eport",
  institution =  "INRIA",
  address =      "Rocquencourt",
  month =        feb,
  year =         "1987",
}

@Article{B85,
  author =       "J B Kam and J D Ullman",
  title =        "Monotone data flow analysis frameworks",
  journal =      "Acta Inf.",
  volume =       "7",
  pages =        "305--317",
  year =         "1977",
}

@TechReport{B86,
  author =       "M Kamkar and N Shahmehri",
  title =        "Runtime dependent program flow analysis",
  number =       "LITH-IDA-R-86-40",
  type =         "Tech. {R}ep.",
  institution =  "Link{\"o}ping Univ.",
  month =        dec,
  year =         "1986",
}

@InProceedings{B89,
  author =       "T Katayama",
  title =        "Type {I}nference and {T}ype {C}hecking for
                 {F}unctional {P}rogramming {L}anguages --- {A}
                 {R}educed {C}omputation {A}pproach",
  booktitle =    "ACM Symposium on Lisp and Functional Programming",
  pages =        "263--272",
  year =         "1984",
}

@InCollection{B199,
  author =       "Ken Kennedy",
  title =        "A {S}urvey of data flow analysis techniques",
  chapter =      "1",
  editor =       "Steven S Muchnick and Neil D Jones",
  booktitle =    "Program Flow Analysis: Theory and Applications",
  pages =        "5--54",
  publisher =    "Prentice-Hall",
  year =         "1981",
}

@InCollection{B90,
  author =       "Richard B Kieburtz and Maria Napierala",
  title =        "Abstract {S}emantics",
  chapter =      "7",
  editor =       "S Abramsky and C Hankin",
  booktitle =    "Abstract Interpretation of Declarative Languages",
  pages =        "143--180",
  publisher =    "Ellis-Horwood",
  year =         "1987",
}

@InProceedings{B91,
  author =       "Gary Kildall",
  title =        "A {U}nified {A}pproach to {G}lobal {P}rogram
                 {O}ptimization",
  booktitle =    "1st POPL",
  pages =        "194--206",
  month =        oct,
  year =         "1973",
}

@InCollection{B92,
  author =       "T-M Kuo and P Mishra",
  title =        "Strictness analysis: a new perspective based on type
                 inference",
  booktitle =    "FPCA'89, London, England",
  pages =        "260--272",
  publisher =    "ACM Press",
  month =        sep,
  year =         "1989",
}

@InCollection{B93,
  author =       "J Launchbury",
  title =        "Projections for specialisation",
  editor =       "D Bj{\o}rner and others",
  booktitle =    "Proceedings of the workshop on Partial Evaluation and
                 Mixed Computation",
  pages =        "299--316",
  publisher =    "North-Holland",
  year =         "1988",
}

@InCollection{B260,
  author =       "John Launchbury",
  title =        "Dependent {S}ums {E}xpress {S}eparation of {B}inding
                 {T}imes",
  editor =       "Kei Davis and John Hughes",
  booktitle =    "1989 Glasgow Workshop on Functional Programming,
                 Glasgow, Scotland",
  pages =        "238--253",
  publisher =    "Springer-Verlag",
  year =         "1990",
}

@InCollection{B94,
  author =       "D Lester",
  title =        "Stacklessness: compiling recursion for a distributed
                 architecture",
  booktitle =    "FPCA'89, London, England",
  publisher =    "ACM Press",
  month =        sep,
  year =         "1989",
}

@InCollection{B95,
  author =       "G Lindstrom",
  title =        "Static {E}valuation of {F}unctional {P}rograms",
  booktitle =    "SIGPLAN '86 Symposium on Compiler Construction, Palo
                 Alto, California",
  series =       "ACM SIGPLAN Not.",
  volume =       "21(7)",
  publisher =    "ACM",
  month =        jul,
  year =         "1986",
}

@Book{B228,
  author =       "S MacLane",
  title =        "Categories for the {W}orking {M}athematician",
  publisher =    "Springer-Verlag",
  year =         "1971",
}

@InCollection{B96,
  author =       "T J Marlowe and B G Ryder",
  title =        "An efficient hybrid algorithm for incremental data
                 flow analysis",
  booktitle =    "17th POPL, San Fransisco, California",
  pages =        "184--196",
  publisher =    "ACM Press",
  month =        jan,
  year =         "1990",
}

@Article{B230,
  author =       "T J Marlowe and B G Ryder",
  title =        "Properties of data flow frameworks - a unified model",
  journal =      "Acta Inf.",
  volume =       "28",
  number =       "2",
  pages =        "121--163",
  month =        dec,
  year =         "1990",
}

@InCollection{B210,
  author =       "Kim Marriott and Harald S{\o}ndergaard",
  title =        "Semantics-based dataflow analysis of logic programs",
  booktitle =    "IFIP'89",
  publisher =    "North-Holland",
  year =         "1989",
}

@InCollection{B97,
  author =       "Chris Martin and Chris Hankin",
  title =        "Finding {F}ixed {P}oints in {F}inite {L}attices",
  editor =       "Gilles Kahn",
  booktitle =    "FPCA'87, Portland, Oregon",
  series =       "LNCS",
  volume =       "274",
  pages =        "426--445",
  publisher =    "Springer-Verlag",
  month =        sep,
  year =         "1987",
}

@InCollection{B98,
  author =       "D Maurer",
  title =        "Strictness {C}omputation {U}sing {S}pecial
                 {L}ambda-{E}xpressions",
  editor =       "Harald Ganzinger and Neil D Jones",
  booktitle =    "Programs as Data Objects",
  series =       "LNCS",
  volume =       "217",
  pages =        "136--155",
  publisher =    "Springer-Verlag",
  month =        oct,
  year =         "1986",
}

@InCollection{B99,
  author =       "C S Mellish",
  title =        "Abstract {I}nterpretation on {P}rolog {P}rograms",
  editor =       "E Shapiro",
  booktitle =    "International Conference on Logic Programming, London,
                 United Kingdom",
  series =       "LNCS",
  volume =       "225",
  pages =        "107--116",
  publisher =    "Springer-Verlag",
  month =        jul,
  year =         "1986",
}

@InCollection{B100,
  author =       "Chris Mellish",
  title =        "Abstract interpretation of prolog programs",
  chapter =      "8",
  editor =       "S Abramsky and C Hankin",
  booktitle =    "Abstract Interpretation of Declarative Languages",
  pages =        "181--198",
  publisher =    "Ellis-Horwood",
  year =         "1987",
}

@InProceedings{B101,
  author =       "P Mishra and R M Keller",
  title =        "Static inference of properties of applicative
                 programs",
  booktitle =    "11th POPL, Salt Lake City",
  pages =        "235--244",
  month =        jan,
  year =         "1984",
}

@TechReport{B102,
  author =       "P Mishra",
  title =        "Static inference in applicative programs",
  type =         "Ph.{D}. {T}hesis",
  institution =  "Utah Univ.",
  year =         "1984",
}

@InCollection{B261,
  author =       "Torben Mogensen",
  title =        "Partially static structures in a self-applicable
                 partial evaluator",
  editor =       "D Bj{\o}rner and others",
  booktitle =    "Proceedings of the workshop on Partial Evaluation and
                 Mixed Computation",
  pages =        "325--347",
  publisher =    "North-Holland",
  year =         "1988",
}

@InCollection{B262,
  author =       "T Mogensen",
  title =        "Binding {T}ime {A}nalysis for {P}olymorphically
                 {T}yped {H}igher {O}rder {L}anguages",
  editor =       "J Diaz and F Orejas",
  booktitle =    "TAPSOFT'89, Barcelona, Spain",
  series =       "LNCS",
  volume =       "352",
  pages =        "298--312",
  publisher =    "Springer-Verlag",
  month =        mar,
  year =         "1989",
}

@TechReport{B263,
  author =       "Torben Mogensen",
  title =        "Binding {T}ime {A}spects of {P}artial {E}valuation",
  type =         "Ph.{D}. {T}hesis",
  institution =  "DIKU, Univ. of Copenhagen, Denmark",
  year =         "1989",
}

@InCollection{B264,
  author =       "T Mogensen",
  title =        "Separating {B}inding {T}imes in {L}anguage
                 {S}pecifications",
  booktitle =    "FPCA'89, London, England",
  pages =        "14--25",
  publisher =    "ACM Press",
  month =        sep,
  year =         "1989",
}

@InCollection{B202,
  author =       "Etienne Morel and Claude Renvoise",
  title =        "Interprocedural elimination of partial redundancies",
  chapter =      "6",
  editor =       "Steven S Muchnick and Neil D Jones",
  booktitle =    "Program Flow Analysis: Theory and Applications",
  pages =        "160--188",
  publisher =    "Prentice-Hall",
  year =         "1981",
}

@InCollection{B103,
  author =       "E Morel",
  title =        "Data {F}low {A}nalysis and {G}lobal {O}ptimization",
  editor =       "Bernard Lorho",
  booktitle =    "Methods and Tools for Compiler Construction",
  pages =        "289--315",
  publisher =    "Cambridge Univ. Press",
  year =         "1984",
}

@InCollection{B104,
  author =       "Alan Mycroft",
  title =        "The {T}heory and {P}ractice of {T}ransforming
                 {C}all-by-{N}eed into {C}all-by-{V}alue",
  editor =       "B Robinet",
  booktitle =    "International Symposium on Programming'80, Paris,
                 France",
  series =       "LNCS",
  volume =       "83",
  pages =        "269--281",
  publisher =    "Springer-Verlag",
  month =        apr,
  year =         "1980",
}

@TechReport{B105,
  author =       "Alan Mycroft",
  title =        "Abstract {I}nterpretation and {O}ptimising
                 {T}ransformations for {A}pplicative {P}rograms",
  type =         "Ph.{D}. {T}hesis",
  institution =  "Univ. of Edinburgh",
  month =        dec,
  year =         "1981",
  abstract =     "1Y-188",
}

@TechReport{B106,
  author =       "Alan Mycroft",
  title =        "Call-by-{N}eed = {C}all-by-{V}alue + {C}onditional",
  number =       "CSR-78-81",
  type =         "Internal {R}eport",
  institution =  "Univ. of Edinburgh",
  month =        jul,
  year =         "1981",
}

@InCollection{B107,
  author =       "Alan Mycroft and Flemming Nielson",
  title =        "Strong {A}bstract {I}nterpretation using {P}ower
                 {D}omains",
  booktitle =    "ICALP'83, Barcelona, Spain",
  series =       "LNCS",
  volume =       "154",
  pages =        "536--547",
  publisher =    "Springer-Verlag",
  month =        jul,
  year =         "1983",
}

@InCollection{B108,
  author =       "Alan Mycroft and Neil D Jones",
  title =        "A {R}elational {F}ramework for {A}bstract
                 {I}nterpretation",
  editor =       "Harald Ganzinger and Neil D Jones",
  booktitle =    "Programs as Data Objects",
  series =       "LNCS",
  volume =       "217",
  pages =        "156--171",
  publisher =    "Springer-Verlag",
  month =        oct,
  year =         "1986",
}

@InCollection{B109,
  author =       "Alan Mycroft",
  title =        "A {S}tudy on {A}bstract {I}nterpretation and
                 ``{V}alidating {M}icrocode {A}lgebraically''",
  chapter =      "9",
  editor =       "S Abramsky and C Hankin",
  booktitle =    "Abstract Interpretation of Declarative Languages",
  pages =        "199--218",
  publisher =    "Ellis-Horwood",
  year =         "1987",
}

@Article{B110,
  author =       "P Naur",
  title =        "Checking of {O}perand {T}ypes in {A}lgol {C}ompilers",
  journal =      "BIT",
  volume =       "5",
  pages =        "151--163",
  year =         "1965",
}

@Article{B111,
  author =       "F Nielson",
  title =        "A {D}enotational {F}ramework for {D}ata {F}low
                 {A}nalysis",
  journal =      "Acta Inf.",
  volume =       "18",
  pages =        "265--287",
  year =         "1982",
}

@Article{B112,
  author =       "F Nielson",
  title =        "Towards {V}iewing {N}ondeterminism as {A}bstract
                 {I}nterpretation",
  journal =      "Foundations of Software Technology \& Theor. Comp.
                 Sci.",
  volume =       "3",
  year =         "1983",
}

@TechReport{B113,
  author =       "Flemming Nielson",
  title =        "Abstract {I}nterpretation using {D}omain {T}heory",
  type =         "Ph.{D}. {T}hesis",
  institution =  "Univ. of Edinburgh",
  month =        oct,
  year =         "1984",
  abstract =     "V106-122",
}

@TechReport{B114,
  author =       "F Nielson and H R Nielson",
  title =        "Code generation from two-level denotational
                 meta-language",
  number =       "85-20",
  type =         "Tech. {R}ep.",
  institution =  "Aalbog Universitetscenter",
  month =        nov,
  year =         "1985",
}

@TechReport{B115,
  author =       "H R Nielson and F Nielson",
  title =        "Pragmatic aspects of two-level denotational
                 meta-languages",
  number =       "R-85-13",
  type =         "Tech. {R}ep.",
  institution =  "Aalbog Universitetscenter",
  year =         "1985",
}

@Article{B116,
  author =       "Flemming Nielson",
  title =        "Program {T}ransformation in a {D}enotational
                 {S}etting",
  journal =      "ACM TOPLAS",
  volume =       "7",
  number =       "3",
  pages =        "359--379",
  month =        jul,
  year =         "1985",
}

@InProceedings{B117,
  author =       "F Nielson",
  title =        "Tensor products generalize the relational data flow
                 analysis method",
  booktitle =    "Proc 4th Hungarian Comp Sci Conf",
  pages =        "211--225",
  year =         "1985",
}

@Article{B118,
  author =       "F Nielson",
  title =        "A {B}ibliography on abstract interpretation",
  journal =      "ACM SIGPLAN Not.",
  volume =       "21",
  number =       "5",
  pages =        "31--38",
  year =         "1986",
}

@TechReport{B119,
  author =       "Nielson and Nielson",
  title =        "A tutorial on {T}{M}{L}: the metalanguage of the
                 {P}{S}{I}-project",
  number =       "86-4",
  type =         "Tech. {R}ep.",
  institution =  "Aalbog Universitetscenter",
  month =        may,
  year =         "1986",
}

@InCollection{B120,
  author =       "F Nielson",
  title =        "Abstract {I}nterpretation of {D}enotational
                 {D}efinitions",
  booktitle =    "STACS'86",
  series =       "LNCS",
  volume =       "210",
  pages =        "1--20",
  publisher =    "Springer-Verlag",
  year =         "1986",
}

@InCollection{B121,
  author =       "F Nielson and H R Nielson",
  title =        "Code generation from two-level denotational
                 meta-languages",
  editor =       "Harald Ganzinger and Neil D Jones",
  booktitle =    "Programs as Data Objects",
  series =       "LNCS",
  volume =       "217",
  pages =        "192--205",
  publisher =    "Springer-Verlag",
  month =        oct,
  year =         "1986",
}

@InCollection{B122,
  author =       "Flemming Nielson",
  title =        "Expected {F}orms of {D}ata {F}low {A}nalysis",
  editor =       "Harald Ganzinger and Neil D Jones",
  booktitle =    "Programs as Data Objects",
  series =       "LNCS",
  volume =       "217",
  pages =        "172--191",
  publisher =    "Springer-Verlag",
  month =        oct,
  year =         "1986",
}

@InCollection{B123,
  author =       "H R Nielson and F Nielson",
  title =        "Pragmatic aspects of two-level denotational
                 meta-languages",
  booktitle =    "ESOP'86, Saarbrucken, Germany",
  series =       "LNCS",
  volume =       "213",
  publisher =    "Springer-Verlag",
  year =         "1986",
}

@InProceedings{B124,
  author =       "Hanne R Nielson and Flemming Nielson",
  title =        "Semantics {D}irected {C}ompiling for {F}unctional
                 {L}anguages",
  booktitle =    "LISP'86, Cambridge, Mass",
  pages =        "249--257",
  month =        aug,
  year =         "1986",
}

@TechReport{B125,
  author =       "F Nielson",
  title =        "Strictness analysis and denotational abstract
                 interpretation",
  number =       "R-86-9A",
  type =         "Tech. {R}ep.",
  institution =  "Aalbog Universitetscenter",
  year =         "1986",
}

@InCollection{B126,
  author =       "F Nielson",
  title =        "A formal type system for comparing partial
                 evaluators",
  editor =       "D Bj{\o}rner and others",
  booktitle =    "Proceedings of the workshop on Partial Evaluation and
                 Mixed Computation",
  pages =        "349--384",
  publisher =    "North-Holland",
  year =         "1988",
}

@TechReport{B127,
  author =       "H Nielson and F Nielson",
  title =        "Automatic binding time analysis for typed lambda
                 calculus",
  number =       "R-87-13",
  type =         "Tech. {R}ep.",
  institution =  "Aalbog Universitetscenter",
  month =        may,
  year =         "1987",
}

@InProceedings{B128,
  author =       "Flemming Nielson",
  title =        "Strictness {A}nalysis and {D}enotational {A}bstract
                 {I}nterpretation",
  booktitle =    "14th POPL, Munich, West Germany",
  pages =        "120--131",
  month =        jan,
  year =         "1987",
}

@TechReport{B129,
  author =       "Hanne Riis Nielson",
  title =        "The core of the {P}{S}{I}-system (version 1.0)",
  number =       "IR-87-02",
  type =         "Tech. {R}ep.",
  institution =  "Aalbog Universitetscenter",
  month =        mar,
  year =         "1987",
}

@InCollection{B130,
  author =       "Flemming Nielson",
  title =        "Towards a {D}enotational {T}heory of {A}bstract
                 {I}nterpretation",
  chapter =      "10",
  editor =       "S Abramsky and C Hankin",
  booktitle =    "Abstract Interpretation of Declarative Languages",
  pages =        "219--245",
  publisher =    "Ellis-Horwood",
  year =         "1987",
}

@TechReport{B131,
  author =       "Flemming Nielson and Hanne Riis Nielson",
  title =        "Two-{L}evel {S}emantics and {C}ode {G}eneration",
  number =       "R-87-3",
  type =         "Tech. {R}ep.",
  institution =  "Aalbog Universitetscenter",
  month =        jan,
  year =         "1987",
}

@InCollection{B132,
  author =       "F Nielson and H R Nielson",
  title =        "2 level $\lambda$-lifting",
  booktitle =    "ESOP'88, Nancy, France",
  series =       "LNCS",
  volume =       "300",
  pages =        "328--343",
  publisher =    "Springer-Verlag",
  year =         "1988",
}

@Article{B243,
  author =       "H R Nielson and F Nielson",
  title =        "Automatic {B}inding {T}ime {A}nalysis for a {T}yped
                 $\lambda$-calculus",
  journal =      "Sci. Comp. Prog.",
  volume =       "10",
  number =       "2",
  pages =        "139--176",
  year =         "1988",
}

@TechReport{B134,
  author =       "Nielson and Nielson",
  title =        "Functional completeness of the mixed lambda calculus
                 and combinatory logic",
  number =       "88-23",
  type =         "Tech. {R}ep.",
  institution =  "Aalbog Universitetscenter",
  month =        jul,
  year =         "1988",
}

@Article{B135,
  author =       "F Nielson",
  title =        "Strictness {A}nalysis and {D}enotational {A}bstract
                 {I}nterpretation",
  journal =      "Inform. and Comput.",
  volume =       "76",
  pages =        "29--92",
  year =         "1988",
}

@TechReport{B136,
  author =       "F Nielson and H R Nielson",
  title =        "The {T}{M}{L}-approach to compiler-compilers",
  number =       "ID-TR-193988-47",
  type =         "Tech. {R}ep.",
  institution =  "The Technical Univ. of Denmark",
  year =         "1988",
}

@Article{B137,
  author =       "F Nielson and H R Nielson",
  title =        "Two-level semantics and code generation",
  journal =      "Theor. Comp. Sci.",
  volume =       "56",
  number =       "1",
  pages =        "59--133",
  month =        jan,
  year =         "1988",
}

@InCollection{B138,
  author =       "H R Nielson and F Nielson",
  title =        "Transformations on higher-order functions",
  booktitle =    "FPCA'89, London, England",
  pages =        "129--143",
  publisher =    "ACM Press",
  month =        sep,
  year =         "1989",
}

@Article{B139,
  author =       "Flemming Nielson",
  title =        "Two-level semantics and abstract interpretation",
  journal =      "Theor. Comp. Sci.",
  volume =       "69",
  pages =        "117--242",
  year =         "1989",
}

@InCollection{B193,
  author =       "Hanne Riis Nielson and Flemming Nielson",
  title =        "Context {I}nformation for {L}azy {C}ode {G}eneration",
  booktitle =    "LISP'90, Nice, France",
  pages =        "251--263",
  publisher =    "ACM Press",
  year =         "1990",
}

@Book{B140,
  author =       "H R Nielson and F Nielson",
  title =        "Semantics with {A}pplications: {A} formal
                 {I}ntroduction",
  publisher =    "John Wiley \& Sons",
  year =         "1992",
}

@TechReport{B141,
  author =       "U Nilsson",
  title =        "Systematic construction of domains for abstract
                 interpretation frameworks",
  number =       "LITH-IDA-R-88-45",
  type =         "Tech. {R}ep.",
  institution =  "Link{\"o}ping Univ.",
  year =         "1988",
  abstract =     "V108-376",
}

@TechReport{B142,
  author =       "U Nilsson",
  title =        "Towards a framework for the abstract interpretation of
                 logic programs",
  number =       "LITH-IDA-R-88-44",
  type =         "Tech. {R}ep.",
  institution =  "Link{\"o}ping Univ.",
  year =         "1988",
  abstract =     "V108-377",
}

@InCollection{B266,
  author =       "Ulf Nilsson",
  title =        "Towards a framework for the abstract interpretation of
                 logic programs",
  editor =       "Pierre Deransart and Bernard Lorho and Jan
                 Maluszynski",
  booktitle =    "PLILP'88, Orl{\'e}ans",
  series =       "LNCS",
  volume =       "348",
  pages =        "68--82",
  publisher =    "Springer-Verlag",
  month =        may,
  year =         "1988",
}

@InProceedings{B143,
  author =       "Richard A O'Keefe",
  title =        "Finite {F}ixed-{P}oint {P}roblems",
  booktitle =    "International Conference on Logic Programming",
  pages =        "729--743",
  month =        may,
  year =         "1987",
}

@InCollection{B195,
  author =       "Martin Odersky",
  title =        "How to make destructive updates less destructive",
  booktitle =    "18th POPL, Orlando, Florida",
  pages =        "25--36",
  publisher =    "ACM Press",
  month =        jan,
  year =         "1991",
}

@InProceedings{B144,
  author =       "M Ogawa and S Ono",
  title =        "Transformation of {S}trictness-{R}elated {A}nalyses
                 based on {A}bstract {I}nterpretation",
  booktitle =    "International Conference on Fifth Generation Computer
                 Systems",
  pages =        "430--438",
  year =         "1988",
}

@InProceedings{B145,
  author =       "S Ono and N Takahashi and M Amamiya",
  title =        "Non-strict partial computation with a dataflow
                 machine",
  booktitle =    "6th RIMS Symposium on mathematical methods in software
                 science and engineering",
  volume =       "547",
  pages =        "196--229",
  year =         "1984",
}

@InCollection{B146,
  author =       "S Ono and N Takahashi and M Amamiya",
  title =        "Optimized demand-driven evaluation of functional
                 programs on a dataflow machine",
  booktitle =    "ICPP",
  pages =        "421--428",
  publisher =    "IEEE",
  year =         "1986",
}

@InProceedings{B147,
  author =       "S Ono",
  title =        "Computation {P}ath {A}nalysis : {T}owards an
                 {A}utonomous {G}lobal {D}ataflow {A}nalysis",
  booktitle =    "Proceedings of the 2nd France-Japan AI\&CS Symposium,
                 Sophia, France",
  year =         "1987",
}

@InCollection{B204,
  author =       "Leon Osterweil",
  title =        "Using data flow tools in software engineering",
  chapter =      "8",
  editor =       "Steven S Muchnick and Neil D Jones",
  booktitle =    "Program Flow Analysis: Theory and Applications",
  pages =        "237--263",
  publisher =    "Prentice-Hall",
  year =         "1981",
}

@TechReport{B148,
  author =       "P Panangaden and P Mishra",
  title =        "A category theoretic formalism for abstract
                 interpretation",
  number =       "UUCS-84-005",
  type =         "Tech. {R}ep.",
  institution =  "Utah Univ.",
  year =         "1984",
}

@TechReport{B149,
  author =       "P Panangaden and P Mishra",
  title =        "Abstraction and indeterminacy",
  number =       "UUCS-84-006",
  type =         "Tech. {R}ep.",
  institution =  "Utah Univ.",
  year =         "1984",
}

@Article{B150,
  author =       "G Papakonstoninou and P Tsanakas",
  title =        "Attribute grammars and dataflow computing",
  journal =      "Inf. Softw. Technol.",
  volume =       "30",
  number =       "5",
  pages =        "306--313",
  month =        jun,
  year =         "1988",
}

@InCollection{B248,
  author =       "L Paulson",
  title =        "Compiler {G}eneration from {D}enotational
                 {S}emantics",
  editor =       "Bernard Lorho",
  booktitle =    "Methods and Tools for Compiler Construction",
  pages =        "219--250",
  publisher =    "Cambridge Univ. Press",
  year =         "1984",
}

@InCollection{B151,
  author =       "Simon Peyton~Jones and Chris Clack",
  title =        "Finding fixpoints in abstract interpretation",
  chapter =      "11",
  editor =       "S Abramsky and C Hankin",
  booktitle =    "Abstract Interpretation of Declarative Languages",
  pages =        "246--265",
  publisher =    "Ellis-Horwood",
  year =         "1987",
}

@Book{B152,
  author =       "S T Peyton~Jones",
  title =        "The implementation of functional programming
                 languages",
  publisher =    "Prentice-Hall",
  year =         "1987",
}

@Book{B251,
  title =        "Category {T}heory and {C}omputer {P}rogramming",
  editor =       "D Pitt and S Abramsky and A Poigne and D Rydeheard",
  series =       "LNCS",
  volume =       "240",
  publisher =    "Springer-Verlag",
  year =         "1986",
}

@InProceedings{B211,
  author =       "D Plaisted",
  title =        "The {O}ccur-{C}heck problem in {P}rolog",
  booktitle =    "Proc. 1984 Symposium on Logic Programming",
  pages =        "272--280",
  year =         "1984",
}

@Article{B249,
  author =       "G D Plotkin",
  title =        "A powerdomain construction",
  journal =      "SIAM J. Comp.",
  volume =       "5",
  pages =        "452--487",
  year =         "1976",
}

@InCollection{B153,
  author =       "G Plotkin",
  title =        "Lambda definability in the full type hierarchy",
  editor =       "J P Seldin and J R Hindley",
  booktitle =    "To H B Curry: Essays on Combinatory Logic, Lambda
                 Calculus, and Formalism",
  publisher =    "Academic Press",
  year =         "1980",
}

@TechReport{B217,
  author =       "Gordon D Plotkin",
  title =        "A {S}tructural {A}pproach to {O}perational
                 {S}emantics",
  number =       "FN-19",
  type =         "Tech. {R}ep.",
  institution =  "DAIMI, Univ. of Aarhus, Denmark",
  month =        sep,
  year =         "1981",
}

@TechReport{B154,
  author =       "J H Reif",
  title =        "Data flow analysis of distributed communicating
                 processes",
  number =       "TR-12-83",
  type =         "Tech. {R}ep.",
  institution =  "Harward Univ.",
  month =        sep,
  year =         "1984",
  note =         "Also in POPL6",
}

@InProceedings{B155,
  author =       "John C Reynolds",
  title =        "Automatic {C}omputation of {D}ata {S}et
                 {D}efinitions",
  booktitle =    "IFIP'68",
  pages =        "456--461",
  year =         "1969",
}

@InCollection{B156,
  author =       "John C Reynolds",
  title =        "On the relation between direct and continuation
                 semantics",
  booktitle =    "ICALP'74",
  series =       "LNCS",
  volume =       "14",
  pages =        "141--156",
  publisher =    "Springer-Verlag",
  year =         "1974",
}

@InCollection{B187,
  author =       "J C Reynolds",
  title =        "Polymorphic {L}ambda {C}alculus",
  editor =       "Gerard Huet",
  booktitle =    "Logical Foundation of Functional Programming",
  pages =        "77--86",
  publisher =    "Addison Wesley",
  year =         "1990",
}

@InCollection{B221,
  author =       "Sergei A Romanenko",
  title =        "Arity {R}aiser and {I}ts {U}se in {P}rogram
                 {S}pecialization",
  booktitle =    "ESOP'90, Copenhagen, Denmark",
  series =       "LNCS",
  volume =       "432",
  pages =        "341--360",
  publisher =    "Springer-Verlag",
  year =         "1990",
}

@Article{B157,
  author =       "B K Rosen",
  title =        "Monoids for rapid data flow analysis",
  journal =      "SIAM J. Comp.",
  volume =       "9",
  pages =        "159--196",
  year =         "1980",
}

@InCollection{B200,
  author =       "Barry K Rosen",
  title =        "Degrees of availability as an introduction to the
                 general theory of data flow analysis",
  chapter =      "2",
  editor =       "Steven S Muchnick and Neil D Jones",
  booktitle =    "Program Flow Analysis: Theory and Applications",
  pages =        "55--76",
  publisher =    "Prentice-Hall",
  year =         "1981",
}

@InCollection{B158,
  author =       "Mads Rosendahl",
  title =        "Automatic {C}omplexity {A}nalysis",
  booktitle =    "FPCA'89, London, England",
  pages =        "144--156",
  publisher =    "ACM Press",
  month =        sep,
  year =         "1989",
}

@InCollection{B159,
  author =       "Mads Rosendahl",
  title =        "Abstract {I}nterpretation using {A}ttribute
                 {G}rammars",
  editor =       "P Deransart and M Jourdan",
  booktitle =    "WAGA'90",
  series =       "LNCS",
  volume =       "461",
  pages =        "143--156",
  publisher =    "Springer-Verlag",
  month =        oct,
  year =         "1990",
}

@InCollection{B184,
  author =       "D Sands",
  title =        "Complexity analysis for a lazy higher-order language",
  booktitle =    "ESOP'90, Copenhagen, Denmark",
  series =       "LNCS",
  volume =       "432",
  pages =        "361--376",
  publisher =    "Springer-Verlag",
  year =         "1990",
}

@InProceedings{B218,
  author =       "William L Scherlis",
  title =        "Program {I}mprovement by {I}nternal {S}pecialization",
  booktitle =    "8th POPL, Williamsburg, Va",
  pages =        "41--49",
  month =        jan,
  year =         "1981",
}

@TechReport{B160,
  author =       "D A Schmidt",
  title =        "Detecting global variables in denotational
                 definitions",
  number =       "CSR-143-83",
  type =         "Tech. {R}ep.",
  institution =  "Univ. of Edinburgh",
  year =         "1985",
}

@Article{B161,
  author =       "D A Schmidt",
  title =        "Detecting global variables in denotational
                 definitions",
  journal =      "ACM TOPLAS",
  volume =       "7",
  number =       "2",
  pages =        "299--310",
  year =         "1985",
}

@Book{B253,
  author =       "D A Schmidt",
  title =        "Denotational {S}emantics: {A} {M}ethodology for
                 {L}anguage {D}evelopment",
  publisher =    "Allyn and Bacon, Newton, MA",
  year =         "1986",
}

@InCollection{B162,
  author =       "D A Schmidt and A Melton and G E Strecker",
  title =        "Galois connections and computer science applications",
  booktitle =    "Category Theory and Comp. Prog.",
  series =       "LNCS",
  volume =       "240",
  publisher =    "Springer-Verlag",
  year =         "1986",
}

@InCollection{B163,
  author =       "D A Schmidt",
  title =        "Static properties of partial reduction",
  editor =       "D Bj{\o}rner and others",
  booktitle =    "Proceedings of the workshop on Partial Evaluation and
                 Mixed Computation",
  pages =        "465--484",
  publisher =    "North-Holland",
  year =         "1988",
}

@InProceedings{B219,
  author =       "Jerald Schwarz",
  title =        "Verifying the safe use of destructive operators in
                 applicative programs",
  booktitle =    "3rd International Symposium on Programming, Paris,
                 France",
  year =         "1978",
}

@InCollection{B165,
  author =       "R C Sekar and S Pawagi and I V Ramarkrishnan",
  title =        "Small {D}omains {S}pell {F}ast {S}trictness
                 {A}nalysis",
  booktitle =    "17th POPL, San Fransisco, California",
  pages =        "169--183",
  publisher =    "ACM Press",
  month =        jan,
  year =         "1990",
}

@InCollection{B196,
  author =       "R C Sekar and Prateel Mishra and I V Ramakrishnan",
  title =        "On the power and limitation of strictness analysis
                 based on abstract interpretation",
  booktitle =    "18th POPL, Orlando, Florida",
  pages =        "37--48",
  publisher =    "ACM Press",
  month =        jan,
  year =         "1991",
}

@TechReport{B267,
  author =       "Peter Sestoft",
  title =        "Replacing {F}unction {P}arameters by {G}lobal
                 {V}ariables",
  number =       "88-7-2",
  type =         "M.{S}c. {T}hesis",
  institution =  "DIKU, Univ. of Copenhagen, Denmark",
  month =        oct,
  year =         "1988",
}

@TechReport{B222,
  author =       "Peter Sestoft and Guy Argo",
  title =        "Detecting {U}nshared {E}xpressions in the {I}mproved
                 {T}hree {I}nstructions {M}achine",
  type =         "Tech. {R}ep.",
  institution =  "Glasgow Univ.",
  year =         "1989",
}

@InCollection{B166,
  author =       "P Sestoft",
  title =        "Replacing function parameters by global variables",
  booktitle =    "FPCA'89, London, England",
  publisher =    "ACM Press",
  month =        sep,
  year =         "1989",
}

@TechReport{B167,
  author =       "R Sethi",
  title =        "Control flow aspects of semantics directed compiling",
  type =         "Tech. {R}ep.",
  institution =  "AT\&T Bell Labs.",
  address =      "Murray Hill, NJ",
  month =        sep,
  year =         "1981",
}

@InCollection{B203,
  author =       "Micha Sharir and Amir Pnueli",
  title =        "Two approaches to interprocedural data flow analysis",
  chapter =      "7",
  editor =       "Steven S Muchnick and Neil D Jones",
  booktitle =    "Program Flow Analysis: Theory and Applications",
  pages =        "189--233",
  publisher =    "Prentice-Hall",
  year =         "1981",
}

@InProceedings{B208,
  author =       "O Shivers",
  title =        "Control flow analysis in {S}cheme",
  booktitle =    "SIGPLAN '88 Conference on PLDI, Atlanta, Georgia",
  series =       "ACM SIGPLAN Not.",
  volume =       "23(7)",
  pages =        "164--174",
  month =        jul,
  year =         "1988",
}

@InProceedings{B168,
  author =       "Sintzoff",
  title =        "Calculating properties of programs by valuations on
                 specific models",
  booktitle =    "ACM Conference on Proving Assertions About Programs",
  series =       "ACM SIGPLAN Not.",
  volume =       "7(1)",
  pages =        "203--207",
  month =        jan,
  year =         "1972",
}

@Article{B169,
  author =       "M B Smyth",
  title =        "Power {D}omains",
  journal =      "J. Comput. System Sci.",
  volume =       "16",
  pages =        "23--36",
  year =         "1978",
}

@TechReport{B170,
  author =       "M B Smyth and G Plotkin",
  title =        "The category-theoretic solution of recursive domain
                 equations",
  number =       "CSR-102-82",
  type =         "Tech. {R}ep.",
  institution =  "Univ. of Edinburgh",
  month =        feb,
  year =         "1982",
}

@Article{B171,
  author =       "M B Smyth and G Plotkin",
  title =        "The category-theoretic solution of recursive domain
                 equations",
  journal =      "SIAM J. Comp.",
  volume =       "11",
  number =       "4",
  pages =        "761--783",
  month =        nov,
  year =         "1982",
}

@InCollection{B172,
  author =       "B Steffen",
  title =        "Optimal {R}un {T}ime {O}ptimization --- {P}roved by a
                 {N}ew {L}ook at {A}bstract {I}nterpretation",
  booktitle =    "TAPSOFT'87",
  series =       "LNCS",
  volume =       "249",
  pages =        "52--68",
  publisher =    "Springer-Verlag",
  year =         "1987",
}

@Book{B255,
  author =       "J E Stoy",
  title =        "Denotational {S}emantics: {T}he {S}cott-{S}trachey
                 {A}pproach to {P}rogramming {L}anguage {T}heory",
  publisher =    "MIT Press",
  year =         "1977",
}

@InCollection{B198,
  author =       "R S Sundaresh and Paul Hudak",
  title =        "Incremental {C}omputation via {P}artial {E}valuation",
  booktitle =    "18th POPL, Orlando, Florida",
  pages =        "1--13",
  publisher =    "ACM Press",
  month =        jan,
  year =         "1991",
}

@InCollection{B173,
  author =       "H S{\o}ndergaard",
  title =        "An application of abstract interpretation of logic
                 programs: occur-check reduction",
  booktitle =    "ESOP'86, Saarbrucken, Germany",
  series =       "LNCS",
  volume =       "213",
  pages =        "327--338",
  publisher =    "Springer-Verlag",
  year =         "1986",
}

@TechReport{B268,
  author =       "Harald S{\o}ndergaard",
  title =        "Semantics-{B}ased {A}nalysis and {T}ransformation of
                 {L}ogic {P}rograms",
  number =       "89/22",
  type =         "Ph.{D}. {T}hesis",
  institution =  "DIKU, Univ. of Copenhagen, Denmark",
  year =         "1989",
}

@Article{B174,
  author =       "J D Ullman",
  title =        "Fast {A}lgorithms for the elimination of {C}ommon
                 {S}ubexpressions",
  journal =      "Acta Inf.",
  volume =       "2",
  pages =        "191--213",
  year =         "1973",
}

@InCollection{B175,
  author =       "Philip Wadler and R J M Hughes",
  title =        "Projections for {S}trictness {A}nalysis",
  editor =       "Gilles Kahn",
  booktitle =    "FPCA'87, Portland, Oregon",
  series =       "LNCS",
  volume =       "274",
  pages =        "385--407",
  publisher =    "Springer-Verlag",
  month =        sep,
  year =         "1987",
}

@InCollection{B176,
  author =       "Phil Wadler",
  title =        "Strictness analysis on non-flat domains (by abstract
                 interpretation)",
  chapter =      "12",
  editor =       "S Abramsky and C Hankin",
  booktitle =    "Abstract Interpretation of Declarative Languages",
  pages =        "266--275",
  publisher =    "Ellis-Horwood",
  year =         "1987",
}

@InCollection{B177,
  author =       "Philip Wadler",
  title =        "Strictness {A}nalysis {A}ids {T}ime {A}nalysis",
  booktitle =    "15th POPL, San Diego, California",
  publisher =    "ACM Press",
  month =        jan,
  year =         "1988",
}

@InCollection{B178,
  author =       "P Wadler",
  title =        "Theorems for free!",
  booktitle =    "FPCA'89, London, England",
  pages =        "347--359",
  publisher =    "ACM Press",
  month =        sep,
  year =         "1989",
}

@InCollection{B188,
  author =       "Philip Wadler",
  title =        "Comprehending {M}onads",
  booktitle =    "LISP'90, Nice, France",
  pages =        "61--78",
  publisher =    "ACM Press",
  year =         "1990",
}

@InProceedings{B179,
  author =       "R Warren and M Hermenegildo and S K Debray",
  title =        "On the practicality of global flow analysis of logic
                 programs",
  booktitle =    "International Conference on Logic Programming",
  year =         "1988",
}

@Article{B180,
  author =       "B Wegbreit",
  title =        "Property extraction in well-founded property sets",
  journal =      "IEEE Trans. Software Engrg.",
  volume =       "1",
  pages =        "270--285",
  year =         "1975",
}

@InCollection{B181,
  author =       "Reinhard Wilhelm",
  title =        "Global {F}low {A}nalysis and {O}ptimization in the
                 {M}{U}{G}2 {C}ompiler {G}enerating {S}ystem",
  chapter =      "5",
  editor =       "Steven S Muchnick and Neil D Jones",
  booktitle =    "Program Flow Analysis: Theory and Applications",
  pages =        "132--159",
  publisher =    "Prentice-Hall",
  year =         "1981",
}

@InProceedings{B182,
  author =       "S Wray",
  title =        "A new strictness detection algorithm",
  booktitle =    "Workshop on Impl. of Func. Prog., Sweden",
  year =         "1985",
}

@TechReport{B183,
  author =       "J Young and P Hudak",
  title =        "Finding fixpoints on functional spaces",
  number =       "YALEEU/\-DCS/\-RR-505",
  type =         "Tech. {R}ep.",
  institution =  "Yale Univ.",
  month =        dec,
  year =         "1986",
}

@Book{B2,
  title =        "Abstract {I}nterpretation of {D}eclarative
                 {L}anguages",
  editor =       "S Abramsky and C Hankin",
  publisher =    "Ellis-Horwood",
  year =         "1987",
}

@Book{B1,
  title =        "Program {F}low {A}nalysis: {T}heory and
                 {A}pplications",
  editor =       "Steven S Muchnick and Neil D Jones",
  publisher =    "Prentice-Hall",
  year =         "1981",
}

@TechReport{B164,
  author =       "Uwe F Pleban and Steven S Muchnick",
  title =        "A denotational semantics approach to program
                 optimization",
  type =         "Tech. {R}ep.",
  institution =  "Univ. of Kansas",
  year =         "1980",
}

@TechReport{B269,
  author =       "Paul Roe",
  title =        "A semantics for reasoning about parallel functional
                 programs' performances",
  type =         "Tech. {R}ep.",
  institution =  "Glasgow Univ.",
  year =         "1990",
}

@TechReport{B270,
  author =       "Carsten K Gomard and P Sestoft",
  title =        "Globalization and {L}ive {V}ariables",
  type =         "Tech. {R}ep.",
  institution =  "DIKU, Univ. of Copenhagen, Denmark",
  year =         "1990",
}

@TechReport{B271,
  author =       "B LeCharlier and K Musumbu and P Van Hentenryck",
  title =        "Efficient and {A}ccurate {A}lgorithms for the abstract
                 interpretation of {P}rolog programs",
  number =       "RP-90/9",
  type =         "Tech. {R}ep.",
  institution =  "Univ. of Namur, Belgium",
  year =         "1990",
}

@InCollection{B272,
  author =       "Keith D Cooper and Ken Kennedy",
  title =        "Fast {I}nterprocedural {A}lias {A}nalysis",
  booktitle =    "16th POPL, Austin, Texas",
  pages =        "49--59",
  publisher =    "ACM Press",
  month =        jan,
  year =         "1989",
}

@InCollection{B274,
  author =       "Francois Bourdoncle",
  title =        "Interprocedural abstract interpretation of block
                 structured languages with nested procedures, aliasing
                 and recursivity",
  booktitle =    "PLILP'90",
  series =       "LNCS",
  volume =       "456",
  pages =        "307--323",
  publisher =    "Springer-Verlag",
  year =         "1990",
}

@TechReport{B275,
  author =       "Roberto Barbuti and Roberto Giacobazzi and Giorgio
                 Levi",
  title =        "A declarative approach to abstract interpretation of
                 logic programs",
  number =       "TR-20/89",
  type =         "Tech. {R}ep.",
  institution =  "Univ. of Pisa",
  year =         "1989",
}

@TechReport{B276,
  author =       "Kim Marriott",
  title =        "Frameworks for {A}bstract {I}nterpretation",
  type =         "Tech. {R}ep.",
  institution =  "IBM T.J. Watson Research Center",
  address =      "Yorktown Heights, NY",
  year =         "1990",
}

@Article{B277,
  author =       "S K Debray and D S Warren",
  title =        "Automatic mode inference for logic programs",
  journal =      "J of Logic Programming",
  volume =       "5",
  number =       "3",
  pages =        "207--230",
  month =        sep,
  year =         "1988",
}

@Article{B278,
  author =       "S K Debray",
  title =        "Flow analysis of dynamic logic programs",
  journal =      "J of Logic Programming",
  volume =       "7",
  number =       "2",
  pages =        "149--176",
  month =        sep,
  year =         "1989",
}

@Article{B279,
  author =       "Philippe Granger",
  title =        "Static analysis of arithmetical congruences",
  journal =      "International Journal of Computer Mathematics",
  pages =        "165--199",
  year =         "1989",
}

@TechReport{B280,
  author =       "Philippe Granger",
  title =        "Static analysis of linear congruences among variables
                 of a program",
  type =         "Tech. {R}ep.",
  institution =  "LIX, Paris, France",
  year =         "1990",
}

@InProceedings{B281,
  author =       "G A Venkatesh",
  title =        "A framework for construction and evaluation of
                 high-level specifications for program analysis
                 techniques",
  booktitle =    "SIGPLAN '89 Conference on PLDI, Portland, Oregon",
  series =       "ACM SIGPLAN Not.",
  volume =       "24(7)",
  pages =        "1--12",
  month =        jul,
  year =         "1989",
}

@InCollection{B283,
  author =       "F Nielson",
  title =        "The typed $\lambda$-calculus with first-class
                 processes",
  booktitle =    "PARLE'89",
  series =       "LNCS",
  volume =       "366",
  pages =        "357--373",
  publisher =    "Springer-Verlag",
  year =         "1989",
}

@InProceedings{B284,
  author =       "A W Appel",
  title =        "Semantics-directed code generation",
  booktitle =    "12th POPL, New Oleans, Lousiana",
  pages =        "315--324",
  month =        jan,
  year =         "1985",
}

@InCollection{B285,
  author =       "H Christiansen and N D Jones",
  title =        "Control flow treatment in a simple semantics-directed
                 compiler generator",
  editor =       "D Bj{\o}rner",
  booktitle =    "Formal Description of Programming Concepts",
  publisher =    "North-Holland",
  year =         "1983",
}

@InProceedings{B286,
  author =       "M R Raskovsky",
  title =        "Denotational semantics as a specification of code
                 generators",
  booktitle =    "SIGPLAN '82 Symposium on Compiler Construction,
                 Boston, Mass",
  series =       "ACM SIGPLAN Not.",
  volume =       "17(6)",
  pages =        "230--244",
  month =        jun,
  year =         "1982",
}

@Article{B287,
  author =       "B K Rosen",
  title =        "High-level data flow analysis",
  journal =      "C. ACM",
  volume =       "20",
  number =       "10",
  pages =        "141--156",
  year =         "1977",
}

@InProceedings{B288,
  author =       "F L Morris",
  title =        "Advice on structuring compilers and proving them
                 correct",
  booktitle =    "1st POPL",
  pages =        "144--152",
  month =        oct,
  year =         "1973",
}

@Article{B289,
  author =       "J W Thatcher and E G Wagner and J B Wright",
  title =        "More on advice on structuring compilers and proving
                 them correct",
  journal =      "Theor. Comp. Sci.",
  volume =       "15",
  pages =        "223--249",
  year =         "1981",
}

@Article{B290,
  author =       "R Barbuti and A Martelli",
  title =        "A structured approach to static semantics
                 correctness",
  journal =      "Sci. Comp. Prog.",
  volume =       "3",
  pages =        "279--311",
  year =         "1983",
}

@Book{B291,
  author =       "R Milne and C Strachey",
  title =        "A theory of programming language semantics",
  publisher =    "Chapman and Hall",
  year =         "1976",
}

@InCollection{B292,
  author =       "M Caroll and B Ryder",
  title =        "Incremental data flow update via attribute and
                 dominator updates",
  booktitle =    "15th POPL, San Diego, California",
  pages =        "274--284",
  publisher =    "ACM Press",
  month =        jan,
  year =         "1988",
}

@Article{B293,
  author =       "E W Dijkstra and A van Gastern",
  title =        "A simple fixpoint argument without the restriction to
                 continuity",
  journal =      "Acta Inf.",
  volume =       "23",
  pages =        "1--8",
  year =         "1986",
}

@Article{B294,
  author =       "D E Knuth",
  title =        "An empirical study of {F}ortran programs",
  journal =      "Software---Practice and Experience",
  volume =       "1",
  pages =        "105--133",
  year =         "1971",
}

@InCollection{B295,
  author =       "S Sagiv and O Edelstein and N Francez and M Rodeh",
  title =        "Resolving circularity in attribute grammars with
                 application to data flow analysis",
  booktitle =    "16th POPL, Austin, Texas",
  pages =        "36--46",
  publisher =    "ACM Press",
  month =        jan,
  year =         "1989",
}

@TechReport{B296,
  author =       "N Andersen",
  title =        "Approximating term rewriting systems by regular
                 grammars",
  type =         "Tech. {R}ep.",
  institution =  "DIKU, Univ. of Copenhagen, Denmark",
  year =         "1987",
}

@Article{B297,
  author =       "J M Barth",
  title =        "Shifting garbage collection overhead to compile time",
  journal =      "C. ACM",
  volume =       "20",
  number =       "7",
  pages =        "513--518",
  year =         "1977",
}

@Book{B298,
  author =       "H P Barendregt",
  title =        "The {L}ambda {C}alculus - {I}ts {S}yntax and
                 {S}emantics",
  edition =      "Revised",
  series =       "Studies in logic and the foundation of mathematics",
  volume =       "103",
  publisher =    "North-Holland",
  year =         "1984",
}

@Article{B299,
  author =       "J A Goguen and J W Thatcher and E G Wagner and J B
                 Wright",
  title =        "Initial algebra semantics and continuous algebras",
  journal =      "J. ACM.",
  volume =       "24",
  number =       "1",
  year =         "1977",
}

@InProceedings{B300,
  author =       "T Johnsson",
  title =        "Efficient compilation of lazy evaluation",
  booktitle =    "SIGPLAN '84 Symposium on Compiler Construction,
                 Montreal, Canada",
  series =       "ACM SIGPLAN Not.",
  volume =       "19(6)",
  pages =        "58--69",
  month =        jun,
  year =         "1984",
}

@InCollection{B301,
  author =       "T Johnsson",
  title =        "Lambda lifting: transforming programs to recursive
                 equations",
  booktitle =    "FPCA'85, Nancy, France",
  series =       "LNCS",
  volume =       "201",
  publisher =    "Springer-Verlag",
  month =        sep,
  year =         "1985",
}

@InCollection{B302,
  author =       "S Meira",
  title =        "Optimised combinatoric code for applicative language
                 implementation",
  booktitle =    "International Symposium on Programming'84, Toulose,
                 France",
  series =       "LNCS",
  volume =       "167",
  publisher =    "Springer-Verlag",
  month =        apr,
  year =         "1984",
}

@Article{B303,
  author =       "C S Mellish",
  title =        "Some global optimisations for a {P}rolog compiler",
  journal =      "J of Logic Programming",
  volume =       "2",
  number =       "1",
  pages =        "43--66",
  year =         "1985",
}

@InCollection{B304,
  author =       "J C Reynolds",
  title =        "Types, abstraction and parametric polymorphism",
  booktitle =    "IFIP'83, Paris, France",
  publisher =    "North-Holland",
  month =        sep,
  year =         "1983",
}

@Article{B305,
  author =       "R E Tarjan",
  title =        "A unified approach to path programs",
  journal =      "J. ACM.",
  volume =       "28",
  number =       "3",
  pages =        "577--593",
  year =         "1981",
}

@Article{B306,
  author =       "A Tarski",
  title =        "A lattice-theoretical fixpoint theorem and its
                 applications",
  journal =      "Pacific J. Math.",
  volume =       "5",
  pages =        "285--309",
  year =         "1955",
}

@Book{B307,
  author =       "R D Tennent",
  title =        "Principles of programming languages",
  publisher =    "Prentice-Hall",
  year =         "1981",
}

@InProceedings{B308,
  author =       "D A Turner",
  title =        "The semantic elegance of applicative languages",
  booktitle =    "FPCA'81, Portsmouth, New Hampshire",
  month =        oct,
  year =         "1981",
}

@InCollection{B309,
  author =       "D A Turner",
  title =        "Miranda: a non-strict functional language with
                 polymorphic types",
  booktitle =    "FPCA'85, Nancy, France",
  series =       "LNCS",
  volume =       "201",
  publisher =    "Springer-Verlag",
  month =        sep,
  year =         "1985",
}

@Article{B310,
  author =       "Ralf Kneuper",
  title =        "Symbolic execution: a semantic approach",
  journal =      "Sci. Comp. Prog.",
  volume =       "16",
  pages =        "207--249",
  month =        oct,
  year =         "1991",
}

@TechReport{B311,
  author =       "William H Winsborough",
  title =        "Multiple {S}pecialization {U}sing {M}inimal {F}unction
                 {G}raph",
  number =       "CS-90-38",
  type =         "Tech. {R}ep.",
  institution =  "The Pennsylvania State University",
  month =        aug,
  year =         "1990",
}

@Article{B49,
  author =       "Robert R Kessler and J J Krohnfeldt",
  title =        "A {L}ogical {A}pproach o {P}rogram {A}nalysis",
  journal =      "Lisp and Symbolic Computation",
  volume =       "4",
  number =       "1",
  pages =        "5--27",
  month =        jan,
  year =         "1991",
}

@Article{B133,
  author =       "Tadashi Kanamori and Tadashi Kawamura",
  title =        "Abstract {I}nerpretation based on {O}{L}{D}{T}
                 resolution",
  journal =      "J of Logic Programming",
  volume =       "15",
  number =       "1-2",
  pages =        "1--30",
  month =        jan,
  year =         "1993",
}

@Article{B233,
  author =       "Tadashi Kanamori",
  title =        "Abstract {I}nerpretation based on {A}lexander
                 {T}rmplates",
  journal =      "J of Logic Programming",
  volume =       "15",
  number =       "1-2",
  pages =        "31--54",
  month =        jan,
  year =         "1993",
}

@Article{B236,
  author =       "Patrick Cousot and Radhia Cousot",
  title =        "Abstract {I}nterpretation and applications to logic
                 programs",
  journal =      "J of Logic Programming",
  volume =       "13",
  number =       "2-3",
  pages =        "103--180",
  month =        jul,
  year =         "1992",
}

@Article{B209,
  author =       "Kim Marriott and Harald S{\o}ndergard",
  title =        "Bottom-up {D}ataflow {A}nalysis of {N}ormal {L}ogic
                 {P}rograms",
  journal =      "J of Logic Programming",
  volume =       "13",
  number =       "2-3",
  pages =        "181--204",
  month =        jul,
  year =         "1992",
}

@Article{B239,
  author =       "Will Winsborough",
  title =        "Multiple {S}pecialization using {M}inimal-{F}unction
                 {G}raph {S}emantics",
  journal =      "J of Logic Programming",
  volume =       "13",
  number =       "2-3",
  pages =        "259--290",
  month =        jul,
  year =         "1992",
}

@InCollection{B244,
  author =       "Scott F Smith",
  title =        "From {O}perational to {D}enotational {S}emantics",
  editor =       "M Main and others",
  booktitle =    "Mathematical Foundation of Programming Semantics'91",
  series =       "LNCS",
  volume =       "598",
  pages =        "54--76",
  publisher =    "Springer-Verlag",
  month =        mar,
  year =         "1991",
}

@InCollection{B245,
  author =       "QuingMng Ma and John C Reynolds",
  title =        "Types, {A}bstraction, and {P}arametric {P}olymorphism
                 (part 2)",
  editor =       "M Main and others",
  booktitle =    "Mathematical Foundation of Programming Semantics'91",
  series =       "LNCS",
  volume =       "598",
  pages =        "1--40",
  publisher =    "Springer-Verlag",
  month =        mar,
  year =         "1991",
}

@InCollection{B247,
  author =       "William Landi and Barbara G Ryder",
  title =        "Pointer-{I}nduced {A}liasing: {A} {P}roblem
                 {C}lassification",
  booktitle =    "18th POPL, Orlando, Florida",
  pages =        "93--103",
  publisher =    "ACM Press",
  month =        jan,
  year =         "1991",
}

@Article{B258,
  author =       "Carsten K Gomard and Neil D Jones",
  title =        "A partial evaluator for the untyped lambda-calculus",
  journal =      "J of Functional Programming",
  volume =       "1",
  number =       "1",
  pages =        "21--69",
  month =        jan,
  year =         "1991",
}

@Article{B265,
  author =       "Sebastian Hunt and Chris Hankin",
  title =        "Fixed {P}oints and {F}rontiers: {A} {N}ew
                 {P}erspective",
  journal =      "J of Functional Programming",
  volume =       "1",
  number =       "1",
  pages =        "91--120",
  month =        jan,
  year =         "1991",
}

@Article{B282,
  author =       "Jean Pierre Talpin and Pierre Jouvelot",
  title =        "Polymorphic {T}ype, {R}egion and {E}ffect
                 {I}nference",
  journal =      "J of Functional Programming",
  volume =       "2",
  number =       "3",
  pages =        "245--271",
  month =        jul,
  year =         "1992",
}

@Article{B312,
  author =       "J W Lloyd and JC Shephardson",
  title =        "Partial {E}valuation in {L}ogic {P}rograms",
  journal =      "J of Logic Programming",
  volume =       "11",
  number =       "3-4",
  pages =        "217--242",
  month =        oct,
  year =         "1991",
}

@InProceedings{B313,
  author =       "Saumya Debray and Nai-Wei Lin and Manuel
                 Hermenegildo",
  title =        "Task {G}ranularity {A}nalysis in {L}ogic {P}rograms",
  booktitle =    "SIGPLAN '90 Conference on PLDI, White Plains, New
                 York",
  series =       "ACM SIGPLAN Not.",
  volume =       "25(6)",
  pages =        "174--188",
  month =        jun,
  year =         "1990",
}

@InProceedings{B314,
  author =       "Zahira Ammarguellat and W L Harrison~III",
  title =        "Automatic {R}ecognition of {I}nduction {V}ariables and
                 {R}ecurrence {R}elations by {A}bstract
                 {I}nterpretation",
  booktitle =    "SIGPLAN '90 Conference on PLDI, White Plains, New
                 York",
  series =       "ACM SIGPLAN Not.",
  volume =       "25(6)",
  pages =        "283--295",
  month =        jun,
  year =         "1990",
}

@InProceedings{B315,
  author =       "Robert Cartwright and Matthias Feleisen",
  title =        "The {S}emantics of {P}rogram {D}ependence",
  booktitle =    "SIGPLAN '89 Conference on PLDI, Portland, Oregon",
  series =       "ACM SIGPLAN Not.",
  volume =       "24(7)",
  pages =        "13--27",
  month =        jul,
  year =         "1989",
}

@Article{B316,
  author =       "P G Harrison and H Khosnevisan",
  title =        "On the synthesis of function inverses",
  journal =      "Acta Inf.",
  volume =       "29",
  number =       "3",
  pages =        "211--239",
  month =        jun,
  year =         "1992",
}

@Article{B317,
  author =       "Carsten K Gomard",
  title =        "A {S}elf-applicable {P}artial {E}valuator for the
                 {L}ambda {C}alculus: {C}orrectness and {P}ragmatics",
  journal =      "ACM TOPLAS",
  volume =       "14",
  number =       "2",
  pages =        "147--172",
  month =        apr,
  year =         "1992",
}

@InCollection{mmm0,
  author =       "Mads Rosendahl",
  title =        "Strictness analysis for attribute grammars",
  booktitle =    "PLILP'92",
  series =       "LNCS",
  volume =       "631",
  pages =        "145--157",
  publisher =    "Springer-Verlag",
  year =         "1992",
}

@TechReport{mmm1,
  author =       "Mads Rosendahl",
  title =        "Abstract {I}nterpretation and {A}ttribute {G}rammars",
  type =         "Ph.{D}. {T}hesis",
  institution =  "Cambridge Univ.",
  year =         "1992",
}

@InCollection{mmm2,
  author =       "Alan Mycroft and Mads Rosendahl",
  title =        "Minimal {F}unction {G}raphs are not instrumented",
  booktitle =    "WSA'92, Bordeaux, France",
  series =       "Bigre",
  pages =        "60--67",
  publisher =    "Irisa\, Rennes, France",
  month =        sep,
  year =         "1992",
}

@TechReport{mmm7,
  author =       "Mads Rosendahl",
  title =        "Introduktion til dom{\ae}neteori og abstrakt
                 fortolkning",
  type =         "Lect. {N}otes",
  institution =  "DIKU, Univ. of Copenhagen, Denmark",
  month =        nov,
  year =         "1992",
}

@TechReport{mmm3,
  author =       "Mads Rosendahl and Alan Mycroft",
  title =        "Minimal function graphs for call-by-need",
  type =         "Unpublished",
  institution =  "DIKU, Univ. of Copenhagen, Denmark",
  year =         "1992",
}

@TechReport{mmm6,
  author =       "Mads Rosendahl and Alan Mycroft",
  title =        "Minimal function graphs for call-by-need",
  type =         "Tech. {R}ep.",
  institution =  "Cambridge Univ.",
  year =         "1993",
  note =         "To appear",
}

@TechReport{mmm4,
  author =       "Mads Rosendahl",
  title =        "A formal semantics for {C}",
  type =         "Unpublished",
  institution =  "DIKU, Univ. of Copenhagen, Denmark",
  year =         "1992",
}

@TechReport{mmm5,
  author =       "Mads Rosendahl",
  title =        "Pointer analysis of {C} programs",
  type =         "Unpublished",
  institution =  "DIKU, Univ. of Copenhagen, Denmark",
  year =         "1992",
}

@TechReport{mmm8,
  author =       "Neil D Jones and Mads Rosendahl",
  title =        "Higher-{O}rder {M}inimal {F}unction {G}raphs",
  type =         "Unpublished",
  institution =  "DIKU, Univ. of Copenhagen, Denmark",
  year =         "1992",
}

@InCollection{mmm9,
  author =       "Mads Rosendahl",
  title =        "Higher-{O}rder {C}haotic {I}teration {S}equences",
  booktitle =    "PLILP'93",
  series =       "LNCS",
  volume =       "714",
  pages =        "332--345",
  publisher =    "Springer-Verlag",
  year =         "1993",
}

@InCollection{jj:cpe,
  author =       "Jesper J{\o}rgensen",
  title =        "Generating a {C}ompiler for a {L}azy {L}anguage by
                 {P}artial {E}valuation",
  booktitle =    "19th POPL, Albuquerque, New Mexico",
  pages =        "258--268",
  publisher =    "ACM Press",
  month =        jan,
  year =         "1992",
}

@InCollection{B87,
  author =       "C Hankin and D Le~Metayer and D Sands",
  title =        "Transformation of {G}amma {P}rograms",
  booktitle =    "WSA'92, Bordeaux, France",
  series =       "Bigre",
  pages =        "12--19",
  publisher =    "Irisa\, Rennes, France",
  month =        sep,
  year =         "1992",
}

@InCollection{B88,
  author =       "Y Park and B Goldberg",
  title =        "Order-of-{D}emand {A}nalysis for {L}azy {L}anguages",
  booktitle =    "WSA'92, Bordeaux, France",
  series =       "Bigre",
  pages =        "91--101",
  publisher =    "Irisa\, Rennes, France",
  month =        sep,
  year =         "1992",
}

@InCollection{B238,
  author =       "G W Hamilton",
  title =        "Sharing {A}nalysis of {L}azy {F}irst-{O}rder
                 {F}unctional {P}rograms",
  booktitle =    "WSA'92, Bordeaux, France",
  series =       "Bigre",
  pages =        "68--78",
  publisher =    "Irisa\, Rennes, France",
  month =        sep,
  year =         "1992",
}

@InCollection{B273,
  author =       "J Gallagher",
  title =        "Static {A}nalysis for {L}azy {P}rogram
                 {S}pecification",
  booktitle =    "WSA'92, Bordeaux, France",
  series =       "Bigre",
  pages =        "285--294",
  publisher =    "Irisa\, Rennes, France",
  month =        sep,
  year =         "1992",
}

@InCollection{B318,
  author =       "Yan-Mei Tang and P Jouvelot",
  title =        "Control-{F}low {E}ffects for {E}scape {A}nalysis",
  booktitle =    "WSA'92, Bordeaux, France",
  series =       "Bigre",
  pages =        "313--321",
  publisher =    "Irisa\, Rennes, France",
  month =        sep,
  year =         "1992",
}

@InCollection{B319,
  author =       "A E Ayers",
  title =        "Efficient {C}losure {A}nalysis with {R}eachability",
  booktitle =    "WSA'92, Bordeaux, France",
  series =       "Bigre",
  pages =        "126--134",
  publisher =    "Irisa\, Rennes, France",
  month =        sep,
  year =         "1992",
}

@InCollection{B320,
  author =       "C K Gomard and P Sestoft",
  title =        "Path {A}nalysis for {L}azy {D}ata {S}tructures",
  booktitle =    "PLILP'92",
  series =       "LNCS",
  volume =       "631",
  pages =        "54--68",
  publisher =    "Springer-Verlag",
  year =         "1992",
}

@InCollection{B321,
  author =       "P Cousot and R Cousot",
  title =        "Comparing the {G}alois {C}onnection and
                 {W}idening/{N}arrowing {A}pproaches to {A}bstract
                 {I}nterpretation",
  booktitle =    "PLILP'92",
  series =       "LNCS",
  volume =       "631",
  pages =        "269--295",
  publisher =    "Springer-Verlag",
  year =         "1992",
}

@InCollection{B322,
  author =       "K Verschaetse and D De~Schreye",
  title =        "Derivation of {L}inear {S}ize {R}elations by
                 {A}bstract {I}nterpretation",
  booktitle =    "PLILP'92",
  series =       "LNCS",
  volume =       "631",
  pages =        "296--310",
  publisher =    "Springer-Verlag",
  year =         "1992",
}

@InCollection{B323,
  author =       "Fritz Henglein",
  title =        "Global {T}agging {O}ptimization by {T}ype
                 {I}nference",
  booktitle =    "LISP'92, San Francisco, CA",
  pages =        "205--215",
  publisher =    "ACM Press",
  year =         "1992",
}

@InCollection{B324,
  author =       "Edward Wang and Paul N Hilfinger",
  title =        "Analysis of {R}ecursive {T}ypes in {L}isp-like
                 anguages",
  booktitle =    "LISP'92, San Francisco, CA",
  pages =        "226--234",
  publisher =    "ACM Press",
  year =         "1992",
}

@InCollection{B325,
  author =       "John R Rose and Hans Muller",
  title =        "Integrating the {S}cheme and {C} {L}anguages",
  booktitle =    "LISP'92, San Francisco, CA",
  pages =        "247--259",
  publisher =    "ACM Press",
  year =         "1992",
}

@InCollection{B326,
  author =       "Stefan Kaes",
  title =        "Type {I}nference in the presence of {O}verloading,
                 {S}ubtyping, and {R}ecursive types",
  booktitle =    "LISP'92, San Francisco, CA",
  pages =        "193--204",
  publisher =    "ACM Press",
  year =         "1992",
}

@InCollection{B327,
  author =       "Marc Neuberger and Prateek Mishra",
  title =        "A precise {R}elationship {B}etween the {D}eductive
                 {P}ower of {F}orward and {B}ackward {S}trictness
                 {A}nalysis",
  booktitle =    "LISP'92, San Francisco, CA",
  pages =        "127--138",
  publisher =    "ACM Press",
  year =         "1992",
}

@InCollection{B328,
  author =       "Flemming Nielson and Hanne Riis Nielson",
  title =        "Finiteness {C}onditions for {F}ixed {P}oint
                 {I}teration",
  booktitle =    "LISP'92, San Francisco, CA",
  pages =        "96--108",
  publisher =    "ACM Press",
  year =         "1992",
}

@InCollection{B329,
  author =       "Anders Bondorf",
  title =        "Improving {B}inding {T}imes {W}ithout {E}xplicit
                 {C}{P}{S}-{C}onversion",
  booktitle =    "LISP'92, San Francisco, CA",
  pages =        "1--11",
  publisher =    "ACM Press",
  year =         "1992",
}

@InCollection{B330,
  author =       "Tyng-Ruey Chuang and Benjamin Goldberg",
  title =        "A {S}yntactic {A}pproach to {F}ixed {P}oint
                 {C}omputation on {F}inite {D}omains",
  booktitle =    "LISP'92, San Francisco, CA",
  pages =        "109--118",
  publisher =    "ACM Press",
  year =         "1992",
}

@InCollection{B331,
  author =       "Robert Muller and Yuli Zhou",
  title =        "Abstract {I}nterpretation in {W}eak {P}owerdomains",
  booktitle =    "LISP'92, San Francisco, CA",
  pages =        "119--126",
  publisher =    "ACM Press",
  year =         "1992",
}

@Article{B332,
  author =       "John Gallagher and Maurice Bruyhooghe",
  title =        "The {D}erivation of an {A}lgorithm for {P}rogram
                 {S}pecialisation",
  journal =      "New Gener. Comput.",
  volume =       "9",
  pages =        "305--333",
  year =         "1991",
}

@InCollection{B333,
  author =       "Chris Hankin and Sebastian Hunt",
  title =        "Approximate {F}ixed {P}oints in {A}bstract
                 {I}nterpretation",
  booktitle =    "ESOP'92",
  series =       "LNCS",
  volume =       "582",
  pages =        "219--232",
  publisher =    "Springer-Verlag",
  year =         "1992",
}

@Article{B334,
  author =       "H P Barendraegt and J R Kennaway and J W Klop",
  title =        "Needed {R}eduction and {S}pine {S}trategies for the
                 {L}ambda {C}alculus",
  journal =      "Inform. and Comput.",
  volume =       "75",
  pages =        "191--231",
  year =         "1987",
}

@Article{B335,
  author =       "John Gallagher and Maurice Bruynooghe",
  title =        "The {D}erivation of an {A}lgorithm for {P}rogram
                 {S}pecialisation",
  journal =      "New Gener. Comput.",
  volume =       "9",
  pages =        "305--333",
  year =         "1991",
}

@InCollection{B336,
  author =       "John Hughes and John Launchbury",
  title =        "Reversing {A}bstract {I}nterpretations",
  booktitle =    "ESOP'92",
  series =       "LNCS",
  volume =       "582",
  pages =        "269--286",
  publisher =    "Springer-Verlag",
  year =         "1992",
}

@InCollection{B337,
  author =       "Thomas P Jensen",
  title =        "Strictness {A}nalysis in {L}ogical {F}orm",
  booktitle =    "FPCA'91, Cambridge, Mass, USA",
  series =       "LNCS",
  volume =       "523",
  pages =        "352--366",
  publisher =    "Springer-Verlag",
  month =        aug,
  year =         "1991",
}

@InCollection{B338,
  author =       "Gebreselassie Baraki",
  title =        "A {N}ote on {A}bstract {I}nterpretation of
                 {P}olymorphic {F}unctions",
  booktitle =    "FPCA'91, Cambridge, Mass, USA",
  series =       "LNCS",
  volume =       "523",
  pages =        "367--378",
  publisher =    "Springer-Verlag",
  month =        aug,
  year =         "1991",
}

@InCollection{B339,
  author =       "Fritz Henglein",
  title =        "Efficient {T}ype {I}nference for {H}igher-{O}rder
                 {B}inding-{T}ime {A}nalysis",
  booktitle =    "FPCA'91, Cambridge, Mass, USA",
  series =       "LNCS",
  volume =       "523",
  pages =        "448--472",
  publisher =    "Springer-Verlag",
  month =        aug,
  year =         "1991",
}

@InCollection{B340,
  author =       "Roberto Giacobazzi and Laura Ricci",
  title =        "Detecting {D}eterminate {C}omputation by {B}ottom-{U}p
                 {A}bstract {I}nterpretation",
  booktitle =    "ESOP'92",
  series =       "LNCS",
  volume =       "582",
  pages =        "167--181",
  publisher =    "Springer-Verlag",
  year =         "1992",
}

@InCollection{B341,
  author =       "Fritz Henglein",
  title =        "Dynamic {T}yping",
  booktitle =    "ESOP'92",
  series =       "LNCS",
  volume =       "582",
  pages =        "233--253",
  publisher =    "Springer-Verlag",
  year =         "1992",
}

@InCollection{B342,
  author =       "Flemming Nielson and Hanne Ries Nielson",
  title =        "The {T}ensor {P}roduct in {W}adler's {A}nalysis of
                 {L}ists",
  booktitle =    "ESOP'92",
  series =       "LNCS",
  volume =       "582",
  pages =        "351--370",
  publisher =    "Springer-Verlag",
  year =         "1992",
}

@InCollection{B343,
  author =       "G Janssens and M Bruynooghe",
  title =        "On {A}bstracting the {P}rocedural {B}ehaviour of
                 {L}ogic {P}rograms",
  booktitle =    "Logic Programming",
  series =       "LNAI",
  volume =       "592",
  pages =        "240--250",
  publisher =    "Springer-Verlag",
}

@Article{B344,
  author =       "Roberto Barbuti and Roberto Giacobazzi and Giorgio
                 Levi",
  title =        "A {G}eneral {F}ramework for {S}emantics-{B}ased
                 {B}ottom-{U}p {A}bstract {I}nterpretation of {L}ogic
                 {P}rograms",
  journal =      "ACM TOPLAS",
  volume =       "15",
  number =       "1",
  pages =        "133--181",
  month =        jan,
  year =         "1993",
}

@Article{B345,
  author =       "Kim Marriot",
  title =        "Frameworks for {A}bstract {I}nterpretation",
  journal =      "Acta Inf.",
  volume =       "30",
  number =       "2",
  pages =        "103--130",
}

@InCollection{B347,
  author =       "Patrick Cousot and Radhia Cousot",
  title =        "Inductive definitions, {S}emantics and {A}bstract
                 {I}nterpretation",
  booktitle =    "19th POPL, Albuquerque, New Mexico",
  pages =        "83--94",
  publisher =    "ACM Press",
  month =        jan,
  year =         "1992",
}