Dynamic symbolic computation for domain-specific language implementation

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Original languageEnglish
Title of host publicationLogic-Based Program Synthesis and Transformation : 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
EditorsGermán Vidal
Number of pages21
PublisherSpringer
Publication date2012
Pages4-24
ISBN (Print)978-3-642-32210-5
ISBN (Electronic)978-3-642-32211-2
DOIs
Publication statusPublished - 2012
Event21st International Symposium on Logic-Based Program Synthesis and Transformation - Odense, Denmark
Duration: 18 Jul 2011 → 20 Jul 2011
Conference number: 21

Conference

Conference21st International Symposium on Logic-Based Program Synthesis and Transformation
Nummer21
LandDenmark
ByOdense
Periode18/07/2011 → 20/07/2011
SeriesLecture notes in computer science
Volume7225
ISSN0302-9743

ID: 46384722