case.bib revision e4ce6aeba0141bc21a082757b19f6954717d03c4
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}
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@techreport(KiebPl,
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini author = "Kieburtz, R.",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini title = "P-logic: property verification for Haskell 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},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini year = {1999}
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}
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",
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" }
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@InProceedings(phh99,
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"
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini author = {Hudak, P.},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini title = {The Haskell School of Expression},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini publisher = {Cambridge University Press},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini year = {2000}
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 type = "Tutorial",
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",
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini@habilitationthesis{MossaTh,
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torriniauthor = {Mossakowski, T.},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrinititle = {Heterogeneous Specification and the Heterogeneous Tool Set, {H}abilitation {T}hesis},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torriniyear = {2005} }
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,
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini author = {Thompson, S.},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini booktitle = {Functional Programming},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini editors = {J. Launchbury and P. M. Sansom},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini publisher = {Springer},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini title = {Formulating {H}askell},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini year = {1992}
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},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini year = {1994},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini volume = {3},
e4ce6aeba0141bc21a082757b19f6954717d03c4Paolo Torrini publisher = {BCS}
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},
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},