Behavioral Type Inference-Reference-Cited by-同舟云学术

Behavioral Type Inference

Published:2004 Issue: Volume: Page:245-282
ISSN:
Container-title:Formal Methods and Models for System Design
language:
Short-container-title:

Author:

Talpin Jean-Pierre,Berner David,Shukla Sandeep Kumar,Le Guernic Paul,Gamatié Abdoulaye,Gupta Rajesh

Publisher

Springer US

Link

http://link.springer.com/content/pdf/10.1007/978-1-4020-8052-4_10

Reference20 articles.

1. Amagbegnon, T. P., Besnard, L., le Guernic, P. “Implementation of the data-flow synchronous language SIGNAL”. In Conference on Programming Language Design and Implementation. ACM Press, 1995.

2. J.T. Buck, S. Ha, E.A. Lee and D.G. Messerschmitt. Ptolemy: A Framework for Simulating and Prototyping Heterogeneous Systems. International Journal of Computer Simulation, special issue on “Simulation Software Development”v. 4, pp. 155–182. Ablex, April 1994.

3. E. Dijkstra “A Discipline of Programming”. Prentice Hall, 1976.

4. de Alfaro, L., Henzinger, T. A. “Interface theories for component-based design”. International Workshop on Embedded Software. Lecture Notes in Computer Science v. 2211. Springer-Verlag, 2001.

5. F. Doucet, S. Shukla, and R. Gupta. “Typing abstractions and management in a component framework”. Asia and South Pacific Design Automation Conference, January 2003.

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

1. Compositional Reactive Semantics of SystemC and Verification with RuleBase;Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems;2007

2. A Compositional Behavioral Modeling Framework for Embedded System Design and Conformance Checking;International Journal of Parallel Programming;2005-12

3. Behavioral Type Inference;Formal Methods and Models for System Design;2004