Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specifications - Equations and Initial Semantics. Springer-Verlag, 1985. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Logic Programming over Polymorphically Order-Sorted Types - Smolka (1989) (60 citations) (Correct)
....never yield the same element. Defining sorts with free constructors is common in functional programming languages and can be traced back to Landin [Lan64] Burstall [Bur69] and Hoare [Hoa75] Types defined with sorts and free constructors are a special case of algebraic types [GTW78, NR85, EM85] which are much more expressive since they provide for equations between constructors. The POS types investigated in this thesis are restricted to free constructors and hence their specifications cannot employ equations between value terms. The relation le is a less or equal test on the ....
....specified by a collection of sort equations and consists of sorts, sort functions and value functions. A POS type is a type that can be specified within the framework developed in this thesis. This use of the terms sort and type is common in the theory of algebraic specifications [GTW78, NR85, EM85] In the context of programming languages, however, one usually just talks of types and would thus refer to, for instance, bool as a type. Since the terms type discipline, well typedness, type checking and type inference are so familiar from programming languages, I will use them in this thesis ....
Harmut Ehrig and Bernd Mahr. Fundamentals of Algebraic Specification 1 - Equations and Initial Semantics. EATCS Monographs on Theoretical Computer Science. Springer-Verlag, Berlin, Heidelberg, New York, 1985.
Algebraic Higher-Order Nets: Graphs and Petri Nets as Tokens - Hoffmann, Mossakowski (Correct)
....in A under asg. Transitions are enabled under a marking m for an assignment asg inducing ASG : TSPEC (V ar(t) P ) with ASG(term, p) asg(term) p) if ASG(pre(t) m. Here asg is the extension of the assignment asg to an evaluation of terms (analogously to the first order case in [EM85] The follower marking m # then is constructed by m # = m# ASG(pre(t) ASG(post(t) The notion of processes is well known for low level Petri nets (see e.g. Rei85] It represents a semantical model to study the non sequential behaviour of Petri nets. In [EHP 02] the notion of processes ....
H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 1: Equations and Initial Semantics, volume 6 of EATCS Monographs on Theoretical Computer Science. Springer Verlag, Berlin, 1985.
Introducing OBJ - Goguen, Winkler, Meseguer.. (1993) (69 citations) (Correct)
....code in practice, primarily due to difficulties in handling erroneous expressions, such as dividing by zero in the rationals, or taking the top of an empty stack. In fact, there is no really satisfying way to define either rationals or stacks with (unconditional) many sorted algebra: 83] and [29] contain some examples which show just how awkward things can get, and [73] actually proves that certain kinds of specifications cannot be expressed at all in many sorted equational logic. OSA overcomes these obstacles with its subsorts and overloaded operators, and it allows functions to be ....
Hartmut Ehrig and Bernd Mahr. Fundamentals of Algebraic Specification 1: Equations and Initial Semantics. Springer, 1985. EATCS Monographs on Theoretical Computer Science, Volume 6.
Semantics for Interoperability: relating ontologies and.. - Bench-Capon, Malcolm.. (2002) (Correct)
....specifications. We are much less interested in presenting a concrete syntax; the motivating examples given below are in an ad hoc syntax. The presentation of ontologies below follows [3] and is rather dense, assuming some familiarity with algebraic specifications (introductions can be found in [33, 12]) and also with basic category theory (see [27, 2] for introductions) Our ontologies specifiy classes of entities with attributes. These attributes take values in data types such as numbers, booleans, lists and so on. Sometimes it is convenient to make changes in the types of attributes, for ....
Hartmut Ehrig and Bernd Mahr. Fundamentals of Algebraic Specification 1: Equations and Initial Semantics. Springer, 1985.
The formal method known as B and a sketch for its implementation - Kaijanaho (2002) (Correct)
....Negative addresses in indirect access and store halt the machine. RAMs are computationally equivalent to Turing machines. 28, 109] This exposition of algebraic methods is a simplified synthesis by the present author. A more rigorous treatment is given, for example, in Ehrig and Mahr s book [36]. 3 A historically motivated review of formal logic and set theory Hardly anything more unfortunate can befall a scientific writer than to have one of the foundations of his edifice shaken after the work is finished. Gottlob Frege on Russell s paradox [45] The B method, and formal ....
Hartmut Ehrig and Bernd Mahr. Fundamentals of Algebraic Specification 1: Equations and Initial Semantics, vol. 6 of EATCS Monographs on Theoretical Computer Science. Springer, 1985.
A Formalism Combining CCS and CASL - Salaün, Allemand, Attiogbé (2001) (1 citation) (Correct)
....the general extension which binds any process algebra with any algebraic specification formalism. We detail this single suggestion since it includes the two others. We begin with a quick survey of the formalisms concerned by this extension. For algebraic specifications, there are mainly ACT ONE [17], ASF [4] OBJ [19, 22] ASL [52] Larch [24] CLEAR [9] PLUSS [6] CASL [15] etc. Concerning process algebras, we cite CCS [36] CSP [26] ACP [5] basic LOTOS [7] calculus [37, 38] etc. Generalization of the Algebraic Specification Language A first idea is to conserve the CASL formalism ....
H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 1: Equations and Initial Semantics, volume 6 of EATCS Monographs on Theoretical Computer Science. Springer-Verlag, New York, 1985.
Toward Component-Oriented Formal Software Development.. - Bidoit, Sannella.. (Correct)
....above, Casl provides ways of building complex specifications out of simpler ones by means of various structuring constructs. These include translation, hiding, union, and both free and loose forms of extension. Generic specifications and their instantiations with pushout style semantics [BG80] EM85] are also provided. Structured specifications built using these constructs can be given a compositional semantics where each specification SP determines a signature Sig [SP ] and a class [ SP ] Mod (Sig [SP ] of models. 3 Program Development and Refinements The intended use of Casl, as of ....
H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification I: Equations and Initial Semantics. Springer (1985).
Classification And Comparison Of Module Concepts For Graph.. - Heckel, Engels (1999) (3 citations) Self-citation (Ehrig) (Correct)
No context found.
H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 1: Equations and Initial Semantics, volume 6 of EATCS Monographs on Theoretical Computer Science. Springer Verlag, Berlin, 1985.
Oriented Combinatorial Maps and Extensions - Specification.. - Dufourd (2000) (Correct)
No context found.
Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specifications - Equations and Initial Semantics. Springer-Verlag, 1985.
Building tools for LOTOS Symbolic Semantics in Maude - Verdejo (2002) (1 citation) (Correct)
No context found.
H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 1: Equations and Initial Semantics. EATCS Monographs on Theoretical Computer Science. Springer-Verlag, 1985.
Executable Structural Operational Semantics in Maude - Verdejo, Martí-Oliet (2003) (2 citations) (Correct)
No context found.
H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 1: Equations and Initial Semantics. EATCS Monographs on Theoretical Computer Science. Springer, 1985.
Algebraic Process Verification - Groote, Reniers (5 citations) (Correct)
No context found.
H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification: Equations and Initial Semantics, volume 6 of EATCS Monographs on Theoretical Computer Science. Springer-Verlag, 1985.
Algebraization of Logics and Beyond - Goncalves (2004) (Correct)
No context found.
H. Ehrig and B. Mahr. Fundamentals of Algebraic Specifications I: Equations and Initial Semantics. Springer-Verlag, 1985.
Categorical Term Rewriting: Monads and Modularity - Lüth (1997) (Correct)
No context found.
H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 1: Equations and Initial Semantics, volume 6 of EATCS Monographs on Theoretical Computer Science. Springer Verlag, 1985.
On the Complexity of Specification Morphisms - Serafino Cicerone Francesco (1996) (1 citation) (Correct)
No context found.
H. Ehrig and B. Mahr, Fundamentals of Algebraic Specification 1: Equation and Initial Semantics, (EATCS Monographs on Theoretical Comp. Sci., vol. 6, Springer-Verlag, 1985).
Modelling and Validation of Tasks With Algebraic - Structured Nets Buchs (Correct)
No context found.
H. Ehrig and B. Mahr. Fundamentals of algebraic Specification 1: Equations and Initial Semantics, volume 6 EATC Monographs. Springer-Verlag, 1985.
Behavioral Verification of Distributed Concurrent Systems with.. - Goguen, Lin (Correct)
No context found.
Hartmut Ehrig and Bernd Mahr. Fundamentals of Algebraic Specification 1: Equations and Initial Semantics. Springer, 1985. EATCS Monographs on Theoretical Computer Science, Vol. 6.
Unifying ADT-- and Evolving Algebra Specifications - Horst Reichel Institut (1996) (3 citations) (Correct)
No context found.
Hartmut Ehrig and Bernd Mahr. Fundamentals of Algebraic Specifications 1: Equations and Initial Semantics, volume 6 of EATCS Monographs on Theoretical Computer Science. Springer-Verlag, 1985.
Toward Component-Oriented Formal Software Development.. - Bidoit, Sannella.. (Correct)
No context found.
H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification I: Equations and Initial Semantics. Springer (1985).
Model-Based Verification and Validation of Properties - Engels, Küster, Heckel.. (2003) (Correct)
No context found.
H. Ehrig and B. Mahr. Fundamentals of algebraic specifications 1: Equations and initial semantics, volume 6 of EACTS Monographs on Theoretical Computer Science. Springer, Berlin, 1985.
Toward Component-Oriented Formal Software Development.. - Bidoit, Sannella.. (2004) (Correct)
No context found.
H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification I: Equations and Initial Semantics. Springer (1985).
The Early Search for Tractable Ways of Reasoning About Programs - Jones (2003) (Correct)
No context found.
H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 1: Equations and Initial Semantics. EATCS Monographs on Theoretical Computer Science. Springer-Verlag, 1985.
A Maude Tutorial - Clavel Univ De (2000) (1 citation) (Correct)
No context found.
H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 1: Equations and Initial Semantics. Springer, 1985.
Formal Description and Analysis of a Bounded . . . - Mateescu (Correct)
No context found.
H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 1 --- Equations and Initial Semantics, volume 6 of EATCS Monographs on Theoretical Computer Science. Springer Verlag, 1985.
Formal Relationship between Petri Nets And Graph Grammars as.. - Bardohl, al. (2002) (Correct)
No context found.
H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 1: Equations and Initial Semantics, volume 6 of EATCS Monographs on Theoretical Computer Science. Springer Verlag, Berlin, 1985.
First 50 documents Next 50
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