Back to Results
First PageMeta Content
Software engineering / Computer programming / Computing / Compiler optimizations / Cross-platform software / Scripting languages / Logic in computer science / JavaScript / Separation logic / Inline expansion / Correctness / Loop unrolling


Javanni: A Verifier for JavaScript Martin Nordio1 , Cristiano Calcagno2 , and Carlo A. Furia1 1 2
Add to Reading List

Document Date: 2013-03-04 10:30:18

Open Document

File Size: 109,45 KB

Share Result on Facebook