Formal Translation of Bytecode into BoogiePL
dc.contributor.author
Lehner, Hermann
dc.contributor.author
Müller, Peter
dc.date.accessioned
2017-06-08T17:39:29Z
dc.date.available
2017-06-08T17:39:29Z
dc.date.issued
2007
dc.identifier.issn
1571-0661
dc.identifier.other
10.1016/j.entcs.2007.02.059
dc.identifier.uri
http://hdl.handle.net/20.500.11850/7067
dc.language.iso
en
dc.publisher
Elsevier
dc.subject
Program verification
dc.subject
verification conditions
dc.subject
intermediate language
dc.subject
Java bytecode
dc.subject
BoogiePL
dc.title
Formal Translation of Bytecode into BoogiePL
dc.type
Conference Paper
ethz.journal.title
Electronic notes in theoretical computer science
ethz.journal.volume
190
ethz.journal.issue
1
ethz.pages.start
35
ethz.pages.end
50
ethz.event
Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation
ethz.event.date
March 31, 2007
ethz.identifier.nebis
004718541
ethz.publication.place
Amsterdam
ethz.publication.status
published
ethz.leitzahl
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02664 - Inst. f. Programmiersprachen u. -systeme / Inst. Programming Languages and Systems::03653 - Müller, Peter / Müller, Peter
ethz.leitzahl
ETH Zürich::00002 - ETH Zürich, direkt::00012 - Lehre und Forschung, direkt::00007 - Departemente, direkt::02150 - Departement Informatik / Department of Computer Science::03594 - Meyer, Bertrand (emeritus)
ethz.leitzahl.certified
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02664 - Inst. f. Programmiersprachen u. -systeme / Inst. Programming Languages and Systems::03653 - Müller, Peter / Müller, Peter
ethz.leitzahl.certified
ETH Zürich::00002 - ETH Zürich, direkt::00012 - Lehre und Forschung, direkt::00007 - Departemente, direkt::02150 - Departement Informatik / Department of Computer Science::03594 - Meyer, Bertrand (emeritus)
ethz.date.deposited
2017-06-08T17:39:54Z
ethz.source
ECIT
ethz.identifier.importid
imp59364bac90af250573
ethz.ecitpid
pub:17560
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-12T17:05:55Z
ethz.rosetta.lastUpdated
2024-02-01T14:33:54Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Formal%20Translation%20of%20Bytecode%20into%20BoogiePL&rft.jtitle=Electronic%20notes%20in%20theoretical%20computer%20science&rft.date=2007&rft.volume=190&rft.issue=1&rft.spage=35&rft.epage=50&rft.issn=1571-0661&rft.au=Lehner,%20Hermann&M%C3%BCller,%20Peter&rft.genre=proceeding&rft_id=info:doi/10.1016/j.entcs.2007.02.059&
Files in this item
| Files | Size | Format | Open in viewer |
|---|---|---|---|
|
There are no files associated with this item. |
|||
Publication type
-
Conference Paper [34969]