- http://homepages.ed.ac.uk/stark Some Hedge MazesSome Hedge Mazes
- 11 The Symbol Table hash_size 1
- c K. Mitchell 1995 Copyright message 2a
- make(1S) make(1S) make -maintain, update, and regenerate related programs and files
- Automatic verification of design patterns in Java Alex Blewitt
- Appears in Proceedings of FOSSACS 2005, Edinburgh, LNCS 3441, pp.155169. Springer-Verlag, 2005
- Electronic Notes in Theoretical Computer Science 85 No. 1 (2003) URL: http://www.elsevier.nl/locate/entcs/volume85.html 21 pages
- Automatic Verification of Java Design Patterns Alex Blewitt, Alan Bundy, Ian Stark
- A reformatted version of this article appears in: Fundamenta Informaticae 33 (1998) 369396. IOS Press
- Operational Reasoning for Functions with Local State
- Presheaf Models for the -Calculus Gian Luca Cattani, Ian Stark and Glynn Winskel
- Names and Higher-Order Functions Ian David Bede Stark
- On the Observable Properties of Higher Order Functions that
- MRG: Mobile Resource Guarantees The MRG project is building secure foundations for the next
- c K. Mitchell 1995 The Grammar for OCCAM
- May 12, 1995 SGS-THOMSON Microelectronics Limited
- FLEX(1) FLEX(1) flex -fast lexical analyzer generator
- BISON(1) BISON(1) bison -GNU Project parser generator (yacc replacement)
- Version Management for cvs 1.10.3
- A Simple Literate Programming Tool (Version 0.87)
- Appears in the Proceedings of LICS '96 A Fully Abstract Domain Model for the -Calculus
- Appears in Proceedings of TLCA 2005, Nara, Japan, LNCS 3461, pp.262277. Springer-Verlag, 2005
- Version Management for cvs 1.10.3
- fl K. Mitchell 1995 The Grammar for OCCAM
- A Simple Literate Programming Tool (Version 0.87)
- May 12, 1995 SGSTHOMSON Microelectronics Limited
- Observable Properties of Higher Order Functions that Dynamically Create Local Names,
- Appears in LISP and Symbolic Computation 9(1):77107, February 1996 Categorical Models for Local Names
- fl K. Mitchell 1995 hCopyright message 2ai j
- PLEASE RETURN THIS TO THE ITO, OR TO THE MODULE LECTURER 2000-2001 Questionnaire
- Mobility, Ubiquity and Security Enabling proof-carrying code for Java on mobile devices
- Appears in the Proceedings of TLCA '97 Names, Equations, Relations
- Electronic Notes in Theoretical Computer Science 51 (2002) URL: http://www.elsevier.nl/locate/entcs/volume51.html 19 pages
- Electronic Notes in Theoretical Computer Science 41 No. 2 (2001) URL: http://www.elsevier.nl/locate/entcs/volume41.html 16 pages
- Version Management with
- BISON(1)NAMEbisonS-YGNUNProjectOparserPgeneratorS(yaccIreplacemenBISON(1)t)Sbis* *ont[a-bbfile-prefixl]e[]--file-prefix=file-prefix[]-[l-d]][[---defines-]n[o-k*
- Thimble --Threads for MLj Laboratory for Foundations of Computer Science
- Domains and Denotational Semantics: History, Accomplishments and Open Problems
- Outline of a Denotational Semantics for the -Calculus
- Nuweb A Simple Literate Programming Tool
- make(1S)NAMEmakeS-Ymaintain,Nupdate,OandPregenerateSrelatedIprogrmake(1S)amsSan* *d/filesusr/ccs/bin/make[[--dP]][[-dd-]q[]-D[]-[r-DD]][[--es]][[-i-]S[]-k[]-[t*
- Appears in Proceedings of CMSB 2008, Rostock, Germany, LNCS 5307, pp.103122. Springer-Verlag, 2008
- Appears in Proceedings of CASSIS 2004, Marseille, LNCS 3362, pp.126, Springer-Verlag, 2005
- FLEX(1)NAMEflexS-YfastNlexicalOanalyzerPgeneratorSISflex[-[-bcdfhFLEX(1)ilnpstv* *wBFILTV78+?-h-C[aefFmr]el-ooutputpO-Pprefix---Sskeleton]version]V[filenameE..*
- Introduction The Calculus Example Conclusions The Continuous -Calculus
- http://homepages.inf.ed.ac.uk/stark Webquines, The Collatz Graph
- ON EXECUTABLE MODELS OF MOLECULAR EVOLUTION Marek Kwiatkowski
