×

zbMATH — the first resource for mathematics

Sannella, Donald T.

Compute Distance To:
Author ID: sannella.donald-t Recent zbMATH articles by "Sannella, Donald T."
Published as: Sannella, D.; Sannella, D. T.; Sannella, Donald; Sannella, Donald T.
External Links: MGP
Documents Indexed: 57 Publications since 1982, including 9 Books

Publications by Year

Citations contained in zbMATH Open

41 Publications have been cited 428 times in 209 Documents Cited by Year
Specifications in an arbitrary institution. Zbl 0654.68017
Sannella, Donald; Tarlecki, Andrzej
62
1988
Foundations of algebraic specification and formal software development. Zbl 1237.68129
Sannella, Donald; Tarlecki, Andrzej
46
2012
CASL: the Common Algebraic Specification Language. Zbl 1061.68103
Astesiano, Egidio; Bidoit, Michel; Kirchner, Hélène; Krieg-Brückner, Bernd; Mosses, Peter D.; Sannella, Donald; Tarlecki, Andrzej
39
2002
A kernel language for algebraic specification and implementation. Extended abstract. Zbl 0517.68043
Sannella, Donald; Wirsing, Martin
35
1983
Toward formal development of programs from algebraic specifications: Implementations revisited. Zbl 0621.68004
Sannella, Donald; Tarlecki, Andrzej
30
1988
On observational equivalence and algebraic specification. Zbl 0619.68028
Sannella, Donald; Tarlecki, Andrzej
28
1987
Toward formal development of programs from algebraic specifications: Parameterisation revisited. Zbl 0790.68077
Sannella, Donald; Sokołowski, Stefan; Tarlecki, Andrzej
20
1992
Structured theory presentations and logic representations. Zbl 0809.03019
Harper, Robert; Sannella, Donald; Tarlecki, Andrzej
15
1994
Essential concepts of algebraic specification and program development. Zbl 0887.68070
Sannella, Donald; Tarlecki, Andrzej
13
1997
Implementation of parameterised specifications (extended abstract). Zbl 0492.68023
Sannella, Donald; Wirsing, Martin
12
1982
Structured theories in LCF. Zbl 0527.68070
Sannella, D. T.; Burstall, R. M.
11
1983
On behavioural abstraction and behavioural satisfaction in higher-order logic. Zbl 0874.68196
Hofmann, Martin; Sannella, Donald
10
1996
Architectural specifications in CASL. Zbl 1001.68078
Bidoit, Michel; Sannella, Donald; Tarlecki, Andrzej
8
2002
Lax logical relations. Zbl 0973.03016
Plotkin, Gordon; Power, John; Sannella, Donald; Tennent, Robert
8
2000
The definition of Extended ML: A gentle introduction. Zbl 0901.68024
Kahrs, Stefan; Sannella, Donald; Tarlecki, Andrzej
8
1997
On observational equivalence and algebraic specification. Zbl 0563.68017
Sannella, Donald; Tarlecki, Andrzej
8
1985
Structure and representation in LF. Zbl 0716.68078
Harper, Robert; Sannella, Donald; Tarlecki, Andrzej
7
1989
Building specifications in an arbitrary institution. Zbl 0552.68015
Sannella, Donald; Tarlecki, Andrzej
7
1984
Algebraic preliminaries. Zbl 0945.68129
Sannella, Donald; Tarlecki, Andrzej
6
1999
Observational interpretation CASL specifications. Zbl 1141.68026
Bidoit, Michel; Sannella, Donald; Tarlecki, Andrzej
5
2008
Algebraic system specification and development. A survey and annotated bibliography. Zbl 0875.68642
Bidoit, Michel (ed.); Kreowski, Hans-Jörg (ed.); Lescanne, Pierre (ed.); Sannella, Donald (ed.)
5
1991
Completeness of proof systems for equational specifications. Zbl 0558.68017
Macqueen, David B.; Sannella, Donald T.
5
1985
A simple refinement language for Casl. Zbl 1118.68560
Mossakowski, Till; Sannella, Donald; Tarlecki, Andrzej
4
2005
CASL—The Common algebraic specification language: Semantics and proof theory. Zbl 1104.68365
Mossakowski, Till; Haxthausen, Anne E.; Sannella, Donald; Tarlecki, Andrzej
4
2003
Pre-logical relations. Zbl 0942.03018
Honsell, Furio; Sannella, Donald
4
1999
Toward formal development of programs from algebraic specifications: implementations revisited. Zbl 0614.68013
Sannella, Donald; Tarlecki, Andrzej
4
1987
The semantics of extended ML: A gentle introduction. Zbl 0813.68132
Kahrs, Stefan; Sannella, Donald; Tarlecki, Andrzej
3
1994
A calculus for the construction of modular PROLOG programs. Zbl 0754.68035
Sannella, D. T.; Wallen, L. A.
3
1992
Unit testing for CASL architectural specifications. Zbl 1014.68100
Machado, Patricia D. L.; Sannella, Donald
2
2002
Global development via local observational construction steps. Zbl 1014.68099
Bidoit, Michel; Sannella, Donald; Tarlecki, Andrzej
2
2002
Algebraic specification and program development by stepwise refinement. (Extended abstract). Zbl 0964.68564
Sannella, Donald
2
2000
Constructive data refinement in typed lambda calculus. Zbl 0965.68012
Honsell, Furio; Longley, John; Sannella, Donald; Tarlecki, Andrzej
2
2000
Specification languages. Zbl 0979.68555
Sannella, Donald; Wirsing, Martin
2
1999
45th international colloquium on automata, languages, and programming. ICALP 2018, Prague, Czech Republic, July 9–13, 2018. Proceedings. Zbl 1392.68012
Chatzigiannakis, Ioannis (ed.); Kaklamanis, Christos (ed.); Marx, Dániel (ed.); Sannella, Donald (ed.)
1
2018
Property-oriented semantics of structured specifications. Zbl 1342.68218
Sannella, Donald; Tarlecki, Andrzej
1
2014
Horizontal composability revisited. Zbl 1132.68340
Sannella, Donald; Tarlecki, Andrzej
1
2006
Prelogical relations. Zbl 1012.03039
Honsell, Furio; Sannella, Donald
1
2002
The common framework initiative for algebraic specification and development of software: Recent progress. Zbl 1043.68584
Sannella, Donald
1
2001
Programming languages and systems - ESOP ’94. 5th European symposium on Programming, Edinburgh, GB, April 11–13, 1994. Proceedings. Zbl 0925.68014
Sannella, Donald (ed.)
1
1994
Algebraic specification and formal methods for program development: What are the real problems! Zbl 0744.68102
Sannella, Donald; Tarlecki, Andrzej
1
1990
Some thoughts on algebraic specification. Zbl 0584.68036
Sannella, Donald; Tarlecki, Andrzej
1
1985
45th international colloquium on automata, languages, and programming. ICALP 2018, Prague, Czech Republic, July 9–13, 2018. Proceedings. Zbl 1392.68012
Chatzigiannakis, Ioannis (ed.); Kaklamanis, Christos (ed.); Marx, Dániel (ed.); Sannella, Donald (ed.)
1
2018
Property-oriented semantics of structured specifications. Zbl 1342.68218
Sannella, Donald; Tarlecki, Andrzej
1
2014
Foundations of algebraic specification and formal software development. Zbl 1237.68129
Sannella, Donald; Tarlecki, Andrzej
46
2012
Observational interpretation CASL specifications. Zbl 1141.68026
Bidoit, Michel; Sannella, Donald; Tarlecki, Andrzej
5
2008
Horizontal composability revisited. Zbl 1132.68340
Sannella, Donald; Tarlecki, Andrzej
1
2006
A simple refinement language for Casl. Zbl 1118.68560
Mossakowski, Till; Sannella, Donald; Tarlecki, Andrzej
4
2005
CASL—The Common algebraic specification language: Semantics and proof theory. Zbl 1104.68365
Mossakowski, Till; Haxthausen, Anne E.; Sannella, Donald; Tarlecki, Andrzej
4
2003
CASL: the Common Algebraic Specification Language. Zbl 1061.68103
Astesiano, Egidio; Bidoit, Michel; Kirchner, Hélène; Krieg-Brückner, Bernd; Mosses, Peter D.; Sannella, Donald; Tarlecki, Andrzej
39
2002
Architectural specifications in CASL. Zbl 1001.68078
Bidoit, Michel; Sannella, Donald; Tarlecki, Andrzej
8
2002
Unit testing for CASL architectural specifications. Zbl 1014.68100
Machado, Patricia D. L.; Sannella, Donald
2
2002
Global development via local observational construction steps. Zbl 1014.68099
Bidoit, Michel; Sannella, Donald; Tarlecki, Andrzej
2
2002
Prelogical relations. Zbl 1012.03039
Honsell, Furio; Sannella, Donald
1
2002
The common framework initiative for algebraic specification and development of software: Recent progress. Zbl 1043.68584
Sannella, Donald
1
2001
Lax logical relations. Zbl 0973.03016
Plotkin, Gordon; Power, John; Sannella, Donald; Tennent, Robert
8
2000
Algebraic specification and program development by stepwise refinement. (Extended abstract). Zbl 0964.68564
Sannella, Donald
2
2000
Constructive data refinement in typed lambda calculus. Zbl 0965.68012
Honsell, Furio; Longley, John; Sannella, Donald; Tarlecki, Andrzej
2
2000
Algebraic preliminaries. Zbl 0945.68129
Sannella, Donald; Tarlecki, Andrzej
6
1999
Pre-logical relations. Zbl 0942.03018
Honsell, Furio; Sannella, Donald
4
1999
Specification languages. Zbl 0979.68555
Sannella, Donald; Wirsing, Martin
2
1999
Essential concepts of algebraic specification and program development. Zbl 0887.68070
Sannella, Donald; Tarlecki, Andrzej
13
1997
The definition of Extended ML: A gentle introduction. Zbl 0901.68024
Kahrs, Stefan; Sannella, Donald; Tarlecki, Andrzej
8
1997
On behavioural abstraction and behavioural satisfaction in higher-order logic. Zbl 0874.68196
Hofmann, Martin; Sannella, Donald
10
1996
Structured theory presentations and logic representations. Zbl 0809.03019
Harper, Robert; Sannella, Donald; Tarlecki, Andrzej
15
1994
The semantics of extended ML: A gentle introduction. Zbl 0813.68132
Kahrs, Stefan; Sannella, Donald; Tarlecki, Andrzej
3
1994
Programming languages and systems - ESOP ’94. 5th European symposium on Programming, Edinburgh, GB, April 11–13, 1994. Proceedings. Zbl 0925.68014
Sannella, Donald (ed.)
1
1994
Toward formal development of programs from algebraic specifications: Parameterisation revisited. Zbl 0790.68077
Sannella, Donald; Sokołowski, Stefan; Tarlecki, Andrzej
20
1992
A calculus for the construction of modular PROLOG programs. Zbl 0754.68035
Sannella, D. T.; Wallen, L. A.
3
1992
Algebraic system specification and development. A survey and annotated bibliography. Zbl 0875.68642
Bidoit, Michel (ed.); Kreowski, Hans-Jörg (ed.); Lescanne, Pierre (ed.); Sannella, Donald (ed.)
5
1991
Algebraic specification and formal methods for program development: What are the real problems! Zbl 0744.68102
Sannella, Donald; Tarlecki, Andrzej
1
1990
Structure and representation in LF. Zbl 0716.68078
Harper, Robert; Sannella, Donald; Tarlecki, Andrzej
7
1989
Specifications in an arbitrary institution. Zbl 0654.68017
Sannella, Donald; Tarlecki, Andrzej
62
1988
Toward formal development of programs from algebraic specifications: Implementations revisited. Zbl 0621.68004
Sannella, Donald; Tarlecki, Andrzej
30
1988
On observational equivalence and algebraic specification. Zbl 0619.68028
Sannella, Donald; Tarlecki, Andrzej
28
1987
Toward formal development of programs from algebraic specifications: implementations revisited. Zbl 0614.68013
Sannella, Donald; Tarlecki, Andrzej
4
1987
On observational equivalence and algebraic specification. Zbl 0563.68017
Sannella, Donald; Tarlecki, Andrzej
8
1985
Completeness of proof systems for equational specifications. Zbl 0558.68017
Macqueen, David B.; Sannella, Donald T.
5
1985
Some thoughts on algebraic specification. Zbl 0584.68036
Sannella, Donald; Tarlecki, Andrzej
1
1985
Building specifications in an arbitrary institution. Zbl 0552.68015
Sannella, Donald; Tarlecki, Andrzej
7
1984
A kernel language for algebraic specification and implementation. Extended abstract. Zbl 0517.68043
Sannella, Donald; Wirsing, Martin
35
1983
Structured theories in LCF. Zbl 0527.68070
Sannella, D. T.; Burstall, R. M.
11
1983
Implementation of parameterised specifications (extended abstract). Zbl 0492.68023
Sannella, Donald; Wirsing, Martin
12
1982
all top 5

Cited by 211 Authors

21 Diaconescu, Răzvan
20 Tarlecki, Andrzej
17 Sannella, Donald T.
15 Mossakowski, Till
14 Hennicker, Rolf
11 Rabe, Florian
9 Madeira, Alexandre
9 Martins, Manuel António
8 Bidoit, Michel
8 Orejas, Fernando
7 Bergstra, Jan A.
7 Gaĭnă, Daniel
6 Barbosa, Luís Soares
5 Horozal, Fulya
5 Middelburg, Cornelis A.
5 Navarro, Marisa
5 Roggenbach, Markus
5 Wirsing, Martin
4 Bernot, Gilles
4 Mosses, Peter D.
4 Ogata, Kazuhiro
4 Ţuţu, Ionuţ
3 Codescu, Mihai
3 Futatsugi, Kokichi
3 Knapp, Alexander
3 Kohlhase, Michael
3 Krieg-Brückner, Bernd
3 Meseguer Guaita, José
3 Oriat, C.
3 Parisi-Presicce, Francesco
3 Pino, Elvira
3 Popescu, Andrei
3 Power, John
3 Roşu, Grigore
3 Schröder, Lutz
2 Aiguier, Marc
2 Astesiano, Egidio
2 Autexier, Serge
2 Bauer, Sebastian S.
2 Borzyszkowski, Tomasz
2 Ehrig, Hartmut
2 Fiadeiro, José Luiz
2 Goguen, Joseph Amadee
2 Harper, Robert
2 Kahrs, Stefan Michael
2 Kirchner, Hélène
2 Knapik, Teodor
2 Kurz, Alexander
2 Kutz, Oliver
2 Lambers, Leen
2 Le Gall, Pascale
2 Lucanu, Dorel
2 Luo, Zhaohui
2 Martins Moreira, Anamaria
2 Naumann, David A.
2 Nikitchenko, Mykola S.
2 Petria, Marius
2 Pigozzi, Don Leonard
2 Poll, Erik
2 Reggio, Gianna
2 Salibra, Antonino
2 Sánchez, Ana M.
2 Sojakova, Kristina
1 Amato, Gianluca
1 Anders, Gerrit
1 Andon, F. I.
1 Arnould, Agnès
1 Arusoaie, Andrei
1 Aspinall, David
1 Babenyshev, Sergey
1 Bauer, Friedrich Ludwig
1 Baumeister, Hubert
1 Beketov, A. G.
1 Bettaz, Mohamed
1 Bjørner, Dines
1 Blum, Edward Kenneth
1 Boin, Clément
1 Bouhoula, Adel
1 Boy de la Tour, Thierry
1 Brass, Stefan
1 Bulteau, Laurent
1 Burstall, Rod M.
1 Cengarle, María Victoria
1 Cerioli, Maura
1 Chentsov, Alexey A.
1 Choppy, Christine
1 Compagnoni, Adriana B.
1 Confalonieri, Roberto
1 Corradini, Andrea
1 de Lara, Juan
1 De Nicola, Rocco
1 Déharbe, David
1 Doroshenko, A. E.
1 Durán, Francisco
1 Echahed, Rachid
1 Faria, José M.
1 Flener, Pierre
1 Fritsche, Lars
1 Gadducci, Fabio
1 Gadea, Alejandro
...and 111 more Authors

Citations by Year