A hardware implementation of pure ESTEREL-Reference-Cited by-同舟云学术

A hardware implementation of pure ESTEREL

Published:1992-03 Issue:1 Volume:17 Page:95-130
ISSN:0256-2499
Container-title:Sadhana
language:en
Short-container-title:Sadhana

Author:

Berry G

Publisher

Springer Science and Business Media LLC

Subject

Multidisciplinary

Link

http://link.springer.com/content/pdf/10.1007/BF02811340.pdf

Reference25 articles.

1. Berry G 1989Real-time programming: general purpose or special-purpose languages, Information Processing 1989 (ed.) G X Ritter (Amsterdam: Elsevier Science/North Holland) pp. 11–17

2. Berry G, Benveniste A 1991 The synchronous approach to reactive and real-time systems. Another look at real time programming.Proc. ieee 79: 1270–1282

3. Berry G, Cosserat L 1984 The synchronous programming languages Esterel and its mathematical semantics. InSeminar on concurrency. Lecture Notes in Computer Science Vol. 197 (eds) S Brookes, G Winskel) (Berlin: Springer Verlag) pp. 389–448

4. Berry G, Couronne P, Gonthier G 1988 Synchronous programming of reactive systems: an introduction to Esterel. InProgramming of future generation computers (eds) K Fuchi, M Nivat (Amsterdam: Elsevier Science/North Holland) pp. 35–55

5. Berry G, Gonthier G 1989 The Esterel synchronous programming language: Design, semantics, implementation, Res. Rep. 842, to appear inScience of computer programming

Cited by 25 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Work-in-Progress: mixing computation and interaction on FPGA;Proceedings of the International Conference on Embedded Software;2023-09-17

2. Modular Hardware Design with Timeline Types;Proceedings of the ACM on Programming Languages;2023-06-06

3. Hardware Implementation of OCaml Using a Synchronous Functional Language;Lecture Notes in Computer Science;2023

4. Quartz: A Synchronous Language for Model-Based Design of Reactive Embedded Systems;Handbook of Hardware/Software Codesign;2017

5. Formally Unifying Modeling and Design for Embedded Systems - A Personal View;Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications;2016