C. Baier and M.E. Majster-Cederbaum. Denotational semantics in the cpo and metric approach. Th. Comp. Sci., 135:171--220, 1994. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Fixed Points in Metrified Quasi Ordered Sets: Modelling Escaping.. - Mohnen (Correct)
....point theorem for metrified quasi ordered sets. It can be seen as generalisation of the fixed point theorem of Knaster and Tarski for cpos. Another approach to semantics, typically used in the context of concurrency [dBZ82] is based on metric spaces and the fixed point theorem by Banach (see [BMC94] for a more detailed discussion of the metric space approach) We use techniques and notions from both approaches to obtain results for qos. Besides the escape behaviour of functional programs we have used this generalised framework for two other purposes: 1) In [Moh97a] we described a ....
C. Baier and M. E. Majster-Cederbaum. Denotational semantics in the cpo and metric approach. Theoretical Computer Science, 135(2):171--220, December 1994. Fundamental Study.
Using Quasi Ordered Sets to Model Program Properties Denotationally - Mohnen (1997) (Correct)
....a xpoint theorem for function spaces on quasi ordered sets. It can be seen as generalisation of the xpoint theorem of Knaster and Tarski for cpos. Another approach to semantics, typically used in the context of concurrency [2] is based on metric spaces and the xpoint theorem by Banach (see [1, 5] for a more detailed discussion of the metric space approach) We use techniques and notions from both approaches to obtain results for qos. The paper is organised as follows. In Section 2 we give the syntax and semantics of the imperative language while. The annotations of the semantics which ....
C. Baier and M. E. Majster-Cederbaum. Denotational semantics in the cpo and metric approach. Theoretical Computer Science, 135(2):171220, December 1994. Fundamental Study.
Metric Semantics for True Concurrent Real Time - Christel Baier Joost-Pieter (1998) (1 citation) Self-citation (Baier) (Correct)
No context found.
C. Baier and M.E. Majster-Cederbaum. Denotational semantics in the cpo and metric approach. Th. Comp. Sci., 135:171--220, 1994.
Metric Semantics for True Concurrent Real Time - Katoen, Baier, Latella (1999) (1 citation) Self-citation (Baier) (Correct)
....For hA; di with A 6= a com21 plete metric space and f : A Gamma A a contracting function on hA; di we have (1) f has a unique fixed point, say x, and (2) any sequence (x n ) such that x i 1 = f(x i ) has limit x. 5. 2 Denotational semantics We only give a brief account of our approach; see [35,10,6,11] for more information on the use of metrics for denotational semantics. The semantic domain S in our case a suitable variant of TES for PA is equipped with a set Op 0 of operators that reflect the operators Op of Expr. For any fixed declaration decl, the function P 7 M(decl; P ) for P ....
....hS; di where d(OE 1 ; OE 2 ) df supf d(OE 1 (P ) OE 2 (P ) j P 2 Expr g (1) for OE 1 ; OE 2 : Expr Gamma S. Function F decl is contracting on h[Expr Gamma S] di if its constituents ; t , jj A and so on, are non distance increasing on hS; di and contracting in certain arguments [6,12]. Our first concern is to find an 22 appropriate function d on the semantical domain S, in our case TES. The semantics of PA is then obtained by M(decl; P ) df OE decl (P ) where OE decl : Expr Gamma S is the unique fixed point of F decl . 5.3 Time truncation The basis of our distance ....
[Article contains additional citation context not shown here]
C. Baier and M.E. Majster-Cederbaum. Denotational semantics in the cpo and metric approach. Th. Comp. Sci., 135:171--220, 1994.
Metric Semantics for True Concurrent Real Time - Baier, Katoen, Latella (1998) (1 citation) Self-citation (Baier) (Correct)
....1 . Definition10. For t 2 [0; 1) let E 1 t E 2 , E 1 [t;t] E 2 . By straightforward proof one can establish that TES is closed under the operators a I : nA, jj A , and t . 5 A metric denotational semantics The approach. We only give a brief account of our approach; see [2] for a full treatment, and [15, 5, 6] for more information on the use of metrics for denotational semantics. The semantic domain S for PA is equipped with a set Op 0 of operators that reflect the operators Op of Expr. For any fixed declaration decl, the function P 7 M(hdecl; P i) is a ....
C. Baier and M.E. Majster-Cederbaum. Denotational semantics in the cpo and metric approach. Th. Comp. Sci., 135:171--220, 1994.
Optimising the Memory Management of Higher-Order Functional.. - Mohnen (1997) (2 citations) (Correct)
No context found.
C. Baier and M. E. Majster-Cederbaum. Denotational semantics in the cpo and metric approach. Theoretical Computer Science, 135(2):171220, December 1994. Fundamental Study.
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