Explore: Program Analysis
Discover books, insights, and more — all in one place.
Learn more about Program Analysis with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “program-analysis”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Principles of program analysis
By Flemming Nielson, Hanne Riis Nielson and Chris Hankin
“Principles of program analysis” Metadata:
- Title: Principles of program analysis
- Authors: Flemming NielsonHanne Riis NielsonChris Hankin
- Language: English
- Number of Pages: Median: 462
- Publisher: ➤ Springer - Springer Berlin Heidelberg - Springer London, Limited
- Publish Date: 1999 - 2004 - 2010 - 2015
- Publish Location: Berlin - New York
“Principles of program analysis” Subjects and Themes:
- Subjects: ➤ Computer programming - Computer programs - Computers - Languages / Programming - Software Engineering - Compilers (Computer Science) - Computers - Textbooks - Programming - Software Development - Computer Books: General - Programming - General - General - Abstract Interpretation - Computers / Logic Design - Computers / Programming / General - Constraint Based Analysis - Data Flow Analysis - Program Analysis - Program Transformation - Compilers - Professional, career & trade -> computer science -> programming languages (jr/sr) - Professional, career & trade -> engineering -> software engineering - Professional, career & trade -> computer science -> general - Suco11645 - Sci14029 - Sci1603x - Sci14037 - 2981 - 5747 - 5758 - 2980 - 22727 - 5482
Edition Identifiers:
- The Open Library ID: OL37213118M - OL28021893M - OL9062862M - OL18139513M
- Online Computer Library Center (OCLC) ID: 82438750 - 42579405
- Library of Congress Control Number (LCCN): 99047677
- All ISBNs: ➤ 3540654100 - 9783662038116 - 3662038110 - 9783642084744 - 3642084745 - 9783540654100
First Setence:
"In this book we shall introduce four of the main approaches to program analysis: Data Flow Analysis, Constraint Based Analysis, Abstract Interpretation, and Type and Effect Systems."
Author's Alternative Names:
"Hanne R. Nielson"Access and General Info:
- First Year Published: 1999
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Principles of program analysis at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Data Flow and Control Flow Analysis of Problematic Commits
By Ward Muylaert
“Data Flow and Control Flow Analysis of Problematic Commits” Metadata:
- Title: ➤ Data Flow and Control Flow Analysis of Problematic Commits
- Author: Ward Muylaert
- Publisher: Crazy Copy Center Productions
- Publish Date: 2024
“Data Flow and Control Flow Analysis of Problematic Commits” Subjects and Themes:
- Subjects: Computer science - Version control systems - Software-Evolution - Program Analysis
Edition Identifiers:
- The Open Library ID: OL51657017M
- All ISBNs: 9789464948226 - 9464948221
Access and General Info:
- First Year Published: 2024
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Data Flow and Control Flow Analysis of Problematic Commits at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.