Strong Abstract Interpretation using Power Domains

Publication: Research - peer-reviewArticle in proceedings – Annual report year: 1983

View graph of relations

Original languageEnglish
Title of host publicationProc. ICALP'83
PublisherSpringer-Verlag
Publication date1983
Pages536-547
StatePublished - 1983
Peer-reviewedYes

Conference

ConferenceProc. ICALP'83
Period01/01/1983 → …
Download as:
Download as PDF
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
Word

ID: 2858337