- The Semantics of Extended ML: A Gentle Introduction
- Algebraic specification and formal methods for program development: what are the real problems?
- Semantic and Syntactic Approaches to Simulation Relations #
- On behavioural abstraction and behavioural satisfaction in higher-order logic
- Unit Testing for Casl Architectural Specifications
- Mind the gap! Abstract versus concrete models of specifications
- Under consideration for publication in Math. Struct. in Comp. Science Observational Interpretation of Casl
- Horizontal composability revisited Donald Sannella1
- Global Development via Local Observational Construction Steps
- Unit Testing for Casl Architectural Specifications
- Algebraic specification and program development by stepwise refinement
- The Common Framework Initiative for algebraic specification and development of software
- Algebraic Methods for Specification and Formal Development of Programs
- Pre-logical Relations Furio Honsell1,2
- Architectural specifications in CASL Michel Bidoit1
- On behavioural abstraction and behavioural satisfaction in higher-order logic
- Structured theory presentations and logic representations Robert Harpery
- Interfaces and Extended ML Stefan Kahrs Donald Sannellay
- A survey of formal software development methods1 Donald Sannella
- Toward Formal Development of Programs from Algebraic Speci cations
- A kernel speci cation formalism with higher-order parameterisation Donald Sannellay
- Extended ML: Past, present and future Donald Sannella Andrzej Tarleckiy
- INFORMATION AND COMPUTATION 76, 165-210 (1988) Specifications in an Arbitrary Institution*
- JOURNAL OF COMPUTER AND SYSTEM SCIENCES 34, Is&178 (1987) On Observational Equivalence and Algebraic Specification*
- Toward formal development of programs from algebraic specifications: implementations revisited
- ON OBSERVATIONAL EQUIVALENCE AND ALGEBRAIC SPECIFICATION --Extended abstract i --
- PROGRAM SPEClFICATION AND DIWELOPMEN'I IN STANDARD ML
- A KERNEL LANGUAGE FOR ALGEBRAIC SPECIFICATION AND IMPLEMENTATION --EXTENDED ABSTRACT* --
- IMPLEMENTATION OF PARAMETERISED SPECIFICATIONS --Extended Abstract*--
- HOPE: AN EXPERIMENTAL APPLICATIVE LANGUAGE R.M Burstall
- Toward ComponentOriented Formal Software Development: An Algebraic Approach #
- A collection of papers and memoirs celebrating the contribution of Rod Burstall to advances in Computer Science
- On behavioural abstraction and behavioural satisfaction in higherorder logic ?
- Global Development via Local Observational Construction Steps #
- Algebraic speci cation and formal methods for program development: what are the real problems?
- Mobile Resource Guarantees for Smart Devices ? David Aspinall 1 , Stephen Gilmore 1 , Martin Hofmann 2 , Donald Sannella 1 , and
- Interfaces and Extended ML Stefan Kahrs \Lambda
- To appear in: Proc. Joint Conf. on Theory and Practice of Software Development (TAPSOFT), Brighton, April 1991 (Springer Lecture Notes in Computer Science).
- Formal speci cation of ML programs Donald Sannella
- IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. SE-11, NO. 5, MAY 1985 its simplicity and the small amount of additional communica-
- 8 Specification Languages Donald Sannella1
- Prelogical Relations ? Furio Honsell 1;2 and Donald Sannella 1
- Formal program development in Extended ML for the working programmer \Lambda
- Semantic and Syntactic Approaches to Simulation Relations
- Algebraic specification and program development by stepwise refinement ?
- Formal specification of ML programs Donald Sannella
- On behavioural abstraction and behavioural satisfaction in higherorder logic \Lambda
- A Simple Re nement Language for CASL ? Till Mossakowski 1 , Donald Sannella 2 , and Andrzej Tarlecki 3
- Structured theory presentations and logic representations Robert Harper y
- Observability concepts in abstract data type specification, 30 years later
- Toward formal development of programs from algebraic specifications: parameterisation revisited \Lambda
- 2 Algebraic Preliminaries Donald Sannella 1 and Andrzej Tarlecki 2
- The De nition of Extended ML Stefan Kahrs Donald Sannella Andrzej Tarleckiy
- A collection of papers and memoirs celebrating the contribution of Rod Burstall to advances in Computer Science
- Computing and Informatics, Vol. 20, 2001, ??--??, V 2003Sep4 Casl ---THE COMMON ALGEBRAIC SPECIFICATION
- 8 Specification Languages Donald Sannella 1 and Martin Wirsing 2
- Computing and Informatics, Vol. 20, 2001, ????, V 2003-Sep-4 Casl --THE COMMON ALGEBRAIC SPECIFICATION
- Casl: The Common Algebraic Specification Language 1
- Mind the gap! Abstract versus concrete models of specifications
- Horizontal composability revisited ? Donald Sannella 1 and Andrzej Tarlecki 2;3
- Essential concepts of algebraic specification and program development
- Project Evaluation Paper: Mobile Resource Guarantees
- Reflections on the Design of a Specification Language
- The Common Framework Initiative for algebraic specification and development of software
- A survey of formal software development methods 1 Donald Sannella
- Toward formal development of ML programs: foundations and methodology \Lambda
- A kernel specification formalism with higherorder parameterisation \Lambda Donald Sannella y
- Prelogical Relations1 Furio Honsell
- The Definition of Extended ML Stefan Kahrs \Lambda Donald Sannella \Lambda Andrzej Tarlecki y
- The definition of Extended ML: a gentle introduction \Lambda
- Some thoughts on algebraic specification 1 ;2 Donald Sannella and Andrzej Tarlecki 3
- What does the future hold for theoretical computer Donald Sannella \Lambda
- Essential concepts of algebraic specification and program development
- Toward formal development of ML programs: foundations and methodology
- The definition of Extended ML: a gentle introduction
- Lax Logical Relations Gordon Plotkin 1# , John Power 1## ,
- Symbolic and Analytic Techniques for Resource Analysis of Java Bytecode
- STRUCTURED THEORIES IN LCF D.T. Sannella and R.M. Burstall
- Acta Informatica21, 443-472(1984) 9 Springer-Verlag1984
- The Common Framework Initiative for algebraic specification and development of software ?
- Formal program development in Extended ML for the working programmer
- A Simple Refinement Language for CASL Till Mossakowski1
- Toward formal development of programs from algebraic specifications: implementations revisited 1
- BUILDING SPECIFICATIONS IN AN ARBITRARY INSTITUTION Donald Sannella and Andrzej Tarlecki*
- Toward Component-Oriented Formal Software Development: An Algebraic Approach?
- Semantic and Syntactic Approaches to Simulation Relations?
- A Simple Refinement Language for CASL ? Till Mossakowski1, Donald Sannella2, and Andrzej Tarlecki3
- A collection of papers and memoirs celebrating the contribution of Rod Burstall to advances in Computer Science
- From specifications to code in Casl David Aspinall and Donald Sannella
- The Common Framework Initiative for algebraic specification and development of software?
- Mobile Resource Guarantees for Smart Devices? David Aspinall1, Stephen Gilmore1, Martin Hofmann2, Donald Sannella1, and
- Prelogical Relations 1 Furio Honsell
- Toward Formal Development of Programs from Algebraic Specifications
- Some thoughts on algebraic speci cation1;2 Donald Sannella and Andrzej Tarlecki3
- Observability concepts in abstract data type specification, 30 years later #
- Constructive data refinement in typed lambda calculus
- Algebraic methods for specification and formal development of programs 1
- 2 Algebraic Preliminaries Donald Sannella1
- Under consideration for publication in Formal Aspects of Computing Architectural specifications in CASL
- The Semantics of Extended ML: A Gentle Introduction
- To appear in: Proc. Joint Conf. on Theory and Practice of Software Development (TAPSOFT), Brighton, April 1991 (Springer Lecture Notes in Computer Science).
- The Common Framework Initiative for algebraic specification and development of software
- Constructive data refinement in typed lambda calculus
- Architectural specifications in CASL Michel Bidoit1 Donald Sannella2 Andrzej Tarlecki3
- 1 On behavioural abstraction and behavioural satisfaction
- On behavioural abstraction and behavioural satisfaction in higher-order logic
- Essential concepts of algebraic specification and program development
- The definition of Extended ML: a gentle introduction
- Under consideration for publication in Formal Aspects of Computing Architectural specifications in CASL
- Constructive data refinement in typed lambda calculus
- Prelogical Relations1 Furio Honsell
- What does the future hold for theoretical computer science?
- Toward formal development of programs from algebraic speci cations: parameterisation revisited
- What does the future hold for theoretical computer Donald Sannella
- Toward formal development of programs from algebraic speci cations: implementations revisited1
- Casl: The Common Algebraic Specification Language 1
- Extended ML: Past, present and future Donald Sannella \Lambda
- Architectural specifications in CASL Michel Bidoit 1 Donald Sannella 2 Andrzej Tarlecki 3
- Mind the gap! Abstract versus concrete models of specifications
- 2 Algebraic Preliminaries Donald Sannella1 and Andrzej Tarlecki2
- 8 Specification Languages Donald Sannella1 and Martin Wirsing2
- Casl: The Common Algebraic Specification Language 1
- Lax Logical Relations Gordon Plotkin1?, John Power1??,
- Unit Testing for Casl Architectural Specifications
- Computing and Informatics, Vol. 20, 2001, ??-??, V 2003-Sep-4 Casl _ THE COMMON ALGEBRAIC SPECIFICATION
- Algebraic methods for specification and formal development of programs1
- Global Development via Local Observational Construction Steps?
- Reflections on the Design of a Specification Language
- Algebraic specification and program development by stepwise refinement?
- Pre-logical Relations? Furio Honsell1,2and Donald Sannella1