H. Hussmann. Nondeterminism in Algebraic Speci cations and Algebraic Programs. Birkhauser, 1993. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Architectural Specification, Exploration and.. - Ayala-Rincon.. (2002) (Correct)
....applied in a nondeterministic manner. In fact, during one step of the whole rewriting process the rule to be applied is usually selected according to the ordering they were de ned and the selected rule is applied at the rst possible position the rule matches (left most, inner most or similarly) [9]. In our approach these problems arise when important architectural aspects such as out of order execution is to be simulated. Although our implementations are deterministic we comment how we can overcome these problems in a non purely rewrite based environment like ELAN, where some ....
....are applied nondeterministically. But in the practice, in purely rewrite based systems, this solution does not work since the application of a rule is decided by searching for either left most or right most (inner most) redices over the ITBs (according to the way the constructor # is de ned) [9]. To make e ective use of the natural concurrency of rewriting logic descriptions, availability of true nondeterministic strategies are necessary to decide which rule to apply and at which position. With some additional e ort, ELAN strategy constructors like don t know choose (that gives all ....
H. Hussmann. Nondeterminism in Algebraic Speci cations and Algebraic Programs. Birkhauser, 1993.
Reasoning with First Order Nondeterministic Specifications - Konikowska, Bialasik (Correct)
....f denotes a function of sort s, and x a variable of sort s. The presence of empty carriers requires us to pay somewhat more attention to the interpretation of terms. We have already mentioned in the introduction that variables are considered deterministic. Usually (e.g. in [BK 95, BK 95, Hus 93, WM 95] the interpretation of terms in a given multialgebra A was determined by a multi sorted valuation of variables that assigned to each x 2 X a single value from the appropriate carrier set of A. However, in our case some of the carriers might be empty, and hence the total valuations ....
Hussmann, H.: Nondeterminism in Algebraic Speci cations and Algebraic Programs. Birkhauser, 1993; An earlier version appeared as: Nondeterministic Algebraic Speci cations, Technical Report TUM-I0104, Technische Universitat Munchen, March 1991.
Convergent Approximate Solving of First-Order Constraints by.. - Ratschan (2001) (Correct)
....ers the left bound q of the annotation is strictly smaller than the right bound q we can attain arbitrarily small, user de ned, error. 16 9 Related Work Languages for modeling nondeterminism in various other forms have been introduced within the frame of abstract data types see for example [44, 43, 22, 28]. There one uses nondeterministic speci cations to either model nondeterminism occurring in reality, or to abstract away unnecessary details of the behavior of a real or desired system; these details might be speci ed later. Also in analysis nondeterminism has been modeled in order to deal with ....
H. Hussmann. Nondeterminism in Algebraic Specications and Algebraic Programs. Birkhauser, 1993.
Electronic Notes in Theoretical Computer Science 70 No. 6 (2002) - Url Http Www (Correct)
No context found.
H. Hussmann. Nondeterminism in Algebraic Speci cations and Algebraic Programs. Birkhauser, 1993.
Architectural Speci - Cation Exploration And (2002) (Correct)
No context found.
H. Hussmann. Nondeterminism in Algebraic Speci cations and Algebraic Programs. Birkhauser, 1993.
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