Modular code generation from synchronous block diagrams: modularity vs. code size

Roberto Lublinerman, Christian Szegedy, Stavros Tripakis. Modular code generation from synchronous block diagrams: modularity vs. code size. In Zhong Shao, Benjamin C. Pierce, editors, Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009. pages 78-89, ACM, 2009. [doi]

@inproceedings{LublinermanST09,
  title = {Modular code generation from synchronous block diagrams: modularity vs. code size},
  author = {Roberto Lublinerman and Christian Szegedy and Stavros Tripakis},
  year = {2009},
  doi = {10.1145/1480881.1480893},
  url = {http://doi.acm.org/10.1145/1480881.1480893},
  tags = {optimization, semantics, completeness, model checking, meta-model, embedded software, reuse, code generation, sequence diagrams, information models, context-aware, Meta-Environment},
  researchr = {https://researchr.org/publication/LublinermanST09},
  cites = {0},
  citedby = {0},
  pages = {78-89},
  booktitle = {Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009},
  editor = {Zhong Shao and Benjamin C. Pierce},
  publisher = {ACM},
  isbn = {978-1-60558-379-2},
}