The Constructive Semantics of Pure Esterel (1999)
Cached
Download Links
- [ftp-sop.inria.fr]
- [ftp-sop.inria.fr]
- [ftp-sop.inria.fr]
- DBLP
Other Repositories/Bibliography
| Citations: | 77 - 2 self |
BibTeX
@MISC{Berry99theconstructive,
author = {G. Berry},
title = {The Constructive Semantics of Pure Esterel},
year = {1999}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Contents 1 Introduction 9 I Informal Presentation 17 2 The Pure Esterel Kernel Language 19 2.1 Signals and Reactions . . . . . . . . . . . . . . . . . . . . . . 19 2.2 Kernel Esterel Statement . . . . . . . . . . . . . . . . . . . . 20 2.3 The Intuitive Semantics . . . . . . . . . . . . . . . . . . . . . 20 2.4 Comparison with Previous Kernels . . . . . . . . . . . . . . . 23 3 Logical Correctness 27 3.1 Logical Correctness . . . . . . . . . . . . . . . . . . . . . . . . 28 3.2 Examples of Logically Correct Programs . . . . . . . . . . . . 28 3.3 Examples of Logically Incorrect Programs . . . . . . . . . . . 30 3.4 A Strange Logically Correct Program . . . . . . . . . . . . . . 32 4 The Constructive Approach 35 4.1 External Justiøcation Versus Self-justiøcation . . . . . . . . . 35 4.2 The Constructive Behavioral Semantics . . . . . . . . . . . . 37 4.2.1 Accepting Programs . . . . . . . . . . . . . . . . . . . 38 4.
