Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Daiva Naudziuniene"'
Autor:
Daiva Naudziuniene, Martin Bodin, G. D. P. Smith, Philippa Gardner, Alan Schmitt, Daniele Filaretti, Arthur Charguéraud, Sergio Maffeis
Publikováno v:
POPL 2014-41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
POPL 2014-41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 2014, San Diego, United States
41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)
HAL
POPL
Scopus-Elsevier
POPL 2014-41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 2014, San Diego, United States
41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)
HAL
POPL
Scopus-Elsevier
JavaScript is the most widely used web language for client-side applications. Whilst the development of JavaScript was initially just led by implementation, there is now increasing momentum behind the ECMA standardisation process. The time is ripe fo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::36fca87e5d40dcd8a4422a0b6b15e449
https://inria.hal.science/hal-00910135
https://inria.hal.science/hal-00910135
Autor:
Matko Botinčan, Matthew Parkinson, Mike Dodds, Dino Distefano, Radu Grigore, Daiva Naudziuniene
Publikováno v:
SIGSOFT FSE
jStar is a tool for automatically verifying Java programs. It uses separation logic to support abstract reasoning about object specifications. jStar can verify a number of challenging design patterns, including Subject/Observer, Visitor, Factory and