Publicações

Gillian, Part I: A Multi-Language Platform for Symbolic Execution

AuthID
P-00S-BH8

Author(s)

Santos, JF

Maksimovic, P

Ayoun, SE

Gardner, P

Editor(s)

Donaldson,AF;Torlak,E

Document Type

Proceedings Paper

Year published

2020

Published

in PROCEEDINGS OF THE 41ST ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '20)

Pages: 927-942 (16)

Conference

41St Acm Sigplan Conference on Programming Language Design and Implementation (Pldi), Date: JUN 15-20, 2020, Location: ELECTR NETWORK, Sponsors: Assoc Comp Machinery, ACM SIGPLAN

Indexing

Wos^®

Scopus^®

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1145/3385412.3386014

Scopus: 2-s2.0-85086829949

Wos: WOS:000614622300062

Export Publication Metadata

Lista Marked

Adicionar à lista Marked

Info

At this moment we don't have any links to full text documens.

Gillian, Part I: A Multi-Language Platform for Symbolic Execution

Useful Links

Get Help

Autenticação Federada (Click on the image)

Gillian, Part I: A Multi-Language Platform for Symbolic Execution

Useful Links

Get Help