@incollection(conf/sas/AltM95,
 author       = "Martin Alt and Florian Martin",
 year         = "1995",
 title        = "Generation of Efficient Interprocedural Analyzers with {PAG}",
 booktitle    = "SAS",
 series       = "LNCS",
 volume       = "983",
 publisher    = "Springer",
 pages        = "33--50",
 doi          = "10.1007/3-540-60360-3\_31",
)
@incollection(apt:cha,
 author       = "Krzysztof R. Apt",
 year         = "1997",
 title        = "From Chaotic Iteration to Constraint Propagation.",
 booktitle    = "ICALP",
 series       = "LNCS",
 volume       = "1256",
 publisher    = "Springer",
 pages        = "36--55",
 doi          = "10.1007/3-540-63165-8\_163",
)
@article(Bagnara07,
 author       = "Roberto Bagnara and Patricia M. Hill and Andrea Pescetti and Enea Zaffanella",
 year         = "2007",
 title        = "On the Design of Generic Static Analyzers for Modern Imperative Languages",
 journal      = "CoRR",
 volume       = "abs/cs/0703116",
 url          = "http://arxiv.org/abs/cs/0703116",
)
@article(bird:circ,
 author       = "Richard S. Bird",
 year         = "1984",
 title        = "Using Circular Programs to Eliminate Multiple Traversals of Data.",
 journal      = "Acta Inf.",
 volume       = "21",
 pages        = "239--250",
 doi          = "10.1007/BF00264249",
)
@article(bha:hos,
 author       = "Geoffrey L. Burn and Chris Hankin and Samson Abramsky",
 year         = "1986",
 title        = "Strictness Analysis for Higher-Order Functions.",
 journal      = "Sci. Comput. Program.",
 volume       = "7",
 number       = "3",
 pages        = "249--278",
 doi          = "10.1016/0167-6423(86)90010-9",
)
@incollection(lch:genfix,
 author       = "Baudouin Le Charlier and Pascal Van Hentenryck",
 year         = "1992",
 title        = "On the Design of Generic Abstract Interpretation Frameworks.",
 booktitle    = "WSA",
 pages        = "229--246",
)
@incollection(cc:77,
 author       = "Patrick Cousot and Radhia Cousot",
 year         = "1977",
 title        = "Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints.",
 booktitle    = "POPL",
 publisher    = "ACM",
 pages        = "238--252",
 doi          = "10.1145/512950.512973",
)
@incollection(cc:77c,
 author       = "Patrick Cousot and Radhia Cousot",
 year         = "1978",
 title        = "Static determination of dynamic properties of recursive procedures",
 booktitle    = "Formal Description of Programming Concepts",
 publisher    = "North-Holland",
 pages        = "237--277",
 url          = "http://www.di.ens.fr/~cousot/COUSOTpapers/IFIP77.shtml",
)
@incollection(conf/esop/CousotCFMMMR05,
 author       = "Patrick Cousot and Radhia Cousot and J{\'e}r{\^o}me Feret and Laurent Mauborgne and Antoine Min{\'e} and David Monniaux and Xavier Rival",
 year         = "2005",
 title        = "The ASTRE{\'E} Analyzer.",
 booktitle    = "ESOP",
 series       = "LNCS",
 volume       = "3444",
 publisher    = "Springer",
 pages        = "21--30",
 doi          = "10.1007/978-3-540-31987-0\_3",
)
@techreport(dix:fix,
 author       = "Alan Dix",
 year         = "1988",
 title        = "Finding Fixed Points in Non-Trivial Domains: Proofs of Pending Analysis and Related Algorithms",
 type         = "Technical Report",
 number       = "107",
 institution  = "Univ. of York",
 url          = "http://alandix.com/academic/papers/fixpts-YCS107-88/",
)
@incollection(f:agfix,
 author       = "Rodney Farrow",
 year         = "1986",
 title        = "Automatic generation of fixed-point-finding evaluators for circular, but well-defined, attribute grammars.",
 booktitle    = "SIGPLAN Symposium on Compiler Construction",
 publisher    = "ACM",
 pages        = "85--98",
 doi          = "10.1145/12276.13320",
)
@incollection(fs:evenfast,
 author       = "Christian Fecht and Helmut Seidl",
 year         = "1996",
 title        = "An Even Faster Solver for General Systems of Equations.",
 booktitle    = "SAS",
 series       = "LNCS",
 volume       = "1145",
 publisher    = "Springer",
 pages        = "189--204",
 doi          = "10.1007/3-540-61739-6\_42",
)
@article(FokkerS09,
 author       = "Jeroen Fokker and S. Doaitse Swierstra",
 year         = "2009",
 title        = "Abstract Interpretation of Functional Programs using an Attribute Grammar System.",
 journal      = "Electr. Notes Theor. Comput. Sci.",
 volume       = "238",
 number       = "5",
 pages        = "117--133",
 doi          = "10.1016/j.entcs.2009.09.044",
)
@incollection(B335,
 author       = "John P. Gallagher and Maurice Bruynooghe",
 year         = "1990",
 title        = "The Derivation of an Algorithm for Program Specialisation.",
 booktitle    = "ICLP",
 pages        = "732--746",
 doi          = "10.1007/BF03037167",
)
@article(lazytype,
 author       = "Chris Hankin and Daniel Le M{\'e}tayer",
 year         = "1995",
 title        = "Lazy Type Inference and Program Analysis",
 journal      = "Sci. Comput. Program.",
 volume       = "25",
 number       = "2-3",
 pages        = "219--249",
 doi          = "10.1016/0167-6423(95)00012-7",
)
@incollection(B66,
 author       = "John Hughes",
 year         = "1985",
 title        = "Strictness detection in non-flat domains.",
 booktitle    = "Programs as Data Objects",
 series       = "LNCS",
 volume       = "217",
 publisher    = "Springer",
 pages        = "112--135",
 doi          = "10.1007/3-540-16446-4\_7",
)
@article(hh:front,
 author       = "Sebastian Hunt and Chris Hankin",
 year         = "1991",
 title        = "Fixed Points and Frontiers: A New Perspective.",
 journal      = "J. Funct. Program.",
 volume       = "1",
 number       = "1",
 pages        = "91--120",
 doi          = "10.1017/S0956796800000071",
)
@incollection(jhr:esah,
 author       = "Kristian Damm Jensen and Peter Hj{\ae }resen and Mads Rosendahl",
 year         = "1994",
 title        = "Efficient Strictness Analysis of Haskell.",
 booktitle    = "SAS",
 pages        = "246--362",
 doi          = "10.1007/3-540-58485-4\_51",
)
@incollection(jm:mfg,
 author       = "Neil D. Jones and Alan Mycroft",
 year         = "1986",
 title        = "Data Flow Analysis of Applicative Programs Using Minimal Function Graphs.",
 booktitle    = "POPL",
 publisher    = "ACM Press",
 pages        = "296--306",
 doi          = "10.1145/512644.512672",
)
@incollection(jr:hmfg,
 author       = "Neil D. Jones and Mads Rosendahl",
 year         = "1994",
 title        = "Higher-Order Minimal Function Graphs",
 booktitle    = "Algebraic and Logic Programming, ALP'94",
 series       = "LNCS",
 volume       = "850",
 publisher    = "Springer",
 pages        = "242--252",
 doi          = "10.1007/3-540-58431-5\_17",
)
@incollection(D140,
 author       = "Neil D. Jones and David A. Schmidt",
 year         = "1980",
 title        = "Compiler generation from denotational semantics.",
 booktitle    = "Semantics-Directed Compiler Generation",
 series       = "LNCS",
 volume       = "94",
 publisher    = "Springer",
 pages        = "70--93",
 doi          = "10.1007/3-540-10250-7\_19",
)
@incollection(nj:need,
 author       = "Niels J{\o }rgensen",
 year         = "1994",
 title        = "Finding Fixpoints in Finite Function Spaces Using Neededness Analysis and Chaotic Iteration.",
 booktitle    = "SAS",
 publisher    = "Springer",
 pages        = "329--345",
 doi          = "10.1007/3-540-58485-4\_50",
)
@inproceedings(KubiakHL91,
 author       = "Ryszard Kubiak and John Hughes and John Launchbury",
 year         = "1991",
 title        = "Implementing Projection-based Strictness Analysis",
 booktitle    = "Functional Programming",
 pages        = "207--224",
)
@incollection(mh:finlat,
 author       = "Chris Martin and Chris Hankin",
 year         = "1987",
 title        = "Finding fixed points in finite lattices.",
 booktitle    = "FPCA",
 series       = "LNCS",
 volume       = "274",
 publisher    = "Springer",
 pages        = "426--445",
 doi          = "10.1007/3-540-18317-5\_23",
)
@incollection(B104,
 author       = "Alan Mycroft",
 year         = "1980",
 title        = "The Theory and Practice of Transforming Call-by-need into Call-by-value.",
 booktitle    = "Symposium on Programming",
 series       = "LNCS",
 volume       = "83",
 publisher    = "Springer",
 pages        = "269--281",
 doi          = "10.1007/3-540-09981-6\_19",
)
@incollection(mr:mfg,
 author       = "Alan Mycroft and Mads Rosendahl",
 year         = "1992",
 title        = "Minimal Function Graphs are not Instrumented.",
 booktitle    = "WSA",
 pages        = "60--67",
 url          = "http://akira.ruc.dk/~madsr/webpub/wsa92.pdf",
)
@techreport(mosml,
 author       = "Sergei A. Romanenko and Claudio Russo and Peter Sestoft",
 year         = "2000",
 title        = "Moscow ML Language Overview",
 type         = "Technical Report",
 institution  = "Russian Academy of Science, Moscow",
 url          = "http://www.itu.dk/people/sestoft/mosml/manual.pdf",
)
@phdthesis(mr:phd,
 author       = "Mads Rosendahl",
 year         = "1992",
 title        = "Abstract Interpretation and Attribute Grammars",
 type         = "Ph.d. thesis",
 school       = "Cambridge Univ.",
 url          = "http://akira.ruc.dk/~madsr/webpub/phd.pdf",
)
@incollection(mr:hcfi,
 author       = "Mads Rosendahl",
 year         = "1993",
 title        = "Higher-Order Chaotic Iteration Sequences.",
 booktitle    = "PLILP",
 series       = "LNCS",
 volume       = "714",
 publisher    = "Springer",
 pages        = "332--345",
 doi          = "10.1007/3-540-57186-8\_89",
)
@incollection(libag-g579,
 author       = "Shmuel Sagiv and O. Edelstein and Nissim Francez and Michael Rodeh",
 year         = "1989",
 title        = "Resolving Circularity in Attribute Grammars with Applications to Data Flow Analysis.",
 booktitle    = "POPL",
 publisher    = "ACM Press",
 pages        = "36--48",
 doi          = "10.1145/75277.75281",
)
@article(B161,
 author       = "David A. Schmidt",
 year         = "1985",
 title        = "Detecting Global Variables in Denotational Specifications.",
 journal      = "ACM Trans. Program. Lang. Syst.",
 volume       = "7",
 number       = "2",
 pages        = "299--310",
 doi          = "10.1145/3318.3323",
)
@book(ds:ds,
 author       = "David A. Schmidt",
 year         = "1986",
 title        = "Denotational Semantics: A Methodology for Language Development",
 publisher    = "Allyn and Bacon, Newton, MA",
 url          = "https://www.scss.tcd.ie/Andrew.Butterfield/Teaching/CS4003/DenSem-full-book.pdf",
)
@techreport(ds:dspl,
 author       = "David A. Schmidt",
 year         = "Jan. 1982",
 title        = "Denotational semantics as a programming language",
 type         = "Internal Report CSR-100-82",
 institution  = "Univ. of Edinburgh",
)
@article(B306,
 author       = "A Tarski",
 year         = "1955",
 title        = "A lattice-theoretical fixpoint theorem and its applications",
 journal      = "Pacific J. Math.",
 volume       = "5",
 pages        = "285--309",
 doi          = "10.2140/pjm.1955.5.285",
)