Software Search - zbMATH Open

Cyclone

swMATH ID:	9693
Software Authors:	Smith, Frederick; Grossman, Dan; Morrisett, Greg; Hornof, Luke; Jim, Trevor
Description:	Compiling for template-based run-time code generation. Cyclone is a type-safe programming language that provides explicit run-time code generation. The Cyclone compiler uses a template-based strategy for run-time code generation in which pre-compiled code fragments are stitched together at run time. This strategy keeps the cost of code generation low, but it requires that optimizations, such as register allocation and code motion, are applied to templates at compile time. This paper describes a principled approach to implementing such optimizations. In particular, we generalize standard flowgraph intermediate representations to support templates, define a mapping from (a subset of) Cyclone to this representation, and describe a dataflow-analysis framework that supports standard optimizations across template boundaries.
Homepage:	http://www.eecs.harvard.edu/~greg/cyclone/old_cyclone.html
Keywords:	Cyclone
Related Software:	CCured; Haskell; Featherweight Java; PIPER; MJ; Spec#; ML; Valgrind; Hume; Cedalion; JastAdd; Feldspar; mbeddr; TALx86; Welterweight Java; JCobox; ABS; Multilisp; Erlang; JoCaml
Cited in:	27 Publications

all top 5

3	Gay, Simon J.
3	Morrisett, Greg
2	Grossman, Dan
2	Jim, Trevor
2	Pun, Ka I.
2	Ravara, António
2	Steffen, Martin
2	Stolz, Volker
2	Vasconcelos, Vasco Thudichum
1	Aktemur, Barış
1	Andreae, Chris
1	Birkedal, Lars
1	Brand, Daniel
1	Buss, Marcio
1	Charlton, Nathaniel
1	Choi, Wontae
1	Coady, Yvonne
1	Condit, Jeremy
1	Debbabi, Mourad
1	Douence, Rémi
1	Edwards, Stephen A.
1	Fluet, Matthew T.
1	Fritz, Thomas
1	Gesbert, Nils
1	Gibbs, Celina
1	Hackett, Brian
1	Haller, Philipp
1	Hole, Malcolm
1	Hornof, Luke
1	Horwitz, Susan
1	Jaber, Guilhem
1	Jeannet, Bertrand
1	Jhala, Ranjit
1	Lahiri, Shuvendu Kumar
1	Lemerre, Matthieu
1	Lochbihler, Andreas
1	Loriant, Nicolas
1	Lumsdaine, Andrew
1	Majumdar, Rupak
1	Marché, Claude
1	Menaud, Jean-Marc
1	Miller, Heather
1	Moy, Yannick
1	Nicole, Olivier
1	Noble, James S.
1	Paykin, Jennifer
1	Qadeer, Shaz
1	Rival, Xavier
1	Ségura-Devillechaise, Marc
1	Sieczkowski, Filip
1	Siek, Jeremy G.
1	Smith, Frederick W.
1	Sotin, Pascal
1	Spinellis, Diomidis D.
1	Sreedhar, Vugranam
1	Südholt, Mario
1	Swamy, Nikhil
1	Tatsuta, Makoto
1	Thamsborg, Jacob
1	Tlili, Syrine
1	Vitek, Jan
1	Xu, Ru-Gang
1	Yi, Kwangkeun
1	Yong, Suan Hsi
1	Yoshida, Nobuko
1	Zdancewic, Steve
1	Zhao, Tian

all top 5

4	Science of Computer Programming
2	Journal of Automated Reasoning
2	Journal of Logical and Algebraic Methods in Programming
1	Acta Informatica
1	Theoretical Computer Science
1	Journal of Symbolic Computation
1	Information and Computation
1	Formal Aspects of Computing
1	Real-Time Systems
1	MSCS. Mathematical Structures in Computer Science
1	Formal Methods in System Design
1	Journal of Functional Programming
1	The Journal of Logic and Algebraic Programming
1	Logical Methods in Computer Science

26	Computer science (68-XX)
3	Mathematical logic and foundations (03-XX)
1	Category theory; homological algebra (18-XX)