V. Antimirov, et al.  @ NUS Home/Search
Context Related
| daimi.au.dk/PB/431/PB431.ps.gz Cached: PS.gz PS PDF Image Update Help From: daimi.aau.dk/DAIMI/PBlist (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We introduce and study the notion of an equational definition over a predefined algebra (EDPA) which is a modification of the notion of an algebraic specification enrichment. We argue that the latter is not quite appropriate when dealing with partial functions (in particular, with those defined by non-terminating functional programs), and suggest EDPA as a more adequate tool for specification and verification purposes. Several results concerning consistency of enrichments and correctness of... (Update)
Context of citations to this paper: More
.... over b[B] that is, over defined or non junk elements only, correspond to safe variables in the sense of Antimirov and Degtyarev [AD92b, AD92a]. They are needed for a faithful translation of sentences by PART . When considering all based algebras leading to a...
Cited by: More
Representations, Hierarchies, and Graphs of Institutions - Mossakowski (1996) (Correct)
Active bibliography (related documents): More All
0.5: Towards Intelligent Inductive Proof Engineering - Gramlich (Correct)
0.4: On Notions of Inductive Validity for First-Order Equational.. - Wirth, Gramlich (1994) (Correct)
0.4: Algebraic System Specification and Development.. - Cerioli, Gogolla, .. (1997) (Correct)
Similar documents based on text: More All
0.6: Terminological Resources of Autonomous Learning in Virtual .. - Shirokov, Manako, al. (Correct)
0.4: On the EA-Style Integrated Processing of Self-Contained.. - Degtyarev, Lyaletski (2000) (Correct)
0.3: Change of base, Cauchy-completness and reversibility - Anna Labella Vincent (2000) (Correct)
Related documents from co-citation: More All
2: Fundamentals of Algebraic Specifications (context) - Ehrig, Mahr - 1985
2: Toward formal development of programs from algebraic specifications: Implementat.. - Sannella, Tarlecki - 1988
BibTeX entry: (Update)
V. Antimirov, A. Degtyarev. Consistency and semantics of equational definitions over predefined algebras. In M. Rusinowitch, J.-L. R'emy, eds., Conditional Term Rewriting Systems, Third International Workshop, Lecture Notes in Computer Science 656, 67-- 81. Springer Verlag, 1992. http://citeseer.comp.nus.edu.sg/107206.html More
@misc{ antimirov92consistency,
author = "V. Antimirov and A. Degtyarev",
title = "Consistency and semantics of equational definitions over predefined algebras",
text = "V. Antimirov, A. Degtyarev. Consistency and semantics of equational definitions
over predefined algebras. In M. Rusinowitch, J.-L. R'emy, eds., Conditional
Term Rewriting Systems, Third International Workshop, Lecture Notes in Computer
Science 656, 67-- 81. Springer Verlag, 1992.",
year = "1992",
url = "citeseer.comp.nus.edu.sg/107206.html" }
Citations (may not include all citations):788 Rewrite systems - Dershowitz, Jouannaud - 1990
224 Algebraic specification (context) - Wirsing - 1990
177 Fundamentals of algebraic specification 1: Equations and Ini.. (context) - Ehrig, Mahr - 1985
173 An initial algebra approach to the specification (context) - Goguen, Thatcher et al. - 1978
63 Order-sorted equational computation (context) - Smolka, Nutt et al. - 1989
60 Technical report SRICSL (context) - Goguen, Winkler - 1988
34 Automatic proofs by induction in theories without constructo.. (context) - Kounalis - 1989
31 Order-sorted algebra solves the constructor selector (context) - Goguen, Meseguer - 1987
19 Conditional rewriting modulo a built-in algebra (context) - Avenhaus, Becker - 1992
14 The Use of Sorts in Algebraic Specifications - Mosses - 1992
7 Partial algebras flow from algebraic specifications (context) - Kreowski - 1987
6 Algebraic and operational semantics of specifications allowi.. (context) - Gogolla, Drosten et al. - 1984
4 Consistency of equational enrichments (context) - Antimirov, Degtyarev - 1992
3 Horn logic and rewriting for functional and logic program de.. (context) - Padawitz - 1990
2 Proofs in parameterized specifications (context) - Kirchner
1 Partial Functions in simulation: formal models and calculi (context) - Antimirov, Naidich et al. - 1990
1 Technical Report SRI-CLS (context) - Goguen, Meseguer - 1989
Documents on the same site (http://www.daimi.aau.dk/DAIMI/PB-list.html): More
Cryptanalysis of LOKI 91 - Knudsen (1993) (Correct)
AVL Trees with Relaxed Balance - Larsen (1992) (Correct)
Computer Aided Verification of Lamport's Fast Mutual.. - Jørgensen, Kristensen (Correct)
Online articles have much greater impact More about CiteSeer.IST at NUS Add search form to your site Submit documents Feedback
CiteSeer.IST at NUS - Copyright Penn State and NEC. Hosted by the School of Computing, National University of Singapore.