Efficient deductive methods for program analysis

Ganzinger, Harald

Local TagsRelease HistoryDetailsSummary

Efficient deductive methods for program analysis

Ganzinger, H. (2001). Efficient deductive methods for program analysis. ACM SIGPLAN Notices, 36(3), 102-103. Retrieved from http://www.acm.org/pubs/citations/proceedings/plan/360204/p102-ganzinger/; http://www.acm.org/pubs/articles/proceedings/plan/360204/p102-ganzinger/p102-ganzinger.pdf.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-3216-3 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-3217-1

Genre: Journal Article

Files

show Files

Locators

show

Creators

show

hide

Creators:
Ganzinger, Harald¹, Author

Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045

Content

show

Details

show

hide

Language(s): eng - English

Dates: Modified: 2010-03-12Date issued: 2001

Publication Status: Issued

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: Peer

Identifiers: eDoc: 519839
URI: http://www.acm.org/pubs/citations/proceedings/plan/360204/p102-ganzinger/; http://www.acm.org/pubs/articles/proceedings/plan/360204/p102-ganzinger/p102-ganzinger.pdf
Other: Local-ID: C1256104005ECAFC-D3A03BCFE06E5150C1256B44005E1BD2-Ganzinger:2001:EDM

Degree: -

Event

show

Legal Case

show

Project information

show

Source 1

show

hide

Title: ACM SIGPLAN Notices

Source Genre: Journal

Creator(s):

Affiliations:

Publ. Info: -

Pages: - Volume / Issue: 36 (3) Sequence Number: - Start / End Page: 102 - 103 Identifier: ISSN: 0362-1340