Martin Hofmann, Donald Sannella  Home/Search
Context Related
| dcs.ed.ac.uk/home/dt...behequivtcs.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: dcs.ed.ac.uk/~dts/alf/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The behavioural semantics of specifications with higher-order logical formulae as axioms is analyzed. A characterization of behavioural abstraction via behavioural satisfaction of formulae in which the equality symbol is interpreted as indistinguishability, which is due to Reichel and was recently generalized to the case of first-order logic by Bidoit et al, is further generalized to this case. The fact that higher-order logic is powerful enough to express the indistinguishability relation is... (Update)
Cited by: More
Referential Opacity in Equational Reasoning - Hannay (1998) (Correct)
From Algebras and Coalgebras to Dialgebras - Poll, Zwanenburg (2001) (Correct)
Similar documents (at the sentence level):
58.4%: On Behavioural Abstraction and Behavioural Satisfaction in.. - Hofmann, Sannella (1995) (Correct)
Active bibliography (related documents): More All
1.0: Algebraic System Specification and Development.. - Cerioli, Gogolla, .. (1997) (Correct)
0.5: Essential Concepts of Algebraic Specification and Program.. - Sannella, Tarlecki (1996) (Correct)
0.2: Toward Component-Oriented Formal Software Development.. - Bidoit, Sannella.. (2004) (Correct)
Similar documents based on text: More All
0.4: Partial-Congruence Factorization of Bisimilarity Induced by Open.. - Lasota (1998) (Correct)
0.2: Indistinguishability of Random Systems - Maurer (2002) (Correct)
0.2: Casl. 5 37. (with M. Bidoit) Behavioural satisfaction and equi... - Nd Eq Ui (Correct)
Related documents from co-citation: More All
31: Toward formal development of programs from algebraic specifications: Implementat.. - Sannella, Tarlecki - 1988
15: Science of Computer Programming (context) - Bidoit, Hennicker et al. - 1996
15: Data Abstraction and the Correctness of Modular Programming (context) - Schoett - 1987
BibTeX entry: (Update)
M. Hofmann and D. Sannella. On behavioural abstraction and behavioural satisfaction in higher-order logic. In Proc. of TAPSOFT'95. Springer-Verlag L.N.C.S., 1995. To appear. http://citeseer.ist.psu.edu/hofmann96behavioural.html More
@article{ hofmann96behavioural,
author = "Martin Hofmann and Donald Sannella",
title = "On behavioural abstraction and behavioural satisfaction in higher-order logic",
journal = "Theoretical Computer Science",
volume = "167",
number = "1--2",
pages = "3--45",
year = "1996",
url = "citeseer.ist.psu.edu/hofmann96behavioural.html" }
Citations (may not include all citations):198 Toward formal development of programs from algebraic specifi.. - Sannella, Tarlecki - 1988
194 The Formal Semantics of Programming Languages (context) - Winskel - 1993
139 Type systems for programming languages (context) - Mitchell - 1990
86 Completeness in the theory of types (context) - Henkin - 1950
69 induction and computability (context) - Meseguer, Goguen - 1985
69 persistent interconnection and implementation of abstract mo.. (context) - Goguen, Meseguer - 1982
67 Specifications in an arbitrary institution (context) - Sannella, Tarlecki - 1988
60 Modal and temporal logics for processes - Stirling - 1996
57 On observational equivalence and algebraic specification (context) - Sannella, Tarlecki - 1987
53 Toward formal development of ML programs: foundations and me.. - Sannella, Tarlecki - 1989
51 A kernel language for algebraic specification and implementa.. (context) - Sannella, Wirsing - 1983
47 Constructivism in Mathematics: An Introduction (context) - Troelstra, van Dalen - 1988
43 Science of Computer Programming (context) - Bidoit, Hennicker et al. - 1995
33 Behavioural correctness of data representations (context) - Schoett - 1990
30 Context induction: a proof principle for behavioural abstrac.. (context) - Hennicker - 1991
28 Observability concepts in abstract data type specification (context) - Giarratana, Gimona et al. - 1976
27 Universal algebra in higher types (context) - Meinke - 1992
27 The definition of Extended ML: a gentle introduction - Kahrs, Sannella et al. - 1995
27 Behavioural satisfaction and equivalence in concrete model c.. - Bidoit, Tarlecki - 1996
26 Behavioural theories and the proof of behavioural properties - Bidoit, Hennicker - 1996
26 Modular correctness proofs of behavioural implementations - Bidoit, Hennicker - 1995
21 Initial behaviour semantics for algebraic specifications (context) - Nivela, Orejas - 1988
19 Proof Theory (context) - Schutte - 1977
14 Verification in ASL and Related Specification Languages (context) - Farr'es-Casals - 1992
6 Model-theoretic foundations for program development: basic c.. (context) - Sannella, Tarlecki - 1995
6 Chapter 7 of Algebraic Foundations of Systems Specification (context) - Sannella, Wirsing - 1996
4 Two impossibility theorems on behavioural specification of a.. (context) - Schoett - 1992
3 Second-order proof systems for algebraic specification langu.. (context) - Schobbens - 1994
3 Selected Papers from the 5th Workshop on Specification of Ab.. (context) - Nipkow, data - 1988
3 Higher-Order Algebraic Specifications (context) - Moller - 1987
3 Selected Papers from the 8th Workshop on Specification of Ab.. (context) - Orejas, Navarro et al. - 1991
2 Report ECS-LFCS (context) - Phoa, to et al. - 1992
2 Spezifikation hoherer Ordnung (context) - Grunler - 1990
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.dcs.ed.ac.uk/~dts/alf/): More
Toward Formal Development of Programs from Algebraic.. - Sannella, Tarlecki (1992) (Correct)
Essential Concepts of Algebraic Specification and Program.. - Sannella, Tarlecki (1996) (Correct)
Architectural specifications in CASL - Michel Bidoit (1999) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC