Comparative Semantics for a Real-Time Programming Language with Integration

An operational and a denotational semantic model are presented for a real-time programming language incorporating the concept of integration. This concept of integration, which has been introduced by Baeten and Bergstra 4], enables us to specify a restricted form of unbounded non-determinism. For example, the execution of an action at an arbitrary moment in a time interval can be speci ed using integration. The operational and the denotational model are proved to be equivalent using a general method based on higher-order transformations and complete metric spaces. In this context, Banach's xed point theorem and Michael's theorem will turn out to be the most important aspects of complete metric spaces. Banach's theorem, which states that a contraction on a complete metric space has a unique xed point, will be used to de ne semantic models and to compare semantic models. Michael's theorem, which roughly states that a compact union of compact sets is compact, will be ...

• Type: Conference
• Year: 1991
• Where: TAPSOFT
• Authors: Franck van Breugel
• Keywords: Complete Metric Space, Denotational Semantic Model, Semantic Models, Software Engineering, TAPSOFT 1991