A Modeling Language for Program Design and Synthesis

Don S. Batory. A Modeling Language for Program Design and Synthesis. In Egon Börger, Antonio Cisternino, editors, Advances in Software Engineering, Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures. Volume 5316 of Lecture Notes in Computer Science, pages 39-58, Springer, 2007. [doi]

@inproceedings{Batory07:0,
  title = {A Modeling Language for Program Design and Synthesis},
  author = {Don S. Batory},
  year = {2007},
  doi = {10.1007/978-3-540-89762-0_2},
  url = {http://dx.doi.org/10.1007/978-3-540-89762-0_2},
  tags = {programming languages, modeling language, modeling, language modeling, language design, design},
  researchr = {https://researchr.org/publication/Batory07%3A0},
  cites = {0},
  citedby = {0},
  pages = {39-58},
  booktitle = {Advances in Software Engineering, Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures},
  editor = {Egon Börger and Antonio Cisternino},
  volume = {5316},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-89761-3},
}