JaVerT: JavaScript verification and testing framework

Gardner, Philippa

doi:https://www.dx.doi.org/10.1145/3236950.3236974

File(s)

RE_ ACM Rights Management_ PPDP '18 - 97, Submission ID_ 97, JaVerT_ Verification and Testing Framework, problem with the open access for the extended abstract of the invited talk.pdf (15.2 KB)

Supporting information

Gardner2018JaVerT.pdf (536.67 KB)

Accepted version

Author(s)

Gardner, Philippa

Type

Conference Paper

Date Issued

2018-09-03

Date Acceptance

2018-09-03

Citation

Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, 2018

URI

http://hdl.handle.net/10044/1/71985

DOI

https://www.dx.doi.org/10.1145/3236950.3236974

ISBN

978-1-4503-6441-6

Publisher

Association Company Machinery

Journal / Book Title

Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming

Copyright Statement

Identifier

http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000455400700001&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=1ba7043ffcc86c417c072aa74d649202

Source

20th International Symposium on Principles and Practice of Declarative Programming (PPDP)

Subjects

Science & Technology

Technology

Computer Science, Information Systems

Computer Science, Theory & Methods

Computer Science

Symbolic execution

Separation logic

Formal semantics

JavaScript

Publication Status

Published

Start Date

2018-09-03

Finish Date

2018-09-05

Coverage Spatial

Frankfurt am Main, Germany