Abstract
Cool is a unifying control-flow analysis (CFA) generator for system analysis. It uniformly supports the automatic generation of transition systems and flow graphs from process algebra terms and programs of programming languages. Basically, it relies on “unrolling” its argument according to transition rules resembling structural operational semantic rules. As a side-effect of the unifying view of process algebra and programming language programs, Cool supports the automatic construction of CFA-components of optimizing compilers, which are usually still hand-coded. Thus, combining it with data-flow analysis and optimization generators like the DFA&OPT-METAFrame tool kit it renders possible the generation of complete optimizers.
Chapter PDF
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
M. Alt and F. Martin. Generation of efficient interprocedural analyzers with PAG. In Proc. 2nd Int. Static Analysis Symp. (SAS'95), LNCS 983, pages 33–50. Springer-V., 1995.
V. Braun. A transition system generator for process algebras. Master's thesis, RWTH Aachen, Germany, 1994. (In German).
V. Braun, J. Knoop, and D. Koschützki. Cool: A control-flow generator for system analysis. Technical Report MIP-9801, Fak. f. Math. u. Inf., Univ. Passau, Germany, 1998.
R. Cleaveland, E. Madelaine, and S. Sims. A front-end generator for verification tools. In Proc. 1st Int. Workshop on Tools and Algorithms for Constr. and Analysis of Syst. (TACAS'95), LNCS 1019, pages 153–173. Springer-V., 1995.
Ch. Donnelly and R. M. Stallman. Bison, the YACC-compatible parser generator. Free Software Foundation, 1991.
C. W. Fraser and A. L. Wendt. Automatic generation of fast optimizing code generators. In Proc. ACM SIGPLAN Conf Prog. Lang. Design and Impl. (PLDI'88), volume 23,7 of ACM SIGPLAN Not., pages 79–84, 1988.
M. Klein, J. Knoop, D. Koschützki, and B. Steffen. DFA&OPT-MetaFrame: A tool kit for program analysis and optimization. In Proc. 2nd Int. Workshop on Tools and Algorithms for Constr. and Analysis of Syst. (TACAS'96), LNCS 1055, pages 422–426. Springer-V., 1996.
G. T. Nicol. Flex, the lexical scanner generator. Free Software Foundation, 1993.
St. W. K. Tijan and J. L. Hennessy. Sharlit — A tool for building optimizers. In Proc. ACM SIGPLAN Conf. Prog. Lang. Design and Impl. (PLDI'92), volume 27,7 of ACM SIGPLAN Not., pages 82–93, 1992.
M. v. d. Beeck, V. Braun, A. Claßen, A. Dannecker, C. Friedrich, D. Koschützki, T. Margaria, F. Schreiber, and B. Steffen. Graphs in MetaFrame: The unifying power of polymorphism. In Proc. 3rd Int. Workshop on Tools and Algorithms for Constr. and Analysis of Syst. (TACAS'97), LNCS 1217, pages 112–129. Springer-V., 1997.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Braun, V., Knoop, J., Koschützki, D. (1998). Cool: A control-flow generator for system analysis. In: Koskimies, K. (eds) Compiler Construction. CC 1998. Lecture Notes in Computer Science, vol 1383. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0026442
Download citation
DOI: https://doi.org/10.1007/BFb0026442
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64304-3
Online ISBN: 978-3-540-69724-4
eBook Packages: Springer Book Archive