Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Derek Bronish"'
Autor:
Bruce Adcock, Derek Bronish, Jason Kirschenbaum, Hampton Smith, Joan Krone, David Frazier, Heather Harton, Harvey M. Friedman, Jeremy Avigad, Wayne D. Heym, Murali Sitaraman, Bruce W. Weide, Paolo Bucci
Publikováno v:
Formal Aspects of Computing. 23:607-626
A central objective of the verifying compiler grand challenge is to develop a push-button verifier that generates proofs of correctness in a syntax-driven fashion similar to the way an ordinary compiler generates machine code. The software developer
Autor:
Derek Bronish, Gary T. Leavens, Mattias Ulbrich, Ernie Cohen, Rob Arthan, Valentin Wüstholz, Rosemary Monahan, K. Rustan M. Leino, Nadia Polikarpova, Jan Smans, Mark Hillebrand, Tom Ridge, Vladimir Klebanov, Natarajan Shankar, Rod Chapman, Eyad Alkassar, Peter Müller, Frank Piessens, Stephan Tobies, Bart Jacobs, Benjamin Weiß, Thomas Tuerk
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783642214363
FM
FM
We, the organizers and participants, report our experiences from the 1st Verified Software Competition, held in August 2010 in Edinburgh at the VSTTE 2010 conference. Best paper at Formal Methods 2011. ispartof: pages:154-168 ispartof: 17th Internati
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bbe4ab8a1d1b1a4c14d0ff101053bde6
https://lirias.kuleuven.be/handle/123456789/301172
https://lirias.kuleuven.be/handle/123456789/301172
Autor:
Derek Bronish, Hampton Smith
Publikováno v:
PLPV
Maps are a fundamental component in the development of modern software. The ability to associate keys with values in the manner of a partial mathematical function is important for a wide range of applications, and also accommodates a broad variety of
Publikováno v:
FoSER
Many fields of study within computer science have benefited from the adoption of community-wide benchmarks and competitions. Software engineering has yet to fully embrace this approach. Case studies of existing uses of these techniques are presented,
Autor:
Scott M. Pike, Bruce Adcock, Derek Bronish, Jason Kirschenbaum, Bruce W. Weide, Wayne D. Heym
Publikováno v:
OOPSLA Companion
Data movement in nearly all modern imperative languages is based on a single primitive: traditional assignment. (With traditional assignment, data are moved between variables by copying.) Unfortunately, traditional assignment poses many known softwar
Autor:
Bruce Adcock, Derek Bronish, Hampton Smith, Heather Harton, Murali Sitaraman, Jason Kirschenbaum, Bruce W. Weide
Publikováno v:
Formal Foundations of Reuse and Domain Engineering ISBN: 9783642042102
ICSR
ICSR
Anecdotal experience constructing proofs of correctness of code built from reusable software components reveals that they tend to be relatively trivial bookkeeping exercises: they rarely require a substantive mathematical deduction. A careful empiric
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9c736373d8501a04ea37a926cd687548
https://doi.org/10.1007/978-3-642-04211-9_4
https://doi.org/10.1007/978-3-642-04211-9_4
Autor:
Jason Kirschenbaum, Wayne D. Heym, David Frazier, Heather Harton, Murali Sitaraman, Bruce W. Weide, Paolo Bucci, Bruce Adcock, Derek Bronish
Publikováno v:
Verified Software: Theories, Tools, Experiments ISBN: 9783540878728
VSTTE
VSTTE
This paper proposes an initial catalog of easy-to-state, relatively simple, and incrementally more and more challenging benchmark problems for the Verified Software Initiative. These benchmarks support assessment of verification tools and techniques
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d9c230ee8508ea4026ac8ddb410152a9
https://doi.org/10.1007/978-3-540-87873-5_10
https://doi.org/10.1007/978-3-540-87873-5_10