Program Logics for Homogeneous Meta-programming

Martin Berger, Laurence Tratt. Program Logics for Homogeneous Meta-programming. In Edmund M. Clarke, Andrei Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning - 16th International Conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010, Revised Selected Papers. Volume 6355 of Lecture Notes in Computer Science, pages 64-81, Springer, 2010. [doi]

@inproceedings{BergerT10,
  title = {Program Logics for Homogeneous Meta-programming},
  author = {Martin Berger and Laurence Tratt},
  year = {2010},
  doi = {10.1007/978-3-642-17511-4_5},
  url = {http://dx.doi.org/10.1007/978-3-642-17511-4_5},
  tags = {meta programming, meta-model, logic programming, programming, logic, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/BergerT10},
  cites = {0},
  citedby = {0},
  pages = {64-81},
  booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 16th International Conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010, Revised Selected Papers},
  editor = {Edmund M. Clarke and Andrei Voronkov},
  volume = {6355},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-17510-7},
}