FAQ

Don Sannella

Known as: Donald Sannella, Donald T. Sannella, Sannella 
Donald T. Sannella FRSE is professor of computer science in the Laboratory for Foundations of Computer Science, at the School of Informatics… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1988-2015
02419882015

Related topics

Related topics

8 relations
Algebraic specificationComputer scienceExtended MLFormal methods
(More)

Related mentions per year

Related mentions per year

1937-2018
19401960198020002020
Don Sannella
Computer science
Software development
Formal methods
Functional programming
Algebraic specification

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
A new thesis concerning synchronised parallel computing - simplified parallel ASM thesis
Article history: Received 10 April 2015 Received in revised form 9 August 2016 Accepted 16 August 2016 Available online 24 August… (More)
Is this relevant?
2006
2006
CSP-CASL - A new integration of process algebra and algebraic specification
CSP–CASL integrates the process algebra CSP [T. Hoare, Communicating Sequential Processes, Prentice-Hall, Englewood cliffs, NJ… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2003
2003
Casl - The Common Algebraic Specification Language: Semantics and Proof Theory
Casl is an expressive specification language that has been designed to supersede many existing algebraic specification languages… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
1999
1999
Formalising Ontologies and Their Relations
Software Speci cation, pages 292{332. Springer, 1980. Lecture Notes in<lb>Computer Science, Volume 86.<lb>[6] Robert L. Carpenter… (More)
Is this relevant?
1995
1995
Combining Algebraic and Set-Theoretic Specifications
ion and application. The underlying logic for reasoning about such a speci cation is a powerful higher-order logic, e.g., based… (More)
Is this relevant?
1995
1995
Proving the Correctness of Behavioural Implementations
We introduce a concept of behavioural implementation for algebraic specifications which is based on an indistinguishability… (More)
Is this relevant?
1995
1995
Adjoint Rewriting
This thesis concerns rewriting in the typed-calculus. Traditional categorical models of typed-calculus use concepts such as… (More)
Is this relevant?
1995
1995
Compositionality and Compatibility of Parameterization and Parameter Passing in Specification Languages
In this paper we continue previous work from Sannella, Sokolowski and Tarlecki on parameterization in specification languages… (More)
Is this relevant?
1989
1989
Implementation of Parameterized Observational Specifications
An observational approach to the modular construction of algebraic implementations is presented. Based on the theory of… (More)
Is this relevant?
1988
1988
Proving Properties of Logic Programs : a Progress Report
We outline the progress we have made in connection with the Alvey Grant "Proving Properties of Logic Programs" (SERC GRjDj44270… (More)
Is this relevant?