Pretražite po imenu i prezimenu autora, mentora, urednika, prevoditelja

Napredna pretraga

Pregled bibliografske jedinice broj: 541823

CoreStar: The Core of jStar


Botinčan, Matko; Distefano, Dino; Dodds, Mike; Grigore, Radu; Naudziuniene, Daiva; Parkinson, Matthew J.
CoreStar: The Core of jStar // Proceedings of the 1st International Workshop on Intermediate Verification Languages (Boogie 2011) / Leino, Rustan ; Moskal, Michal (ur.).
Redmond, WA: Microsoft Research, 2011. str. 65-77 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)


CROSBI ID: 541823 Za ispravke kontaktirajte CROSBI podršku putem web obrasca

Naslov
CoreStar: The Core of jStar

Autori
Botinčan, Matko ; Distefano, Dino ; Dodds, Mike ; Grigore, Radu ; Naudziuniene, Daiva ; Parkinson, Matthew J.

Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni

Izvornik
Proceedings of the 1st International Workshop on Intermediate Verification Languages (Boogie 2011) / Leino, Rustan ; Moskal, Michal - Redmond, WA : Microsoft Research, 2011, 65-77

Skup
The 1st International Workshop on Intermediate Verification Languages (Boogie 2011)

Mjesto i datum
Vroclav, Poljska, 01-01.08.2011

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
separation logic; program analysis; program verification

Sažetak
Separation logic is a promising approach to program verification. However, currently there is no shared infrastructure for building verification tools. This increases the time to build and experiment with new ideas. In this paper, we outline coreStar, the verification framework underlying jStar. Our aim is to provide basic support for developing separation logic tools. This paper shows how a language can be encoded into coreStar, and gives details of how coreStar works to enable extensions.

Izvorni jezik
Engleski

Znanstvena područja
Matematika, Računarstvo



POVEZANOST RADA


Projekti:
037-0362980-2774 - Distribuirani algoritmi za pronalaženje optimalnih putova u grafovima (Manger, Robert, MZOS ) ( POIROT)

Ustanove:
Prirodoslovno-matematički fakultet, Matematički odjel, Zagreb

Profili:

Avatar Url Matko Botinčan (autor)


Citiraj ovu publikaciju:

Botinčan, Matko; Distefano, Dino; Dodds, Mike; Grigore, Radu; Naudziuniene, Daiva; Parkinson, Matthew J.
CoreStar: The Core of jStar // Proceedings of the 1st International Workshop on Intermediate Verification Languages (Boogie 2011) / Leino, Rustan ; Moskal, Michal (ur.).
Redmond, WA: Microsoft Research, 2011. str. 65-77 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
Botinčan, M., Distefano, D., Dodds, M., Grigore, R., Naudziuniene, D. & Parkinson, M. (2011) CoreStar: The Core of jStar. U: Leino, R. & Moskal, M. (ur.)Proceedings of the 1st International Workshop on Intermediate Verification Languages (Boogie 2011).
@article{article, author = {Botin\v{c}an, Matko and Distefano, Dino and Dodds, Mike and Grigore, Radu and Naudziuniene, Daiva and Parkinson, Matthew J.}, year = {2011}, pages = {65-77}, keywords = {separation logic, program analysis, program verification}, title = {CoreStar: The Core of jStar}, keyword = {separation logic, program analysis, program verification}, publisher = {Microsoft Research}, publisherplace = {Vroclav, Poljska} }
@article{article, author = {Botin\v{c}an, Matko and Distefano, Dino and Dodds, Mike and Grigore, Radu and Naudziuniene, Daiva and Parkinson, Matthew J.}, year = {2011}, pages = {65-77}, keywords = {separation logic, program analysis, program verification}, title = {CoreStar: The Core of jStar}, keyword = {separation logic, program analysis, program verification}, publisher = {Microsoft Research}, publisherplace = {Vroclav, Poljska} }




Contrast
Increase Font
Decrease Font
Dyslexic Font