Clocks as First Class Abstract Types-Reference-Cited by-同舟云学术

Clocks as First Class Abstract Types

Published:2003 Issue: Volume: Page:134-155
ISSN:0302-9743
Container-title:Embedded Software
language:
Short-container-title:

Author:

Colaço Jean-Louis,Pouzet Marc

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-45212-6_10

Reference26 articles.

1. André, C.: Representation and Analysis of Reactive Behaviors: A Synchronous Approach. In: CESA, Lille, July 1996, IEEE-SMC (2000), Available at www-mips.unice.fr/~andre/synccharts.html

2. Ashcroft, E.A., Wadge, W.W.: Lucid, the data-flow programming language. Academic Press, London (1985)

3. Benveniste, A., LeGuernic, P., Jacquemot, C.: Synchronous programming with events and relations: the SIGNAL language and its semantics. Science of Computer Programming 16, 103–149 (1991)

4. Berry, G.: Real time programming: Special purpose or general purpose languages. Information Processing 89, 11–17 (1989)

5. Berry, G., Gonthier, G.: The Esterel synchronous programming language, design, semantics, implementation. Science of Computer Programming 19(2), 87–152 (1992)

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

1. Synchronous Deterministic Parallel Programming for Multi-Cores with ForeC;ACM Transactions on Programming Languages and Systems;2023-06-26

2. Synthesizing verified components for cyber assured systems engineering;Software and Systems Modeling;2023-03-21

3. Programming microcontrollers through high-level abstractions;Proceedings of the 12th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages;2020-11-15

4. Mechanized semantics and verified compilation for a dataflow synchronous language with reset;Proceedings of the ACM on Programming Languages;2020-01

5. SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language;Fundamental Approaches to Software Engineering;2019