Clock analysis of synchronous dataflow programs

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Clock analysis of synchronous dataflow programs

Full text

Pdf (1.08 MB)

Source

ACM/SIGPLAN Workshop Partial Evaluation and Semantics-Based Program Manipulation archive
Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation table of contents

La Jolla, California, United States

Pages: 156 - 167

Year of Publication: 1995

ISBN:0-89791-720-0

Author

Thomas P. Jensen

CNRS-LIX, Ecole Polytechnique, 91128 Palaiseau, France

Sponsor

SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 1, Downloads (12 Months): 8, Citation Count: 1

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/215465.215582 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	Amt94	Torben Amtoft, Local Type Reconstruction by Means of Symbolic Fixed Point Iteration, Proceedings of the 5th European Symposium on Programming: Programming Languages and Systems, p.43-57, April 11-13, 1994
	BB91	A. Benveniste and G. Berry, editors. Another look at real-time programming. Special issue of Proceedings of the IEEE, vol. 79, no. 9. IEEE Press, September 1991.
	Ber86	J.-L. Bergerand. LUSTRE: un langage ddclaratif pour le temps reel. PhD thesis, Institut national polytechnique de Grenoble, 1986.
	BLL92	Albert Benveniste , Michel Le Borgne , Paul Le Guernic, SIGNAL as a model for real-time and hybrid systems, Symposium proceedings on 4th European symposium on programming, p.20-38, January 1992, Rennes, France
	BLSS92	Albert Benveniste , Paul Le Guernic , Yves Sorel , Michel Sorine, A denotational theory of synchronous reactive systems, Information and Computation, v.99 n.2, p.192-230, Aug. 1992 [doi>10.1016/0890-5401(92)90030-J]
	CC77	Patrick Cousot , Radhia Cousot, Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.238-252, January 17-19, 1977, Los Angeles, California [doi>10.1145/512950.512973]
	CC79	Patrick Cousot , Radhia Cousot, Systematic design of program analysis frameworks, Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.269-282, January 29-31, 1979, San Antonio, Texas [doi>10.1145/567752.567778]
	CFW91	A. Cortesi, G. Fil~, and W. Winsborough. Prop revisited: Propositional formula as abstract domain for groundness analysis. In Proc. o/6th Symposium on Logic in Computer Science, pages 322-327. IEEE Computer Society Press, 1991.
	CPHP87	P. Caspi , D. Pilaud , N. Halbwachs , J. A. Plaice, LUSTRE: a declarative language for real-time programming, Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.178-188, January 21-23, 1987, Munich, West Germany [doi>10.1145/41625.41641]
	GLB87	Thierry Gautier , Paul Le Guernic , Löic Besnard, SIGNAL: A declarative language for synchronous programming of real-time systems, Proc. of a conference on Functional programming languages and computer architecture, p.257-277, October 1987, Portland, Oregon, United States
	Hal93	Nicolas Halbwachs, Synchronous Programming of Reactive Systems, Kluwer Academic Publishers, Norwell, MA, 1992
	Hen91	Fritz Henglein, Efficient type inference for higher-order binding-time analysis, Proceedings of the 5th ACM conference on Functional programming languages and computer architecture, p.448-472, June 1991, Cambridge, Massachusetts, United States
	HM94	Fritz Henglein , Christian Mossin, Polymorphic Binding-Time Analysis, Proceedings of the 5th European Symposium on Programming: Programming Languages and Systems, p.287-301, April 11-13, 1994
	JM81	N.D. Jones and S.S. Muchnick. Complexity of flow analysis, inductive assertion synthesis and a language due to Dijkstra. In N. Jones and S. Muchnick, editors, Program Flow Analysis: Theory and Applications. Prentice-Hall, 1981.
	Kah74	G. Kahn. The semantics of a simple language for parallel processing. In In/ormation Processing 7~. Proc. o} IFIP Congres, pages 471-475. North-Holland, 1974.
	KM77	G. Kahn and D. MacQueen. Coroutines and networks of parallel processes. In B. Gilchrist, editor, Information Processinhg 77. Proc. of IFIP Congres, pages 993-998. North-Holland, 1977.
	LB86	P. Le Guernic and A. Benveniste. Real-time, synchronous data-flow programming: the language SIGNAL and its mathematical semantics. Rapports de recherche 533, IRISA/INRIA, Rennes, 1986.
	LGLL91	P. Le Guernic, T. Gauthier, M. Le Borgne, and C. Le Maire. Programming real-time applications with SIGNAL. Proceedings o/the IEEE, 79(9):1321-1336, 1991.
	Mil78	R. Milner. A theory of type polymorphism in programming. Journal o} Computer and System Sciences, 17:348-375, 1978.
	MSJ94	Kim Marriott , Harald Søndergaard , Neil D. Jones, Denotational abstract interpretation of logic programs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.16 n.3, p.607-648, May 1994 [doi>10.1145/177492.177650]
	Pla88	J.A. Plaice. Sdmantique et compilation de L US- TRE, un langage ddclarati} synchrone. PhD thesis, Institut national polytechnique de Grenoble, 1988.