Dynamic symbolic computation for domain-specific language implementation

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

OriginalsprogEngelsk
TitelLogic-Based Program Synthesis and Transformation : 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
RedaktørerGermán Vidal
Antal sider21
ForlagSpringer
Publikationsdato2012
Sider4-24
ISBN (Trykt)978-3-642-32210-5
ISBN (Elektronisk)978-3-642-32211-2
DOI
StatusUdgivet - 2012
Begivenhed21st International Symposium on Logic-Based Program Synthesis and Transformation - Odense, Danmark
Varighed: 18 jul. 2011 → 20 jul. 2011
Konferencens nummer: 21

Konference

Konference21st International Symposium on Logic-Based Program Synthesis and Transformation
Nummer21
LandDanmark
ByOdense
Periode18/07/2011 → 20/07/2011
NavnLecture notes in computer science
Vol/bind7225
ISSN0302-9743

ID: 46384722