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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
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 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 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
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
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
We introduce a concept of behavioural implementation for algebraic specifications which is based on an indistinguishability… (More)
Is this relevant?
1995
1995
This thesis concerns rewriting in the typed-calculus. Traditional categorical models of typed-calculus use concepts such as… (More)
Is this relevant?
1995
1995
In this paper we continue previous work from Sannella, Sokolowski and Tarlecki on parameterization in specification languages… (More)
Is this relevant?
1989
1989
An observational approach to the modular construction of algebraic implementations is presented. Based on the theory of… (More)
Is this relevant?
1988
1988
We outline the progress we have made in connection with the Alvey Grant "Proving Properties of Logic Programs" (SERC GRjDj44270… (More)
Is this relevant?