English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
  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

Files

show Files

Locators

show

Creators

show
hide
 Creators:
Ganzinger, Harald1, Author           
Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Content

show

Details

show
hide
Language(s): eng - English
 Dates: 2010-03-122001
 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