Generic combination of heap and value analyses in abstract interpretation
dc.contributor.author
Ferrara, Pietro
dc.date.accessioned
2017-06-11T03:31:50Z
dc.date.available
2017-06-11T03:31:50Z
dc.date.issued
2014
dc.identifier.isbn
978-3-642-54013-4
dc.identifier.isbn
978-3-642-54012-7
dc.identifier.issn
0302-9743
dc.identifier.issn
1611-3349
dc.identifier.other
10.1007/978-3-642-54013-4_17
dc.identifier.uri
http://hdl.handle.net/20.500.11850/78697
dc.language.iso
en
dc.publisher
Springer
dc.title
Generic combination of heap and value analyses in abstract interpretation
dc.type
Conference Paper
ethz.book.title
Verification, model checking, and abstract interpretation : 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, proceedings
ethz.journal.title
Lecture Notes in Computer Science
ethz.journal.volume
8318
ethz.journal.abbreviated
LNCS
ethz.pages.start
302
ethz.pages.end
321
ethz.event
15th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2014)
ethz.event.location
San Diego, CA, USA
ethz.event.date
January 19-21, 2014
ethz.identifier.wos
ethz.identifier.scopus
ethz.publication.place
Berlin
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.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.date.deposited
2017-06-11T03:33:35Z
ethz.source
ECIT
ethz.identifier.importid
imp59365180dfb6020807
ethz.ecitpid
pub:123752
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-14T15:31:34Z
ethz.rosetta.lastUpdated
2024-02-01T21:26:14Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Generic%20combination%20of%20heap%20and%20value%20analyses%20in%20abstract%20interpretation&rft.jtitle=Lecture%20Notes%20in%20Computer%20Science&rft.date=2014&rft.volume=8318&rft.spage=302&rft.epage=321&rft.issn=0302-9743&1611-3349&rft.au=Ferrara,%20Pietro&rft.isbn=978-3-642-54013-4&978-3-642-54012-7&rft.genre=proceeding&rft_id=info:doi/10.1007/978-3-642-54013-4_17&rft.btitle=Verification,%20model%20checking,%20and%20abstract%20interpretation%20:%2015th%20International%20Conference,%20VMCAI%202014,%20San%20Diego,%20CA,%20USA,%20January%2019-2
Files in this item
| Files | Size | Format | Open in viewer |
|---|---|---|---|
|
There are no files associated with this item. |
|||
Publication type
-
Conference Paper [34961]