Contents of Don Sannella's public ftp archive --------------------------------------------- On WWW: http://homepages.inf.ed.ac.uk/dts/pub/ Copyright notice: These documents are provided as a means to ensure timely dissemination of scholarly and technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder. For papers published in Springer Lecture Notes in Computer Science: these publications are copyright Springer-Verlag, see http://www.springer.de/comp/lncs/index.html for the full volume. Most papers are supplied in several versions. Portability to remote sites and different previewing/output devices is as follows: file.pdf is extremely portable file.ps is rather portable file.dvi is not very portable These papers are all formatted for A4 paper; where I know about problems resulting from margins (esp. top margins) that are too narrow to fit on US-size paper, I have converted the Postscript and PDF versions to fit. Please tell me about any problems of this kind that you may have so that I can do something about them! If you want to try doing the conversion yourself, the incantation I use is psnup -Pa4 -pletter filea4.ps > fileUS.ps This requires psnup, which you can download from http://www.dcs.ed.ac.uk/home/ajcd/psutils/index.html Files with names of the form *.gz have been compressed using the Unix "gzip" program. Use the Unix "gunzip" program to obtain the uncompressed version. Files with names of the form *.ps.gz are in gzipped postscript format. SannellaDT.bib Latex bib file of my publications. I guarantee that the information in here is accurate and up to date. SannellaDT.html Browsable version of SannellaDT.bib, created using bib2html abstract-eml.ps D. Sannella and A. Tarlecki. Extended ML: an institution-independent framework for formal program development. Proc. Workshop on Category Theory and Computer Programming, Guildford, 1985. Springer LNCS 240, 364-389 (1986). amast2002.dvi amast2002.ps amast2002.pdf D. Aspinall and D. Sannella. From specifications to code in CASL. Proc. 9th Intl. Conf. on Algebraic Methodology And Software Technology, St.-Gilles-les-Bains, Reunion. Springer LNCS 2422, 1-14 (2002). apal.ps R. Harper, D. Sannella and A. Tarlecki. Structured theory presentations and logic representations. Annals of Pure and Applied Logic 67:113-160 (1994). archs-amast.dvi archs-amast.ps archs-amast.pdf M. Bidoit, D. Sannella and A. Tarlecki. Architectural specifications in CASL. Proc. 7th Intl. Conference on Algebraic Methodology and Software Technology (AMAST'98), Manaus. Springer LNCS 1548, 341-357 (1999). See archs.{dvi,ps,pdf} for an extended version of the same thing for journal publication. archs-report.dvi archs-report.ps archs-report.pdf Long version of the above, published as CoFI methodology note M-4, April 1999 and as Report ECS-LFCS-99-407, Laboratory for Foundations of Computer Science, Univ.\ of Edinburgh (1999). Superceded by archs.{dvi,ps,pdf}. archs.dvi archs.ps archs.pdf M. Bidoit, D. Sannella and A. Tarlecki. Architectural specifications in CASL. Extended version of archs-amast.{dvi,ps,pdf}. Formal Aspects of Computing 13:252-273 (2002). Supercedes archs-report.{dvi,ps,pdf} asl.pdf D. Sannella and M. Wirsing. A kernel language for algebraic specification and implementation. Proc. 1983 Intl. Conf. on Foundations of Computation Theory, Borgholm. Springer LNCS 158, 413-427 (1983). avocs2015.pdf R. Atkey and D. Sannella. ThreadSafe: Static analysis for Java concurrency. Proc. 15th Intl. Workshop on Automated Verification of Critical Systems (AVoCS 2015), Edinburgh. ECEASST 72 (2015). bcs.ps D. Sannella. Formal program development in Extended ML for the working programmer. Proc. 3rd BCS/FACS Workshop on Refinement, Hursley Park, 1990. Springer Workshops in Computing, 99-130 (1991). beh-equiv.dvi beh-equiv.ps beh-equiv.pdf M. Hofmann and D. Sannella. On behavioural abstraction and behavioural satisfaction in higher-order logic. Report ECS-LFCS-95-318, Laboratory for Foundations of Computer Science, University of Edinburgh (1995). This is the full version of a paper in Proc. Joint Conf. on Theory and Practice of Software Development, Aarhus. Springer LNCS 915, 247-261 (1995). beh-equiv-tcs.dvi beh-equiv-tcs.ps beh-equiv-tcs.pdf This is an extended version of the above, in Theoretical Computer Science 167:3-45 (1996). bkb-festschrift.pdf G. Marczy\'nski, D. Sannella and A. Tarlecki. Algebraic constructions: a simple framework for complex dependencies and parameterisation. International Journal of Software and Informatics 9(2):117-139 (2015). burstall.dvi burstall.ps burstall.pdf D. Rydeheard and D. Sannella. Preface to a Collection of papers and memoirs celebrating the contribution of Rod Burstall to advances in Computer Science. Formal Aspects of Computing 13:187-193 (2002). caap83.pdf D. Sannella and R. Burstall. Structured theories in LCF. Proc. 8th Colloq. on Trees in Algebra and Programming, L'Aquila. Springer LNCS 159, 377-391 (1983). cai.dvi cai.ps cai.pdf T. Mossakowski, A. Haxthausen, \dts{} and A. Tarlecki. CASL the Common Algebraic Specification Language: semantics and proof theory. Computing and Informatics 22:285-321 (2003). casl.dvi casl.ps casl.pdf E. Astesiano, M. Bidoit, H. Kirchner, B. Krieg-Br\"uckner, P. Mosses, D. Sannella and A. Tarlecki. CASL: The common algebraic specification language. Theoretical Computer Science 286:153-196 (2002). casl-foundations.ps D. Sannella and A. Tarlecki. Foundations. This is chapter 10 of the book "CASL User Manual" by M. Bidoit and P. Mosses. Springer (2003). casl-obs.dvi casl-obs.ps casl-obs.pdf M. Bidoit, D. Sannella and A. Tarlecki. Observational interpretation of CASL specifications. Mathematical Structures in Computer Science 18:325-371 (2008). casl-refinement.dvi casl-refinement.ps casl-refinement.pdf T. Mossakowski, D. Sannella and A. Tarlecki. A simple refinement language for CASL. Recent Trends in Algebraic Development Techniques: Selected Papers from WADT 2004, Barcelona. Springer LNCS 3423, 162-185 (2004). casl-refinement-scp.pdf M. Codescu, T. Mossakowski, D. Sannella and A. Tarlecki. Specification refinements: calculi, tools, and applications. Science of Computer Programming, 144:1-49 (2017). cassis2004.dvi cassis2004.ps cassis2004.pdf D. Aspinall, S. Gilmore, M. Hofmann, D. Sannella and I. Stark. Mobile resource guarantees for smart devices. Proc. Intl. Workshop on Construction and Analysis of Safe, Secure and Interoperable Smart Devices, CASSIS 2004, Marseille. Springer LNCS 3362, 1-26 (2005). clear-semantics.pdf D. Sannella. A set-theoretic semantics for Clear. Acta Informatica 21:443-472 (1984). CoFI/ Documents produced for the "Common Framework Initiative"; see http://www.brics.dk/Projects/CoFI. CoFI/eml-summary.ps D. Sannella. Summary of features of the Extended ML specification language. CoFI/clear-summary.ps D. Sannella. Summary of features of the Clear specification language. CoFI/constr-impl.ps D. Sannella and A. Tarlecki. Constructor implementations. Language design note (1996). CoFI/higher-order.ps D. Sannella and A. Tarlecki. Specifying and developing parameterised programs. Language design note (1996). CoFI/bkb-large.ps B. Krieg-Br\"uckner and D. Sannella. Structuring concepts. Language design note (1996). CoFI/bkb-small.ps B. Krieg-Br\"uckner and D. Sannella. Structuring concepts in-the-small. Language design note (1996). CoFI/types.ps D. Sannella and R. Grosu. Types in specification languages. Language design note (1996). CoFI/behaviour.ps M. Bidoit, D. Sannella and A. Tarlecki. Behavioural encapsulation. Language design note (1996). CoFI/variables.ps D. Sannella. Variables in Basic Specifications: Overloading and Overriding. Language Design note (1997). compass-mailing-list Mailing list compass-team@dcs.ed.ac.uk for Edinburgh people involved in the EC-funded COMPASS Basic Research working group. (The mailing list for all COMPASS members is compass-wg@informatik.uni-bremen.de.) compass.tex.gz Source file for the list of references in the book: M. Bidoit, H.-J. Kreowski, P. Lescanne, F. Orejas and D. Sannella (editors). Algebraic System Specification and Development: A Survey and Annotated Bibliography. Springer LNCS 501 (1991). computing-surveys.dvi computing-surveys.ps computing-surveys.pdf [the official version, see http://www.acm.org/pubs/ articles/journals/surveys/1999-31-3es/a10-sannella/a10-sannella.pdf] D. Sannella and A. Tarlecki. Algebraic methods for specification and formal development of programs. ACM Computing Surveys 31(3es) (1999) . concepts.dvi concepts.ps concepts.pdf D. Sannella and A. Tarlecki. Essential concepts of algebraic specification and program development. Formal Aspects of Computing 9:229-269 (1997). ehrig-memorial.pdf D. Sannella and A. Tarlecki. On normal forms for structured specifications with generating constraints. Graph Transformations, Algebraic Specifications and Nets: In Memory of Hartmut Ehrig. Springer LNCS 10800, 266-284 (2018). eml-final.dvi eml-final.ps eml-final.pdf S. Kahrs, D. Sannella and A. Tarlecki. The definition of Extended ML, version 1.21 (1997). This is a revision of eml.ps (see below) which is as close to final as it is ever likely to get. eml-methodology.ps D. Sannella and A. Tarlecki. Toward formal development of ML programs: foundations and methodology. Report ECS-LFCS-89-71, Laboratory for Foundations of Computer Science, University of Edinburgh (1989). This is the full version of an extended abstract that appeared in Proc. Joint Conf. on Theory and Practice of Software Development, Barcelona. Springer LNCS 352, 375-389 (1989). eml-overview.ps D. Sannella and A. Tarlecki. Extended ML: past, present and future. Proc. 7th Workshop on Specification of Abstract Data Types, Wusterhausen, 1990. Springer LNCS 534, 297-322 (1991). eml-popl.pdf D. Sannella and A. Tarlecki. Program Specification and Development in Standard ML. Proc. 12th ACM Symp. on Principles of Programming Languages, New Orleans, 67-77 (1985). eml.ps S. Kahrs, D. Sannella and A. Tarlecki. The definition of Extended ML. Report ECS-LFCS-94-300, Laboratory for Foundations of Computer Science, University of Edinburgh (1994). eml.ps.gz A compressed version of eml.ps futatsugi-festschrift.pdf T. Mossakowski, W. Pawlowski, D. Sannella and A. Tarlecki. Parchments for CafeOBJ logics. Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi. Springer LNCS 8373, 66-91 (2014). gentle.dvi gentle.ps gentle.pdf S. Kahrs, D. Sannella and A. Tarlecki. The definition of Extended ML: a gentle introduction. Report ECS-LFCS-95-322, Laboratory for Foundations of Computer Science, University of Edinburgh (1995). gentle-old.ps S. Kahrs, D. Sannella and A. Tarlecki. The semantics of Extended ML: a gentle introduction. Proc. Intl. Workshop on Semantics of Specification Languages, Utrecht. Springer Workshops in Computing (1993). gentle-tcs.dvi gentle-tcs.ps gentle-tcs.pdf S. Kahrs, D. Sannella and A. Tarlecki. The definition of Extended ML: a gentle introduction. Theoretical Computer Science 173:445-484 (1997). global-dev.dvi global-dev.ps global-dev.pdf M. Bidoit, D. Sannella and A. Tarlecki. Global development via local observational construction steps. Proc. 27th Intl. Symp. on Mathematical Foundations of Computer Science, Warsaw. Springer LNCS 2420, 1-24 (2002). goguen-festscrift.ps goguen-festscrift.pdf D. Sannella and A. Tarlecki. Horizontal composability revisited. Algebra, Meaning and Computation: Essays Dedicated to Joseph A. Goguen on the Occasion of his 65th Birthday. Springer LNCS 4060, 296-316 (2006). hope-et-ml.pdf M. Wirsing and D. Sannella. Une Introduction {\`a} la Programmation Fontionnelle: HOPE et ML. Technique et Science Informatiques 6, 517-525 (1987). icalp82.pdf D. Sannella and M. Wirsing. Implementation of parameterised specifications. Proc. 9th Intl. Colloq. on Automata, Languages and Programming, Aarhus. Springer LNCS 140, 473-488 (1982). impl.ps D. Sannella and A. Tarlecki. Toward formal development of programs from algebraic specifications: implementations revisited. Acta Informatica 25:233-281 (1988). inst-asl-conf.pdf D. Sannella and A. Tarlecki. Building specifications in an arbitrary institution. Proc. Intl. Symp. on Semantics of Data Types, Sophia-Antipolis. Springer LNCS 173, 337-356 (1984). inst-asl.pdf D. Sannella and A. Tarlecki. Specifications in an arbitrary institution. Information and Computation 76:165-210 (1988). interfaces.ps interfaces.pdf S. Kahrs, D. Sannella and A. Tarlecki. Interfaces and Extended ML. Proc. ACM Workshop on Interface Definition Languages, Portland, Oregon (1994). jlp.pdf D. Sannella and L. Wallen. A calculus for the construction of modular Prolog programs. Journal of Logic Programming 12:147-177 (1992). laxlogrel.dvi laxlogrel.ps laxlogrel.pdf G. Plotkin, J. Power, D. Sannella and R. Tennent. Lax logical relations. Proc. 27th Intl. Colloq. on Automata, Languages and Programming, Geneva. Springer LNCS 1853, 85-102 (2000). logic-rep-in-LF.pdf R. Harper, D. Sannella and A. Tarlecki. Logic representation in LF. Proc. 3rd Summer Conf. on Category Theory and Computer Science, Manchester. Springer LNCS 389, 250-272 (1989). lopstr99.dvi lopstr99.ps lopstr99.pdf D. Sannella. Algebraic specification and program development by stepwise refinement. Proc. 9th Intl. Workshop on Logic-based Program Synthesis and Transformation, LOPSTR'99, Venice. Springer LNCS 1817, 1-9 (2000). mfcs96.dvi mfcs96.ps mfcs96.pdf D. Sannella and A. Tarlecki. Mind the gap! Abstract versus concrete models of specifications. Proc. 21st Intl. Symp. on Mathematical Foundations of Computer Science, Cracow. Springer LNCS 1113, 114-134 (1996). mfcs2002.dvi mfcs2002.ps mfcs2002.pdf P.D.L. Machado and D. Sannella. Unit testing for CASL architectural specifications. Proc. 27th Intl. Symp. on Mathematical Foundations of Computer Science, Warsaw. Springer LNCS 2420, 506-518 (2002). mfcs2003.dvi mfcs2003.ps mfcs2003.pdf J. Hannay, S. Katsumata and D. Sannella. Semantic and syntactic approaches to simulation relations. Proc. 28th Intl. Symp. on Mathematical Foundations of Computer Science, Bratislava. Springer LNCS 2747, 68-91 (2003). ml-spec.ps D. Sannella. Formal specification of ML programs. Report LFCS-86-15, Laboratory for Foundations of Computer Science, University of Edinburgh (1986). mod-prolog.tar.gz SB-Prolog extended with module facilities patterned after those described in: D. Sannella and L. Wallen. A Calculus for the Construction of Modular Prolog Programs. Journal of Logic Programming 12, 147-178, 1992. Author: Brian Paxton montanari-festschrift.ps montanari-festschrift.pdf D. Sannella and A. Tarlecki. Observability concepts in abstract data type specification, 30 years later. Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of his 65th Birthday. Springer LNCS (2008). monterey.dvi monterey.ps monterey.pdf M. Bidoit, D. Sannella and A. Tarlecki. Toward component-oriented formal software development: an algebraic approach. Proc. 9th Monterey Workshop, Radical Innovations of Software and Systems Engineering in the Future, Venice, October 2002. Springer LNCS 2941, 75-90 (2004). mrg-summary.pdf D. Sannella, M. Hofmann, D. Aspinall, S. Gilmore, I. Stark, L. Beringer, H.-W. Loidl, K. MacKenzie, A. Momigliano and O. Shkaravska. Mobile resource guarantees. Trends in Functional Programming, Vol. 6, 211-226. Intellect (2007). mtf.ps D. Sannella and A. Tarlecki. Toward formal development of programs from algebraic specifications: model-theoretic foundations. Proc. 19th Intl. Colloq. on Automata, Languages and Programming, Vienna. Springer LNCS 623, 656-671 (1992). mxh-lego.tar.gz Complete Lego definitions and proofs for the paper "Formal development of functional programs in type theory --- a case study" by Martin Hofmann, report ECS-LFCS-92-228, Laboratory for Foundations of Computer Science, University of Edinburgh (1992). obs-equiv-conf.pdf D. Sannella and A. Tarlecki. On observational equivalence and algebraic specification (extended abstract). Proc. 10th Colloq. on Trees in Algebra and Programming, Intl. Joint Conf. on Theory and Practice of Software Development (TAPSOFT'85), Berlin. Springer LNCS185, 308-322 (1985). obs-equiv.pdf D. Sannella and A. Tarlecki. On observational equivalence and algebraic specification. Journal of Computer and System Sciences 34:150-178 (1987). param.ps D. Sannella, S. Soko\l{}owski and A. Tarlecki. Toward formal development of programs from algebraic specifications: parameterisation revisited. Acta Informatica 29, 689-736 (1992). prelim.dvi prelim.ps prelim.pdf D. Sannella and A. Tarlecki. Algebraic preliminaries. This is chapter 2 of the book "Algebraic Foundations of Systems Specifications" (E. Astesiano, H.-J. Kreowski and B. Krieg-Br\"uckner, editors). Springer (1999). prelogrel.dvi prelogrel.ps prelogrel.pdf F. Honsell and D. Sannella. Pre-logical relations. Proc. Computer Science Logic, CSL'99, Madrid. Springer LNCS 1683, 546-561 (1999). See prelogrel-long.{dvi,ps,pdf} for an extended version of the same thing for journal publication. prelogrel-report.dvi prelogrel-report.ps prelogrel-report.pdf F. Honsell and D. Sannella. Pre-logical relations. Longer version of prelogrel.{dvi,ps,pdf}. Report ECS-LFCS-99-405, Laboratory for Foundations of Computer Science, University of Edinburgh (1999). Superceded by prelogrel-long.{dvi,ps,pdf}. prelogrel-long.dvi prelogrel-long.ps prelogrel-long.pdf F. Honsell and D. Sannella. Prelogical relations. Extended version of prelogrel.{dvi,ps,pdf}. Information and Computation 178:23-43 (2002). Supercedes prelogrel-report.{dvi,ps,pdf} problems.ps D. Sannella and A. Tarlecki. Algebraic specification and formal methods for program development: what are the real problems? EATCS Bulletin 41:134-137 (1990). Reprinted in: Current Trends in Theoretical Computer Science (G. Rozenberg and A. Salomaa, eds.). World Scientific Publishing Company, 115-120 (1993). propsem.pdf D. Sannella and A. Tarlecki. Property-oriented semantics of structured specifications. Mathematical Structures in Computer Science, 24(2), e240205, 37 pages (2014). psi.dvi psi.ps psi.pdf D. Sannella. The Common Framework Initiative for algebraic specification and development of software. Proc. 3rd Intl. Conf. on Perspectives of System Informatics (PSI'99), Novosibirsk. Springer LNCS 1755, 1-9 (2000). refinement.dvi refinement.ps refinement.pdf F. Honsell, J. Longley, D. Sannella and A. Tarlecki. Constructive data refinement in typed lambda calculus. Proc. 2nd Intl. Conf. on Foundations of Software Science and Computation Structures, ETAPS'2000, Berlin. Springer LNCS 1784, 149-164 (2000). refinespec.pdf R. Hennicker, D. Sannella, A. Tarlecki and M. Wirsing. Entailment for Structured Specifications. In: Towards an Encyclopaedia of Proof Systems (Bruno Woltzenlogel Paleo, ed.). College Publications, London (2017). reflections.dvi reflections.ps reflections.pdf S. Kahrs and D. Sannella. Reflections on the design of a specification language. Proc. Intl. Colloq. on Fundamental Approaches to Software Engineering, ETAPS'98, Lisbon. Springer LNCS 1382, 154-170 (1998). spec-formalism.ps D. Sannella and A. Tarlecki. A kernel specification formalism with higher-order parameterisation. Proc. 7th Workshop on Specification of Abstract Data Types, Wusterhausen, 1990. Springer LNCS 534, 274-296 (1991). spec-lang.dvi spec-lang.ps spec-lang.pdf D. Sannella and M. Wirsing. Specification languages. This is chapter 8 of the book "Algebraic Foundations of Systems Specifications" (E. Astesiano, H.-J. Kreowski and B. Krieg-Br\"uckner, editors). Springer (1999). spectral.ps spectral.pdf B. Krieg-Br\"uckner and D. Sannella. Structuring specifications in-the-large and in-the-small: higher-order functions, dependent types and inheritance in SPECTRAL. Proc. Colloq. on Combining Paradigms for Software Development, Joint Conf. on Theory and Practice of Software Development (TAPSOFT), Brighton. Springer LNCS 494, 313-336 (1991). *** NOTE: This paper was written using Microsoft Word on a Macintosh, which seems to produce non-standard Postscript. So, don't be too surprised if you can't print it! The PDF version might be more portable. structspec.pdf R. Hennicker, D. Sannella, A. Tarlecki and M. Wirsing. Entailment for Structured Specifications. In: Towards an Encyclopaedia of Proof Systems (Bruno Woltzenlogel Paleo, ed.). College Publications, London (2017). survey.ps D. Sannella. A survey of formal software development methods. Report ECS-LFCS-88-56, Laboratory for Foundations of Computer Science, University of Edinburgh (1988). tapsoft97.dvi tapsoft97.ps tapsoft97.pdf D. Sannella. What does the future hold for theoretical computer science? Proc. 7th Intl. Joint Conf. on Theory and Practice of Software Development, Lille. Springer LNCS 1214, 15-19 (1997). tgc2010.pdf D. Aspinall, R. Atkey, K. MacKenzie and D. Sannella. Symbolic and analytical techniques for resource analysis of Java bytecode. Revised Selected Papers, 5th Symposium on Trustworthy Global Computing, TGC 2010, Munich. Springer LNCS 6084, 1-22 (2010). thoughts.ps D.Sannella and A.Tarlecki. Some thoughts on algebraic specification. Proc. 3rd Workshop on Theory and Applications of Abstract Data Types, Bremen, 1984. Springer Informatik-Fachberichte 116, 31-38 (1985). wadt2001.ps wadt2001.pdf D. Sannella. The Common Framework Initiative for algebraic specification and development of software: recent progress. Recent Trends in Algebraic Development Techniques: Selected Papers from WADT 2001, Genova. Springer LNCS 2267, 328-343 (2001). way2019.pdf N. Samarin and D. Sannella. A key to your heart: Biometric authentication based on {ECG} signals. Who Are You?! Adventures in Authentication Workshop (WAY 2019), Santa Clara (2019). wirsing-festschrift.pdf D. Sannella and A. Tarlecki. The foundational legacy of ASL. Software, Services and Systems: Essays Dedicated to Martin Wirsing on the Occasion of His Emeritation. Springer LNCS 8950, 253-272 (2015).
Name Last modified Size Description
wirsing-festschrift.pdf 2014-11-17 16:50 254K way2019.pdf 2022-05-04 10:00 303K wadt2001.ps 2001-10-12 10:07 388K wadt2001.pdf 2001-10-12 10:24 175K thoughts.ps 2003-06-18 13:14 143K thoughts.pdf 2010-06-07 12:01 162K tgc2010.pdf 2010-04-21 01:02 255K tapsoft97.ps 1997-01-20 13:25 64K tapsoft97.pdf 1997-05-15 14:35 69K tapsoft97.dvi 1997-01-20 13:24 20K survey.ps 2003-06-18 13:13 240K survey.pdf 2010-06-07 11:53 244K structspec.pdf 2017-08-22 14:25 108K spectral.ps 2003-06-18 13:12 268K spectral.pdf 1997-05-16 10:23 71K spec-lang.ps 1999-02-25 14:41 228K spec-lang.pdf 1999-02-25 14:42 283K spec-lang.dvi 1999-02-25 14:38 131K spec-formalism.ps 1996-08-23 15:00 272K spec-formalism.pdf 2010-06-07 11:54 268K reflections.ps 1998-01-13 16:42 153K reflections.pdf 1998-01-13 16:43 173K reflections.dvi 1998-01-13 16:39 65K refinespec.pdf 2017-08-22 14:26 110K refinement.ps 2000-01-12 15:27 385K refinement.pdf 2000-01-12 15:29 207K refinement.dvi 2000-01-12 15:27 77K psi.ps 1999-08-16 17:03 91K psi.pdf 1999-08-16 17:03 122K psi.dvi 1999-08-16 16:59 34K propsem.pdf 2013-09-22 14:27 310K problems.ps 1996-08-23 15:00 82K problems.pdf 2010-06-07 11:59 88K prelogrel.ps 1999-07-09 16:52 155K prelogrel.pdf 1999-07-09 16:53 193K prelogrel.dvi 1999-07-09 16:52 69K prelogrel-report.ps 1999-04-23 12:14 169K prelogrel-report.pdf 1999-04-23 12:14 196K prelogrel-report.dvi 2003-06-18 13:10 76K prelogrel-long.ps 2002-08-15 13:41 498K prelogrel-long.pdf 2002-08-15 13:44 294K prelogrel-long.dvi 2002-08-15 13:36 134K prelim.ps 1999-03-17 12:07 197K prelim.pdf 1999-03-17 12:08 215K prelim.dvi 1999-03-15 00:08 93K param.txt 2011-05-29 15:31 126K param.ps 1996-08-23 14:59 452K param.pdf 2010-06-07 11:53 434K obs-equiv.pdf 2008-08-20 17:44 1.8M obs-equiv-conf.pdf 2008-08-20 17:43 1.1M mxh-lego.tar.gz 1992-08-05 09:50 19K mtf.ps 2003-06-18 13:09 220K mtf.pdf 2010-06-07 11:53 228K mrg-summary.pdf 2007-06-18 15:53 121K monterey.ps 2003-09-08 13:07 378K monterey.pdf 2003-09-08 13:06 222K monterey.dvi 2003-09-08 13:06 68K montanari-festschrif..> 2008-04-25 08:42 471K montanari-festschrif..> 2008-04-25 08:41 278K mod-prolog.tar.gz 1992-06-17 10:43 746K ml-spec.ps 2003-06-18 13:08 151K ml-spec.pdf 2010-06-07 11:57 168K mfcs96.ps 1996-08-23 14:58 241K mfcs96.pdf 1997-05-15 15:09 257K mfcs96.dvi 1996-05-09 17:00 105K mfcs2003.ps 2003-06-05 07:01 499K mfcs2003.pdf 2003-06-05 07:01 309K mfcs2003.dvi 2003-06-05 07:00 110K mfcs2002.ps 2002-05-18 16:56 356K mfcs2002.pdf 2002-05-18 16:59 180K mfcs2002.dvi 2002-05-18 16:57 57K lopstr99.ps 2000-03-01 10:17 149K lopstr99.pdf 2000-03-01 10:18 137K lopstr99.dvi 2000-03-01 10:17 37K logic-rep-in-LF.pdf 2023-05-08 18:29 1.5M lf-conf.pdf 2010-06-07 11:39 1.0M laxlogrel.ps 2000-08-11 16:33 175K laxlogrel.pdf 2000-04-13 13:45 513K laxlogrel.dvi 2000-04-13 13:43 75K jlp.pdf 2013-04-25 09:13 1.9M interfaces.ps 1996-08-23 14:58 123K interfaces.pdf 2009-11-04 16:28 149K inst-asl.pdf 2008-08-20 17:36 2.8M inst-asl-conf.pdf 2008-08-20 17:32 1.5M impl.ps 2003-06-18 13:07 474K impl.pdf 2010-06-07 11:23 418K impl-conf.pdf 2010-06-07 11:22 1.3M icalp82.pdf 2008-08-20 17:17 1.0M hope.pdf 2002-06-07 15:42 699K hope-et-ml.pdf 2023-05-08 18:28 4.5M goguen-festschrift.ps 2006-03-25 15:02 249K goguen-festschrift.pdf 2006-03-25 15:02 194K global-dev.ps 2002-05-29 11:59 489K global-dev.pdf 2002-05-29 12:01 261K global-dev.dvi 2002-05-29 11:57 118K gentle.ps 2003-06-18 13:04 339K gentle.pdf 1997-05-15 15:07 294K gentle.dvi 2003-06-18 13:05 148K gentle-tcs.ps 1995-10-16 14:51 362K gentle-tcs.pdf 1997-05-15 15:05 314K gentle-tcs.dvi 1995-10-16 14:48 159K gentle-conf.ps 1994-03-08 14:17 266K gentle-conf.pdf 2010-06-07 11:50 316K futatsugi-festschrif..> 2013-11-24 20:46 477K eml.ps.gz 1994-08-23 12:29 278K eml.ps 2003-06-18 13:02 932K eml.pdf 2010-06-07 11:51 826K eml.dvi 2003-06-18 13:02 551K eml-popl.pdf 2007-05-24 14:05 1.0M eml-overview.ps 1996-08-23 14:59 286K eml-overview.pdf 2010-06-07 11:55 287K eml-methodology.ps 1996-08-23 14:58 631K eml-methodology.pdf 2010-06-07 11:56 574K eml-final.ps 2001-06-07 17:03 1.1M eml-final.pdf 2001-06-07 17:13 680K eml-final.dvi 2001-06-07 17:20 568K ehrig-memorial.pdf 2017-09-01 10:45 346K concepts.ps 1998-05-07 14:05 335K concepts.pdf 1998-05-07 14:16 318K concepts.dvi 1996-08-12 12:49 180K computing-surveys.ps 1999-01-18 14:26 62K computing-surveys.pdf 2000-06-29 12:17 120K computing-surveys.dvi 1999-01-18 14:24 22K computing-surveys-fi..> 2008-04-28 09:18 120K completeness.pdf 2010-06-07 11:41 2.9M compass.tex 1994-10-11 09:31 133K compass-mailing-list 1995-10-27 14:49 508 clear-semantics.pdf 2008-08-20 17:26 1.5M cassis2004.ps 2004-10-05 01:49 283K cassis2004.pdf 2004-10-05 01:46 327K cassis2004.dvi 2004-10-05 01:46 127K casl.ps 2001-08-27 12:51 506K casl.pdf 2001-08-27 12:52 316K casl.dvi 2001-08-27 12:49 172K casl-refinement.ps 2004-08-30 10:40 290K casl-refinement.pdf 2004-08-30 10:37 285K casl-refinement.dvi 2004-08-30 10:37 93K casl-refinement-scp.pdf 2017-04-18 08:17 485K casl-obs.ps 2007-06-18 15:47 747K casl-obs.pdf 2007-06-15 17:36 439K casl-obs.dvi 2007-06-18 15:47 238K casl-foundations.ps 2003-11-27 10:22 394K cai.ps 2003-09-04 17:05 540K cai.pdf 2003-09-04 17:06 346K cai.dvi 2003-09-04 17:05 149K caap83.pdf 2008-08-20 17:13 942K burstall.ps 2002-09-30 13:46 171K burstall.pdf 2002-09-30 13:48 92K burstall.dvi 2002-09-30 13:46 43K bkb-festschrift.pdf 2015-08-18 14:05 273K bib2htmlaedd17.blg 2022-05-04 10:29 1.1K bib2htmlaedd17.bbl 2022-05-04 10:29 30K bib2htmlaedd17.aux 2022-05-04 10:29 58 bib2htmlaedd17 2022-05-04 10:29 0 bib2html878c5a.blg 2016-08-10 20:04 1.1K bib2html878c5a.bbl 2016-08-10 20:04 28K bib2html878c5a.aux 2016-08-10 20:04 58 bib2html878c5a 2016-08-10 20:04 0 beh-equiv.ps 2003-06-18 13:00 338K beh-equiv.pdf 1997-05-15 14:51 323K beh-equiv.dvi 2003-06-18 13:01 146K beh-equiv-tcs.ps 1996-07-23 14:44 432K beh-equiv-tcs.pdf 1997-05-15 14:48 389K beh-equiv-tcs.dvi 1996-07-23 14:44 202K bcs.ps 2001-04-09 02:01 231K bcs.pdf 2010-06-07 11:55 267K avocs2015.pdf 2015-11-18 21:50 429K asl.pdf 2008-08-20 17:06 1.0M archs.ps 2001-09-19 09:26 459K archs.pdf 2001-09-19 09:26 277K archs.dvi 2001-09-19 09:26 122K archs-report.ps 1999-04-27 17:20 223K archs-report.pdf 1999-04-30 09:55 261K archs-report.dvi 1999-04-27 17:19 120K archs-amast.ps 1998-10-29 12:50 150K archs-amast.pdf 1998-10-29 12:50 185K archs-amast.dvi 1998-10-29 12:48 72K arch-test.pdf 2002-01-23 01:41 334K apal.ps 1996-08-23 14:59 439K apal.pdf 2010-06-07 11:48 426K amast2002.ps 2002-06-06 11:00 327K amast2002.pdf 2002-06-06 01:03 161K amast2002.dvi 2002-06-06 01:02 54K agusti.pdf 2013-04-17 15:08 182K abstract-eml.ps 2001-04-09 02:10 304K abstract-eml.pdf 2010-06-07 11:58 313K US-letter 2004-05-13 12:31 2.0K SannellaDT_bib.html 2023-05-08 18:35 128K SannellaDT.html-top 2010-05-27 09:30 3.9K SannellaDT.html-tail 2010-05-27 09:19 16 SannellaDT.html-old 2009-09-10 10:17 91K SannellaDT.html 2023-05-08 18:35 123K SannellaDT.bib-old 2009-11-04 16:30 94K SannellaDT.bib 2023-05-08 18:31 110K SannellaDT-bib.html 2010-09-27 08:52 103K ECS-LFCS-88-64.pdf 2018-07-17 16:09 8.7M CoFI/ 2000-09-28 12:43 -