Donald T. Sannella FRSE is professor of computer science in the Laboratory for Foundations of Computer Science, at the School of Informaticsâ€¦Â (More)

Semantic Scholar uses AI to extract papers important to this topic.

2016

2016

- Flavio Ferrarotti, Klaus-Dieter Schewe, Loredana Tec, Qing Wang
- Theor. Comput. Sci.
- 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

- Markus Roggenbach
- Theor. Comput. Sci.
- 2006

CSPâ€“CASL integrates the process algebra CSP [T. Hoare, Communicating Sequential Processes, Prentice-Hall, Englewood cliffs, NJâ€¦Â (More)

Is this relevant?

2003

2003

- Till Mossakowski, Anne Elisabeth Haxthausen, Donald Sannella, Andrzej Tarlecki
- Computers and Artificial Intelligence
- 2003

Casl is an expressive specification language that has been designed to supersede many existing algebraic specification languagesâ€¦Â (More)

Is this relevant?

1999

1999

- Trevor J. M. Bench-Capon, Grant Malcolm
- DEXA
- 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

- Claus Hintermeier, HÃ©lÃ¨ne Kirchner, Peter D. Mosses
- COMPASS/ADT
- 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

- Michel Bidoit, Rolf Hennicker
- AMAST
- 1995

We introduce a concept of behavioural implementation for algebraic specifications which is based on an indistinguishabilityâ€¦Â (More)

Is this relevant?

1995

1995

- Neil Ghani, Don Sannella, Roberto Di Cosmo, A. W. Brian Simpson, Martin T Ho
- 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

- Rosa M. JimÃ©nez, Fernando Orejas, Hartmut Ehrig
- Mathematical Structures in Computer Science
- 1995

In this paper we continue previous work from Sannella, Sokolowski and Tarlecki on parameterization in specification languagesâ€¦Â (More)

Is this relevant?

1989

1989

- Rolf Hennicker
- TAPSOFT, Vol.1
- 1989

An observational approach to the modular construction of algebraic implementations is presented. Based on the theory ofâ€¦Â (More)

Is this relevant?

1988

1988

- Alan Bundy, Don Sannella, +6 authors Andrew Stevens
- 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?