search result

Cover von Compiler construction
14th international conference, held as part of the joint European conferences on theory and practice of software, Edinburgh, UK, April 4 - 8, 2005, proceedings
Search for this author
Year: 2005
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 3443
Media group: MONOGRAPHIE
Cover von Algorithmic program synthesis

Algorithmic program synthesis

introduction : article
Year: 2013
Synthesis
Media group: ARTICLE
Cover von Synthesis; 5/6
Special Issue
Search for this author
Year: 2013
Publisher: Berlin, Springer
Count: 5/6
Media group: SPECIAL ISSUE
Cover von Domain-Specific Symbolic Compilation

Domain-Specific Symbolic Compilation

Year: 2017
Media group: LIPIcs
Cover von Software Synthesis; 4
pp. 21-38
Search for this author
Year: 2012
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 4
Media group: DAGSTUHL REPORT
Cover von LIPIcs, Volume 136, SNAPL'19, Complete Volume

LIPIcs, Volume 136, SNAPL'19, Complete Volume

Year: 2019
Media group: LIPIcs
Cover von Front Matter, Table of Contents, Preface, Conference Organization

Front Matter, Table of Contents, Preface, Conference Organization

Year: 2019
Media group: LIPIcs
Cover von 3rd Summit on Advances in Programming Languages
SNAPL 2019 : May 16 - 17, 2019, Providence, RI, USA
Search for this author
Year: 2019
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 136
Media group: LIPIcs
Cover von Front Matter, Table of Contents, Preface

Front Matter, Table of Contents, Preface

Year: 2017
Media group: LIPIcs
Cover von 2nd Summit on Advances in Programming Languages
SNAPL 2017 : May 7 - 10, 2017 : Asilomar, CA, USA
Search for this author
Year: 2017
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 71
Media group: LIPIcs
OPEN V 11.1.0.0