Zobrazeno 1 - 9
of 9
pro vyhledávání: '"SEMANTICS OF PROGRAMMING LANGUAGES + SYNTAX OF PROGRAMMING LANGUAGES"'
Publikováno v:
Technical Report / ETH Zurich, Department of Computer Science, 773
Methodologies for static program verication and analysis often support recursive predicates in specications, in order to reason about recursive data structures. Intuitively, a predicate instance represents the complete unrolling of its denition; this
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7537f6fcaf52e1ac5f57381615a5508c
Autor:
Schmalz, Matthias
Publikováno v:
Technical Report / ETH Zurich, Department of Computer Science, 698
Technical Report / ETH Zurich, Department of Computer Science, 698
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7edbe4846590b62dd51d554a5c3b9852
https://hdl.handle.net/20.500.11850/69354
https://hdl.handle.net/20.500.11850/69354
Autor:
Fruja, Nicu Georgian
Publikováno v:
Technical Report / ETH Zurich, Department of Computer Science, 519
Technical Report / ETH Zurich, Department of Computer Science, 519
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8070ef280214fbe21a2f25037d7bedd1
Publikováno v:
Technical report, 714
JML is a complex specication language for Java. Its large scale and manifold features make it hard to precisely dene its semantics in a reference manual. It is thus desirable to formally specify the syntax and semantics of JML. There are many good re
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::dfa544c5f13531fb8698fad78d81bc68
Autor:
Jula, Horatiu V.
Publikováno v:
Technical Report / ETH Zurich, Department of Computer Science, 488
Technical Report / ETH Zurich, Department of Computer Science, 488
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7e0a68e13f3c96e36cdcc10b248bb173
https://hdl.handle.net/20.500.11850/69311
https://hdl.handle.net/20.500.11850/69311
Autor:
Kutter, Philipp W.
Publikováno v:
TIK-Schriftenreihe, 060
TIK-Schriftenreihe, 060
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8a0bae4aed0f841e8ca6aa70ae06db95
Autor:
Denzler, Christoph
Publikováno v:
Berichte aus der Informatik
Berichte aus der Informatik
ISBN:3-8265-9157-7
ISBN:3-8265-9157-7
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c144ce6e68e0b26d878558994233f0e7