From Outermost Reduction Semantics to Abstract Machine

Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

Original languageEnglish
Title of host publication23rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2013 : Revised Selected Papers
EditorsGopal Gupta , Ricardo Ricardo Peña
Number of pages8
PublisherSpringer VS
Publication year2014
Pages91-98
ISBN (print)978-3-319-14124-4
ISBN (Electronic)978-3-319-14125-1
DOIs
Publication statusPublished - 2014
EventInternational Symposium on Logic-Based Program Synthesis and Transformation - Madrid, Spain
Duration: 18 Sep 201319 Sep 2013
Conference number: 23

Conference

ConferenceInternational Symposium on Logic-Based Program Synthesis and Transformation
Nummer23
LandSpain
ByMadrid
Periode18/09/201319/09/2013
SeriesLecture Notes in Computer Science
Volume8901
ISSN0302-9743

See relations at Aarhus University Citationformats

ID: 70116550