case.bib revision 5b465790447d54472837f1084ed3e751c745d0dc
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@string(AAAI="American Association for Artificial Intelligence")
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@string(AAAIM="The AI Magazine")
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@string(ACM="Association for Computing Machinery")
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@string(ACMTOPLAS="Journal of Transactions on Programming Languages and Systems")
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@string(AI="Artificial Intelligence")
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@string(AIAI="Artificial Intelligence Applications Institute, Edinburgh")
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@string(AISB="Society for the Study of
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo TorriniArtificial Intelligence and Simulation of Behaviour")
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@string(ASE="Automated Software Engineering")
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@string(CACM="Communications of the Association for Computing Machinery")
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@string(CADE5="5th International Conference on Automated Deduction")
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@string(CADE6="6th International Conference on Automated Deduction")
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@string(CADE8="8th International Conference on Automated Deduction")
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@string(CADE9="9th International Conference on Automated Deduction")
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@string(CADE11="11th International Conference on Automated Deduction")
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@string(CADE12="12th International Conference on Automated Deduction")
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@string(CADE13="13th International Conference on Automated Deduction")
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@string(CADE14="14th International Conference on Automated Deduction")
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@string(CADE15="15th International Conference on Automated Deduction")
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@string(CADE16="16th International Conference on Automated Deduction")
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@string(CMU="Carnegie-Mellon University")
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@string(CUP="Cambridge University Press")
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@string(DAI="Dept.\ of Artificial Intelligence, University of Edinburgh")
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@string(HCRC="Human Communication Research Centre, University of Edinburgh")
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@string(ECAI="European Conference on Artificial Intelligence")
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@string(EUP="Edinburgh University Press")
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@string(IJCAI="International Joint Conference on Artificial Intelligence")
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@string(IRIA="Institut de Recherche d'Informatique et d'Automatique")
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@string(JACM="Journal of the Association for Computing Machinery")
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@string(JAR="Journal of Automated Reasoning")
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@string(JCSS="Journal of Computer and System Sciences")
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@string(JLC="Journal of Logic and Computation")
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@string(JLP="Journal of Logic Programming")
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@string(JSL="Journal of Symbolic Logic")
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@string(JSC="Journal of Symbolic Computation")
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@string(LFCS="Laboratory for Foundations of Computer Science, University of Edinburgh")
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@string(LNAI="Lecture Notes in Artificial Intelligence")
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@string(LNCS="Lecture Notes in Computer Science")
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@string(JAIR="Journal of Artificial Intelligence Research")
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@string(MIT="The MIT Press")
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@string(OUP="Oxford University Press")
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@string(SPE="Software - Practice and Experience")
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@string(TCS="Journal of Theoretical Computer Science")
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@string(TODS="ACM Transactions on Database Systems")
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@string{ RWTH = "Rheinisch Westf{\accent127 a}lische Technische
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini Hoch\-schule" }
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@string{ RWTHLDFM = "Lehrstuhl D f{\accent127 u}r Mathematik,
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini Rheinisch Westf{\accent127 a}lische Technische
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini Hoch\-schule" }
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@string{ RWTH-A = "Aachen, Germany" }
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@comment{Marker for AAAaaa}
595c8cd83861c439bcf426471c718b101106c967Paolo Torrini@techreport(Jones93,
595c8cd83861c439bcf426471c718b101106c967Paolo Torrini author = "Jones, M. P.",
595c8cd83861c439bcf426471c718b101106c967Paolo Torrini title = "Partial evaluation for dictionary-free overloading",
595c8cd83861c439bcf426471c718b101106c967Paolo Torrini institution = "Yale University",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@techreport(KiebPl,
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini author = "Kieburtz, R.",
595c8cd83861c439bcf426471c718b101106c967Paolo Torrini title = "P-logic: property verification for {H}askell programs",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini institution = "OGI",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@techreport(PTeam,
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini author = "The Programatica Team",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini title = "Programatica tools for certifiable, auditable development of high-assurance systems in {H}askell",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini institution = "OGI",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@article{holcf,
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini author = {Mueller, O. and Nipkow, T. and von Oheimb, D. and Slotosch, O.},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini title = {{HOLCF} = {HOL} + {LCF}},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini journal = {Journal of Functional Programming},
c4e48c487e8797c2a101d15b2fc542d2de4b2246Till Mossakowski year = {1999},
c4e48c487e8797c2a101d15b2fc542d2de4b2246Till Mossakowski number = "2",
c4e48c487e8797c2a101d15b2fc542d2de4b2246Till Mossakowski volume = "9",
c4e48c487e8797c2a101d15b2fc542d2de4b2246Till Mossakowski pages = "191--223",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@article{abram93,
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini author = {Abramsky, S.},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini title = {Computational interpretation of linear logic},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini journal = {Theoretical Computer Science},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini year = {1993},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini volume = {111}
595c8cd83861c439bcf426471c718b101106c967Paolo Torrini@inproceedings(moggi89,
595c8cd83861c439bcf426471c718b101106c967Paolo Torrini author = "Moggi, E.",
595c8cd83861c439bcf426471c718b101106c967Paolo Torrini title = "Computational lambda-calculus and monads",
595c8cd83861c439bcf426471c718b101106c967Paolo Torrini booktitle = "Fourth Annual Symposium on Logic in Computer Science",
595c8cd83861c439bcf426471c718b101106c967Paolo Torrini publisher = "IEEE Computer Society Press",
595c8cd83861c439bcf426471c718b101106c967Paolo Torrini pages = "14--23",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@inproceedings(barber,
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini author = "Barber, A. and Gardner, P. and Hasegawa, M. and Plotkin, G.",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini title = "From linear logic to action calculi",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini booktitle = "CSL 97",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini publisher = "Springer",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini pages = "78--97",
595c8cd83861c439bcf426471c718b101106c967Paolo Torrini@InProceedings(phh99,
595c8cd83861c439bcf426471c718b101106c967Paolo Torrini author = "John Peterson and Greg Hager and Paul Hudak",
595c8cd83861c439bcf426471c718b101106c967Paolo Torrini title = "A Language for Declarative Robotic Programming",
595c8cd83861c439bcf426471c718b101106c967Paolo Torrini booktitle = "International Conference on Robotics and Automation",
595c8cd83861c439bcf426471c718b101106c967Paolo Torrini@InProceedings{Hudak2003,
595c8cd83861c439bcf426471c718b101106c967Paolo Torrini author = "Paul Hudak and Antony Courtney and Henrik Nilsson
595c8cd83861c439bcf426471c718b101106c967Paolo Torrini and John Peterson",
595c8cd83861c439bcf426471c718b101106c967Paolo Torrini title = "Arrows, Robots, and Functional Reactive Programming",
595c8cd83861c439bcf426471c718b101106c967Paolo Torrini booktitle = "Summer School on Advanced Functional Programming 2002,
595c8cd83861c439bcf426471c718b101106c967Paolo Torrini Oxford University",
595c8cd83861c439bcf426471c718b101106c967Paolo Torrini volume = 2638,
595c8cd83861c439bcf426471c718b101106c967Paolo Torrini series = "Lecture Notes in Computer Science",
595c8cd83861c439bcf426471c718b101106c967Paolo Torrini pages = "159--187",
595c8cd83861c439bcf426471c718b101106c967Paolo Torrini publisher = "Springer-Verlag"
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@inproceedings(fleuriot,
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini author = "Fleuriot, J. D.",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini title = "On the mechanisation of real analysis in {I}sabelle-{HOL}",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini booktitle = "TPHOL 2000",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini series = "LNCS",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini number = "1869",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini publisher = "Springer",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini pages = "146--162",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@InProceedings{Stell97a,
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini author = {Stell, J. G. and Worboys, M. F.},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini title = {The Algebraic Structure of Sets of Regions},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini booktitle = {Proceedings of {COSIT'97} },
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini editor = {Stephen C. Hirtle and Andrew U. Frank},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini volume = 1329,
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini series = {LNCS},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini publisher = {Springer},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini pages = {163--174}
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@inproceedings(TillHet,
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini author = "Mossakowski, T.",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini title = "Heterogeneous theories and the heterogeneous tool set",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini booktitle = "Semantic Interoperability and Integration",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini publisher = "IBFI, Dagstuhl",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini editor = "Kalfoglou, Y. and Schorlemmer, M. and Sheth, A. and Staab, S. and Uschold, M.",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@inproceedings(alur97,
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini author = "Alur, R. and Henzinger, T. A.",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini title = "Modularity for timed and hybrid systems",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini booktitle = "CONCUR 97",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini publisher = "Springer Verlag",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini author = {Freitas, R. A. and Merkle, R. C.},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini title = {Kinematic Self-Replicating Machines},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini publisher = {Landes Bioscience},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini year = {2004}
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@book{manna95,
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini author = {Manna, Z. and Pnueli, A.},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini title = {Temporal verification of reactive systems},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini publisher = {Springer Verlag},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini year = {1995}
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@book{gould96,
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini author = {Gould, H. and Tobochnik, J.},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini title = {Introduction to computer simulation methods},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini publisher = {Addison-Wesley},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini year = {1996}
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini author = {Lakhtakia, A.},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini title = {Handbook of
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrininanotechnology: nanometer structure theory, modeling, and simulation},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini publisher = {ASME},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini year = {2004}
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@manuscript(feynman,
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini author = "Feynman, R. P",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini title = "There's pleny of room at the bottom",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini institution = "California Institute of Technology",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@article{drexler99,
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini author = {Drexler, K. E.},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini title = {Building molecular machine systems},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini journal = {Trends in Biotechnology},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini volume = {17},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini year = {1999}
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@article{chao91,
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini author = {Chaochen, Z. and Hoare, C. A. R. and Ravn, A. P.},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini title = {A calculus of durations},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini journal = {Information processing letter},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini volume = {40},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini pages= {269--276},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini year = {1991}
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@article{ecell,
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini author = {Tomita, M. and Kenta, H. and Takahashi, K. and Shimuzu, T. S. and Matzuzaki, Y. and Saito, K. and Tanida, S. and Yugi, K. and Venter, J. C. and Hutchison, C. A.},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini title = {E-{CELL}: software environment for whole-cell simulation},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini journal = {Bioinformatics},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini volume = {7},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini pages = {72--84},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini year = {1999}
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@phdthesis{slot97,
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini author = {Slotosch, O.},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini title = {Refinment in
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo TorriniHOLCF: implementation of reactive systems, {P}h{D} thesis},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini year = {1997} }
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@article{drexler94,
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini author = {Drexler, K. E.},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini title = {Molecular machines: physical principles and implementation strategies},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini journal = {Annual Review of Biophysics and Biomolecular Structures},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini volume = {23},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini pages = {337--405},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini year = {1994}
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@article{manna-wald,
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini author = {Manna, Z. and Waldinger, R.},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini title = {A deductive approach to program synthesis},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini journal = {{ACM} {TOPLAS}},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini volume = {2},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini pages = {90--121},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini year = {1980}
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@article{armando-smaill,
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini author = {Armando, A. and Smaill, A. and
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini title = {Automatic synthesis of recursive programs: the
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torriniproof-planning paradigm},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini journal = {Automated Software Engineering},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini pages = {329--356},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini year = {1999} }
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@inproceedings(PavSmith,
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini author = "Pavlovic, D. and Smith, D. R.",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini title = "Program development by refinement",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini booktitle = "10th Anniversary Colloquium of {UNU/IIST}",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini pages = "267--286",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@inproceedings(shankar02,
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini author = "Shankar, N.",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini title = "Verification by abstraction",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini booktitle = "10th Anniversary Colloquium of {UNU/IIST}",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini pages = "29--39",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@inproceedings{manna03,
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini author = "Manna, Z. and Zarba, C. G.",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini title = "Combining decision procedures",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini booktitle = "Formal
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini Methods at the Cross Roads",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini publisher= "Springer",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini year = "2003" }
595c8cd83861c439bcf426471c718b101106c967Paolo Torrini@InProceedings(phh99a,
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini author = "Peterson, J. and Hager, G. D. and Hudak, P.",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini title = "A Language for Declarative Robotic Programming",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini booktitle = "International Conference on Robotics and Automation",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@InProceedings{wan01rtfrp,
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini author = "Wan, Z. and Taha, W. and Hudak, P.",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini title = "Real-Time {FRP}",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini booktitle = "International Conference on Functional Programming
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini ({ICFP'01})",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini year = "2001"
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@techreport(PSB,
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini author = "Pixley, C. and Strader, N. R. and Bruce, W. C. and Park,
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo TorriniJ. and Kaufmann, M. and Shultz, K. and Burns, M. and Kumar, J. and
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo TorriniYuan, J. and Nguyen, J.",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini title = "Commercial verification: methodology and tools",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini institution = "Motorola, Inc.",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini type = "Research Paper",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@article{BvHS91,
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini author = {Bundy, A and van Harmelen, F. and Hesketh, J. and
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini title = {Experiments with proof plans for
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini journal = {Journal of Automated Reasoning},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini year = {1991}
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@article{Atk68,
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini author = {Atkins, D. E.},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini title = {Higher-radix division using estimates of the divisor and
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini partial remainders},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini journal = {IEEE Transactions on Computers},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini volume = {C-17, 10},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini month = {October},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini year = {1968}
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@inproceedings(Pra95,
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini author = "Pratt, V.",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini title = "Anatomy of the Pentium Bug",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini booktitle = "TAPSOFT'95: Theory and Practice of Software Development",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini publisher = "Springer-Verlag",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini editor = "Mosses, P. D. and Nielsen, N. and Schwartxbach, M. I.",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini pages = "97-107",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini month = {May},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@inproceedings(Tay81,
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini author = "Taylor, G. S.",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini title = "Compatible hardware for division and square root",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini booktitle = "Proceedings of the 5th Symposium on Computer Arithmetic",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini publisher = "IEEE Computer Society Press",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini pages = "127-134",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini author = {Ruess, H. and Shankar, N. and Srivas, M. K.},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini title = {Modular Verification of {SRT} Division},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini journal = {Formal Methods in System Design},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini publisher = "Kluwer Academinc publishers",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini volume = {14},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini number = {1},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini year = {1999}
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini author = {Clarke, E. M. and German, S. M. and Xudong, Z.},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini title = {Verifying the SRT division algorithm using theorem proving
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini journal = {Formal Methods in System Design},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini publisher = "Kluwer Academinc publishers",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini volume = {14},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini number = {1},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini year = {1999}
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@article{OZGS,
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini author = {O'Leary, J. and Zhao, X. and Gerth, R. and Seger,
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini title = {Formally verifying IEEE compliance of floating-point hardware},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini journal = {Intel Technology Journal},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini volume = {Q1},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini year = {1999}
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini author = {Basin, D. and Klarlund, N.},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini title = {Automata based symbolic reasoning in hardware verification},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini journal = {Formal Methods in System Design},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini publisher = "Kluwer Academinc publishers",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini volume = {14},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini number = {1},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini year = {1999}
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@article{irelandE04,
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini author = {Ireland, A. and Ellis, B. J. and Cook,A. and Chapman, R. and Barnes, J.},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini title = {An integrated approach to porgram reasoning},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini journal = {},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini publisher = "",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@article{irelandS04,
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini author = {Ireland, A. and Stark, J.},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini title = {Combining proof plans and partial order planning for imperative
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torriniprogram synthesis},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini journal = {Journal of automated software
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torriniengineering (accepted)},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini publisher = "Springer Verlag",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini year = {2004}
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@inproceedings{ellis04,
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini author = {Ellis, B. J. and Ireland, A.},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini title = {An integration of program analysis and automated theorem proving},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini booktitle = {IFM 04},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini editors = {E. A. Boyten, J. Derrick, G. Smith},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini publisher = "Springer Verlag",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini year = {2004}
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@inproceedings{cresswell99,
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini author = {Cresswell, S. and Smaill, A. and Richardson, J.},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini title = {Deductive synthesis of recursive plans in linear logic},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini booktitle = {Recent advances in {AI} planning, LNCS 1809},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini pages = {252--264},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini publisher = "Springer",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini year = {1999}
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@inproceedings{denney05,
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini author = {Denney, E and Fischer, B:},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini title = {Certifiable program generation},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini booktitle = {GPCE 05},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini year = {2005}
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@article{Rus99,
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini author = {Russinov, D. M.},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini title = {A mechanically checked proof of correctness of the AMD K5
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini floating point square root microcode},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini journal = {Formal Methods in System Design},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini publisher = "Kluwer Academinc publishers",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini volume = {14},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini number = {1},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini year = {1999}
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@article{Toc58,
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini author = {Tocher, T. D.},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini title = {Techniques of multiplication and division for automatic
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrinibinary computers},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini journal = {Quart. J. Mech. App. Math.},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini volume = {2, part 3},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini year = {1958}
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@article{leigh04,
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini author = {Hernandez, J. V. and Kay, E. R. and Leigh, D. A.},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini title = {A reversible synthetic rotary molecular motor},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini journal = {Science},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini volume = {306:1532--1537},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini year = {2004}
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@techreport{Rob65,
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini author = {Robertson, T. D.},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini title = {Methods of selection of quotient digits during digital division},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini institution = {University of Illinois},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini year = {1965}
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini author = {Melham, T. F.},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini title = {Higher order logic and hardware verification},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini publisher = {Cambridge University Press},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini year = {1993}
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@book{bundy05,
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini author = {Bundy, A. and Basin, D. and Hutter, D. and Ireland, A.},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini title = {Rippling: meta-level guidance for mathematical reasoning},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini publisher = {Cambridge University Press},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini year = {2005}
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@book{Paulson94isa,
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini title = {Isabelle: a generic theorem prover},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini author = {Paulson, L. C.},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini collection = {LNCS},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini volume = {828},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini publisher = {Springer},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini year = {1994}
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@book{mansoori,
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini author = {Mansori, G. A.},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini title = {Principles of nanotechnology},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini publisher = {World Scientific Pub.},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini year = {2005}
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini author = {Paulson, L. C.},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini title = {ML for the working programmer},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini publisher = {Cambridge University Press},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini year = {1991}
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini author = {Wilson, F. A.},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini title = {Understanding digital technology},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini publisher = {Bernard Babani},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini year = {1995}
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@Manual(Fou88,
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini author = {Fourman, M. and others},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini title = {Dialog reference manual},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini publisher = {Abstract Hardware Ltd},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini year = {1988},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini author = {HOL sys.des.},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini title = {The HOL system description - version 3 for HOL90.9},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini publisher = {University of Cambridge - published electronically},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini year = {1999}
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini author = {Birtwistle, B. G. and Graham, B. and Chin, S.-K.},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini title = {newtheory HOL; An Introduction to Hardware
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini Verification in Higher Order Logic},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini publisher = {published electronically},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini year = {1994}
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@Manual{holclam,
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini title = {The HOL/CLaM System - User's Guide, release 1.00},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini author = {Boulton, R.},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini year = {1998},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini month = {August},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@book{holbook,
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini editor = "Gordon, M. J. C. and Melham, T. F.",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini title = "Introduction to {HOL}:
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini A theorem proving environment for higher order logic",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini publisher = "Cambridge University Press",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini year = "1993"}
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@InProceedings(boulton-tphols-98,
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini key = "Boulton @i<et. al.>",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini author = "Boulton, R. and Slind, K. and Bundy, A. and Gordon,
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini title = "An Interface between {CLAM} and {HOL}",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini booktitle = "Proceedings of the 11th International Conference on
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini Theorem Proving in Higher Order Logics (TPHOLs'98)",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini series = LNCS,
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini volume = 1479,
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini editor = "Grundy, J. and Newey, M.",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini pages = "87--104",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini publisher = "Springer",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini address = "Canberra, Australia",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@article(pub567,
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini key = "Bundy @i<et. al.>",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini author = "Bundy, A. and Stevens, A. and van Harmelen, F. and Ireland, A. and Smaill, A.",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini title = "Rippling: A Heuristic for Guiding Inductive Proofs",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini journal = AI,
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini pages = "185-253",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini note = "Also available from Edinburgh as DAI Research Paper No. 567.")
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@inproceedings(pub507,
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini key = "Bundy @i<et al>",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini author = "Bundy, A. and van Harmelen, F. and Horn, C. and Smaill, A.",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini title = "The {Oyster-Clam} system",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini booktitle = "10th International Conference on Automated Deduction",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini publisher = "Springer-Verlag",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini editor = "Stickel, M. E.",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini pages = "647-648",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini note = "Lecture Notes in Artificial Intelligence No. 449. Also available from Edinburgh as DAI Research Paper 507.")
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@article{BasinWalsh96,
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini author = "Basin, David and Toby Walsh",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini title = "A calculus for and termination of rippling",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini journal = JAR,
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini number = "1--2",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini pages = "147--180",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@inproceedings(pub828,
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini key = "FMCAD96",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini author = "Francisco Cantu and Bundy, Alan and Smaill, Alan and
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini Basin, David",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini title = "Experiments in Automating Hardware Verification using
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini Inductive Proof Planning",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini booktitle = "Proceedings of the Formal Methods for Computer-Aided
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini Design Conference",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini publisher = "Springer-Verlag",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini SERIES = {Lecture Notes in Computer Science},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini NUMBER = "1166",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini editor = "Srivas, M. and Camilleri,A.",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini pages = "94--108",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini year = "1996")
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@inproceedings{Leeds92a,
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini author = {Randell, D. A. and Cui, Z. and Cohn, A. G.},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini booktitle = {Proc. 3rd Int. Conf. on
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini Knowledge Representation and Reasoning},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini pages = {165-176},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini publisher = {Morgan Kaufmann},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini title = {A Spatial Logic Based on Regions and Connection},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini year = {1992}
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@Article{Bennett98constr,
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini author = {Bennett,B.},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini title = {Determining Consistency of Topological Relations},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini journal = {Constraints},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini year = {1998},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini month = {June},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini volume = {3},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini publisher = {Kluwer},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini number = {{2\&3}},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini pages = {213--225}
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini author = "Bortin, M. and Johnsen, E. B. and Lueth, C.",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini title = "Structured Formal Development in {I}sabelle",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini journal = "Nordic Journal of Computing",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini type = "Research Paper",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini voume = "13",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini page = "1--20",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini year = "2006"
595c8cd83861c439bcf426471c718b101106c967Paolo Torrini@techreport(AWE2,
595c8cd83861c439bcf426471c718b101106c967Paolo Torrini author = "Bortin, M. and Johnsen, E. B. and Lueth, C.",
595c8cd83861c439bcf426471c718b101106c967Paolo Torrini title = "The {A}{W}{E} extension package",
595c8cd83861c439bcf426471c718b101106c967Paolo Torrini institution = "Universitaet Bremen",
595c8cd83861c439bcf426471c718b101106c967Paolo Torrini year = "2007"
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini author = {Hudak, P.},
c4e48c487e8797c2a101d15b2fc542d2de4b2246Till Mossakowski title = {The {Haskell} School of Expression},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini publisher = {Cambridge University Press},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini year = {2000}
595c8cd83861c439bcf426471c718b101106c967Paolo Torrini@Misc{Walter05,
595c8cd83861c439bcf426471c718b101106c967Paolo Torrini author = {Dennis Walter},
595c8cd83861c439bcf426471c718b101106c967Paolo Torrini title = {Monadic Dynamic Logic: Application and Implementation},
595c8cd83861c439bcf426471c718b101106c967Paolo Torrini year = {2005},
595c8cd83861c439bcf426471c718b101106c967Paolo Torrini keywords = {monad dynamic logic HasCASL},
595c8cd83861c439bcf426471c718b101106c967Paolo Torrini pdfurl = {http://www.cs.chalmers.se/~denniswa/dipl-online.pdf},
c4e48c487e8797c2a101d15b2fc542d2de4b2246Till Mossakowski note = {Diploma thesis, University of Bremen},
595c8cd83861c439bcf426471c718b101106c967Paolo Torrini@InProceedings{Hets,
595c8cd83861c439bcf426471c718b101106c967Paolo Torrini author = {Till Mossakowski and Christian Maeder and Klaus L{\"u}ttich},
595c8cd83861c439bcf426471c718b101106c967Paolo Torrini title = {The {H}eterogeneous {T}ool {S}et},
595c8cd83861c439bcf426471c718b101106c967Paolo Torrini year = {2007},
595c8cd83861c439bcf426471c718b101106c967Paolo Torrini editor = {Orna Grumberg and Michael Huth},
595c8cd83861c439bcf426471c718b101106c967Paolo Torrini booktitle = {TACAS 2007},
595c8cd83861c439bcf426471c718b101106c967Paolo Torrini publisher = {Springer-Verlag Heidelberg},
595c8cd83861c439bcf426471c718b101106c967Paolo Torrini series = {Lecture Notes in Computer Science},
595c8cd83861c439bcf426471c718b101106c967Paolo Torrini volume = {4424},
595c8cd83861c439bcf426471c718b101106c967Paolo Torrini pages = {519-522},
595c8cd83861c439bcf426471c718b101106c967Paolo Torrini keywords = {proof heterogeneity logic institution prover theorem
595c8cd83861c439bcf426471c718b101106c967Paolo Torriniintegration development graph},
595c8cd83861c439bcf426471c718b101106c967Paolo Torrini pdfurl = {http://www.tzi.de/~till/papers/hets-tacas-toolpaper.pdf},
595c8cd83861c439bcf426471c718b101106c967Paolo Torrini psurl = {http://www.tzi.de/~till/papers/hets-tacas-toolpaper.ps},
595c8cd83861c439bcf426471c718b101106c967Paolo Torrini@Manual{HetsOld,
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini author = {Mossakowski, T. and Maeder, C. and Luettich,
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo TorriniK. and Woelfl, S.},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini title = {The {H}eterogeneous {T}ool {S}et},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini publisher = {Universitaet Bremen},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini year = {2003}
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@techreport(Huff,
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini author = "Huffman, B. and Matthews, J. and White, P.",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini title = "Axiomatic Constructor Classes in {I}sabelle-{HOLCF}",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini institution = "OGI",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini type = "Research Paper",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@book{HaskellRep,
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini title = {Haskell 98 Language and Libraries},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini editor = {Peyton Jones, S.},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini publisher = {Cambridge University Press},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini year = {2003}
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@techreport(HetsUG,
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini author = "Mossakowski, T.",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini title = "Hets user guide",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini institution = "Universitaet Bremen",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@techreport(Wenzel,
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini author = "Wenzel, M.",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini title = "Using Axiomatic Type Classes in {I}sabelle",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini institution = "TU Muenchen",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini type = "Tutorial",
5b465790447d54472837f1084ed3e751c745d0dcTill Mossakowski@misc{MossaTh,
5b465790447d54472837f1084ed3e751c745d0dcTill Mossakowski author = {Mossakowski, T.},
5b465790447d54472837f1084ed3e751c745d0dcTill Mossakowski title = {Heterogeneous Specification and the Heterogeneous
5b465790447d54472837f1084ed3e751c745d0dcTill Mossakowski Tool Set, {H}abilitation {T}hesis},
5b465790447d54472837f1084ed3e751c745d0dcTill Mossakowski year = {2005},
5b465790447d54472837f1084ed3e751c745d0dcTill Mossakowski note = {University of Bremen},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@book{ThompsonB,
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini author = {Thompson, S.},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini title = {The Craft of Functional Programming},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini publisher = {Addison Wesley},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini year = {1999}
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@book{winskel,
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torriniauthor = "Winskel, G.",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrinititle = "The Formal Semantics of Programming Languages",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrinipublisher = "MIT Press", year = "1993"
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@inproceedings{Thompson92,
c4e48c487e8797c2a101d15b2fc542d2de4b2246Till Mossakowski title = "Formulating Haskell",
c4e48c487e8797c2a101d15b2fc542d2de4b2246Till Mossakowski author = "Simon Thompson",
c4e48c487e8797c2a101d15b2fc542d2de4b2246Till Mossakowski publisher = "Springer",
c4e48c487e8797c2a101d15b2fc542d2de4b2246Till Mossakowski year = "1992",
c4e48c487e8797c2a101d15b2fc542d2de4b2246Till Mossakowski bibdate = "2003-02-19",
c4e48c487e8797c2a101d15b2fc542d2de4b2246Till Mossakowski bibsource = "DBLP,
c4e48c487e8797c2a101d15b2fc542d2de4b2246Till Mossakowski http://dblp.uni-trier.de/db/conf/fp/fp1992.html#Thompson92",
c4e48c487e8797c2a101d15b2fc542d2de4b2246Till Mossakowski booktitle = "Functional Programming",
c4e48c487e8797c2a101d15b2fc542d2de4b2246Till Mossakowski editor = "John Launchbury and Patrick M. Sansom",
c4e48c487e8797c2a101d15b2fc542d2de4b2246Till Mossakowski ISBN = "3-540-19820-2",
c4e48c487e8797c2a101d15b2fc542d2de4b2246Till Mossakowski pages = "258--268",
c4e48c487e8797c2a101d15b2fc542d2de4b2246Till Mossakowski series = "Workshops in Computing",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@Article{Thompson95,
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini author = {Thompson, S.},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini title = {A Logic for {M}iranda, revisited},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini journal = {Formal Aspects of Computing},
c4e48c487e8797c2a101d15b2fc542d2de4b2246Till Mossakowski year = {1995},
c4e48c487e8797c2a101d15b2fc542d2de4b2246Till Mossakowski number = "4",
c4e48c487e8797c2a101d15b2fc542d2de4b2246Till Mossakowski pages = "412--429",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini publisher = {BCS}
595c8cd83861c439bcf426471c718b101106c967Paolo Torrini@techreport{Tlmm,
595c8cd83861c439bcf426471c718b101106c967Paolo Torrini author = {Torrini, P. and Lueth, C. and Maeder, C. and Mossakowski, T.},
595c8cd83861c439bcf426471c718b101106c967Paolo Torrini title = {Translating {H}askell to {I}sabelle},
595c8cd83861c439bcf426471c718b101106c967Paolo Torrini year = {2007},
595c8cd83861c439bcf426471c718b101106c967Paolo Torrini institution = {Universitaet Bremen}
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@Article{Thompson89,
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini author = {Thompson, S.},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini title = {A Logic for {M}iranda},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini journal = {Formal Aspects of Computing},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini year = {1989},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini volume = {1},
c4e48c487e8797c2a101d15b2fc542d2de4b2246Till Mossakowski number = "4",
c4e48c487e8797c2a101d15b2fc542d2de4b2246Till Mossakowski pages = "339--365",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini publisher = {BCS}
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@inproceedings{Thompson95b,
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini author = {Hill, S. and Thompson, S.},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini booktitle = {Proceedings of the first {I}sabelle users workshop},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini editors = {L. C. Paulson},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini publisher = {University of Cambridge Computer Laboratory},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini series = {Technical Report},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini number = {397},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini title = {Miranda in {I}sabelle},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini pages = {122--135},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini year = {1995}
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@inproceedings{Pollack,
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini author = {Longley, J. and Pollack, R.},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini booktitle = {TPHOL 04},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini editors = {K. Slind, A. Bunker, and G. Gopalakrishnan},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini publisher = {Springer},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini series = {LNCS},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini number = {3223},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini pages = {201--216},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini title = {Reasoning about {C}{B}{V} programs in {I}sabelle-{H}{O}{L}},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini year = {2004}
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@inproceedings{Abel,
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini author = {Abel, A. and Benke, M. and Bove, A. and Hughes, J. and Norell, U.},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini booktitle = {ACM-SIGPLAN 05},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini editors = {},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini publisher = {},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini title = {Verifying {H}askell programs using constructive type theory},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini year = {2005} }
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@inproceedings(Lueth,
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini author = "Lueth, C.",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini title = "Modular Modelling with Monads",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini booktitle = "Methods of Category Theory in Software Engineering",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini publisher = "Technische Universitaet Dresden",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@inproceedings{Prog04,
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torriniauthor = {Hallgren, T. and Hook, J. and Jones, M. P. and Kieburtz, D.},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrinibooktitle = {HCSS04},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrinititle = {An Overview of the {P}rogramatica ToolSet},
c4e48c487e8797c2a101d15b2fc542d2de4b2246Till Mossakowski title = "A static semantics for {Haskell}",
01bcb1d665a9e3d5aae8cc4c79dbe8991eed6d17Till Mossakowski author = "Karl-Filip Fax{\'e}n",
01bcb1d665a9e3d5aae8cc4c79dbe8991eed6d17Till Mossakowski journal = "J. Funct. Program",
01bcb1d665a9e3d5aae8cc4c79dbe8991eed6d17Till Mossakowski year = "2002",
01bcb1d665a9e3d5aae8cc4c79dbe8991eed6d17Till Mossakowski number = "4\&5",
01bcb1d665a9e3d5aae8cc4c79dbe8991eed6d17Till Mossakowski volume = "12",
01bcb1d665a9e3d5aae8cc4c79dbe8991eed6d17Till Mossakowski bibdate = "2004-03-19",
01bcb1d665a9e3d5aae8cc4c79dbe8991eed6d17Till Mossakowski bibsource = "DBLP,
01bcb1d665a9e3d5aae8cc4c79dbe8991eed6d17Till Mossakowski http://dblp.uni-trier.de/db/journals/jfp/jfp12.html#Faxen02",
01bcb1d665a9e3d5aae8cc4c79dbe8991eed6d17Till Mossakowski pages = "295--357",
01bcb1d665a9e3d5aae8cc4c79dbe8991eed6d17Till Mossakowski@Misc{oai:CiteSeerPSU:71374,
c4e48c487e8797c2a101d15b2fc542d2de4b2246Till Mossakowski title = "A Dynamic Semantics for {Haskell}",
01bcb1d665a9e3d5aae8cc4c79dbe8991eed6d17Till Mossakowski author = "Kevin Hammond and Cordelia Hall",
01bcb1d665a9e3d5aae8cc4c79dbe8991eed6d17Till Mossakowski year = "1992",
01bcb1d665a9e3d5aae8cc4c79dbe8991eed6d17Till Mossakowski month = oct # "~20",
01bcb1d665a9e3d5aae8cc4c79dbe8991eed6d17Till Mossakowski abstract = "This paper defines a dynamic semantics for the
01bcb1d665a9e3d5aae8cc4c79dbe8991eed6d17Till Mossakowski functional programming language Haskell. The semantics
01bcb1d665a9e3d5aae8cc4c79dbe8991eed6d17Till Mossakowski defines the meaning of expressions, modules and
01bcb1d665a9e3d5aae8cc4c79dbe8991eed6d17Till Mossakowski programs, including all nonoptional I/O requests. All
01bcb1d665a9e3d5aae8cc4c79dbe8991eed6d17Till Mossakowski constructs in the Haskell language are considered. We
01bcb1d665a9e3d5aae8cc4c79dbe8991eed6d17Till Mossakowski use the same natural semantics style as the definition
01bcb1d665a9e3d5aae8cc4c79dbe8991eed6d17Till Mossakowski of Standard ML. For brevity, we assume that the
01bcb1d665a9e3d5aae8cc4c79dbe8991eed6d17Till Mossakowski translations specified by the Wadler/Peyton Jones
01bcb1d665a9e3d5aae8cc4c79dbe8991eed6d17Till Mossakowski static semantics have been performed, and base our
01bcb1d665a9e3d5aae8cc4c79dbe8991eed6d17Till Mossakowski source language on the target language of the static
01bcb1d665a9e3d5aae8cc4c79dbe8991eed6d17Till Mossakowski semantics. 1 Introduction This paper defines the
01bcb1d665a9e3d5aae8cc4c79dbe8991eed6d17Till Mossakowski dynamic semantics of the full Haskell language [HW90,
01bcb1d665a9e3d5aae8cc4c79dbe8991eed6d17Till Mossakowski HJW91, HJW92]. The dynamic semantics is complementary
01bcb1d665a9e3d5aae8cc4c79dbe8991eed6d17Till Mossakowski to the existing static semantics for Haskell [JW92] in
01bcb1d665a9e3d5aae8cc4c79dbe8991eed6d17Till Mossakowski two respects: firstly it defines the meaning of the
01bcb1d665a9e3d5aae8cc4c79dbe8991eed6d17Till Mossakowski second-order polymorphic lambda-calculus which is
01bcb1d665a9e3d5aae8cc4c79dbe8991eed6d17Till Mossakowski synthesised by that semantics; secondly it is defined
01bcb1d665a9e3d5aae8cc4c79dbe8991eed6d17Till Mossakowski using a natural semantic form, where meaning is
01bcb1d665a9e3d5aae8cc4c79dbe8991eed6d17Till Mossakowski expressed through judgement rules. This corresponds to
01bcb1d665a9e3d5aae8cc4c79dbe8991eed6d17Till Mossakowski the type infe...",
01bcb1d665a9e3d5aae8cc4c79dbe8991eed6d17Till Mossakowski citeseer-references = "oai:CiteSeerPSU:331052",
01bcb1d665a9e3d5aae8cc4c79dbe8991eed6d17Till Mossakowski bibsource = "OAI-PMH server at cs1.ist.psu.edu",
01bcb1d665a9e3d5aae8cc4c79dbe8991eed6d17Till Mossakowski language = "en",
01bcb1d665a9e3d5aae8cc4c79dbe8991eed6d17Till Mossakowski oai = "oai:CiteSeerPSU:71374",
01bcb1d665a9e3d5aae8cc4c79dbe8991eed6d17Till Mossakowski rights = "unrestricted",
01bcb1d665a9e3d5aae8cc4c79dbe8991eed6d17Till Mossakowski URL = "http://citeseer.ist.psu.edu/71374.html;
01bcb1d665a9e3d5aae8cc4c79dbe8991eed6d17Till Mossakowski http://www.softlab.ntua.gr/~nickie/haskell/papers/dynamic-semantics.ps.gz",
c4e48c487e8797c2a101d15b2fc542d2de4b2246Till Mossakowski@Misc{HaskellMail05,
c4e48c487e8797c2a101d15b2fc542d2de4b2246Till Mossakowski author = {Till Mossakowski},
c4e48c487e8797c2a101d15b2fc542d2de4b2246Till Mossakowski year = {2005},
c4e48c487e8797c2a101d15b2fc542d2de4b2246Till Mossakowski note = {Mail to {Haskell} mailing list, see \url{http://www.haskell.org/pipermail/haskell/2005-January/015238.html}},
5b465790447d54472837f1084ed3e751c745d0dcTill Mossakowski@InCollection{MossakowskiEtAl07b,
5b465790447d54472837f1084ed3e751c745d0dcTill Mossakowski author = {Till Mossakowski and Christian Maeder and Klaus L{\"u}ttich},
5b465790447d54472837f1084ed3e751c745d0dcTill Mossakowski title = {The {H}eterogeneous {T}ool {S}et},
5b465790447d54472837f1084ed3e751c745d0dcTill Mossakowski year = {2007},
5b465790447d54472837f1084ed3e751c745d0dcTill Mossakowski editor = {Bernhard Beckert},
5b465790447d54472837f1084ed3e751c745d0dcTill Mossakowski booktitle = {VERIFY 2007},
5b465790447d54472837f1084ed3e751c745d0dcTill Mossakowski series = {CEUR Workshop Proceedings},
5b465790447d54472837f1084ed3e751c745d0dcTill Mossakowski volume = {259},
5b465790447d54472837f1084ed3e751c745d0dcTill Mossakowski status = {Reviewed}