Login
Document type:
Konferenzbeitrag / Conference Paper
Title:
Prototyping Symbolic Execution Engines for Interpreted Languages
Collection title:
ASPLOS '14 Proceedings of the 19th international conference on Architectural support for programming languages and operating systems
Collection subtitle:
Salt Lake City, Utah, USA — March 01 - 05, 2014
Conference title:
International Conference on Architectural Support for Programming Languages and Operating Systems (19., 2014, Salt Lake City, UT)
Venue:
Salt Lake City, Utah
Year of conference:
2014
Date of conference beginning:
01.03.2014
Date of conference ending:
05.03.2014
Place of publication:
New York, NY
Publisher:
ACM
Year:
2014
Pages from - to:
239-254
Language:
Englisch
ISBN:
978-1-4503-2305-5
Open Access yes or no?:
Ja / Yes
BibTeX