Donald Sannella

Available identifiers

zbMath Open sannella.donald-tMaRDI QIDQ610395

List of research outcomes

Publication	Date of Publication	Type
On behavioural abstraction and behavioural satisfaction in higher-order logic	2022-08-18	Paper
Logic representation in LF	2022-08-16	Paper
Introduction to Computation	2021-07-23	Paper
Toward formal development of programs from algebraic specifications: Model-theoretic foundations	2019-12-04	Paper
On normal forms for structured specifications with generating constraints	2018-04-04	Paper
Property-oriented semantics of structured specifications	2016-07-26	Paper
Modularity of Ontologies in an Arbitrary Institution	2015-09-14	Paper
The Foundational Legacy of ASL	2015-06-22	Paper
Parchments for CafeOBJ Logics	2014-03-25	Paper
Foundations of algebraic specification and formal software development.	2010-12-08	Paper
Observability Concepts in Abstract Data Type Specification, 30 Years Later	2008-06-19	Paper
Observational interpretation of Casl specifications	2008-04-10	Paper
Mathematical Foundations of Computer Science 2003	2007-12-07	Paper
Horizontal Composability Revisited	2007-09-07	Paper
https://portal.mardi4nfdi.de/entity/Q4680193	2006-06-02	Paper
Recent Trends in Algebraic Development Techniques	2005-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q4471726	2004-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4945250	2003-08-25	Paper
https://portal.mardi4nfdi.de/entity/Q4708555	2003-06-18	Paper
https://portal.mardi4nfdi.de/entity/Q4708599	2003-06-18	Paper
CASL: the Common Algebraic Specification Language.	2003-01-21	Paper
Prelogical relations	2003-01-14	Paper
Architectural specifications in CASL	2002-09-25	Paper
https://portal.mardi4nfdi.de/entity/Q4702598	2002-02-17	Paper
https://portal.mardi4nfdi.de/entity/Q2754136	2001-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q2729903	2001-10-23	Paper
https://portal.mardi4nfdi.de/entity/Q2723910	2001-07-08	Paper
https://portal.mardi4nfdi.de/entity/Q4508300	2001-01-17	Paper
https://portal.mardi4nfdi.de/entity/Q4702592	1999-11-24	Paper
The definition of Extended ML: A gentle introduction	1998-07-22	Paper
Essential concepts of algebraic specification and program development	1998-02-04	Paper
On behavioural abstraction and behavioural satisfaction in higher-order logic	1997-02-27	Paper
Structured theory presentations and logic representations	1995-03-29	Paper
https://portal.mardi4nfdi.de/entity/Q4312482	1994-11-29	Paper
Toward formal development of programs from algebraic specifications: Parameterisation revisited	1994-07-04	Paper
A calculus for the construction of modular prolog programs	1992-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q4712650	1992-06-25	Paper
https://portal.mardi4nfdi.de/entity/Q3204067	1989-01-01	Paper
Toward formal development of programs from algebraic specifications: Implementations revisited	1988-01-01	Paper
Specifications in an arbitrary institution	1988-01-01	Paper
On observational equivalence and algebraic specification	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4721633	1987-01-01	Paper
Completeness of Proof Systems for Equational Specifications	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3677153	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3707381	1985-01-01	Paper
A set-theoretic semantics for Clear	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3345753	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3042444	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3666260	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3954805	1982-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Donald Sannella