Explore: Program Transformation

Discover books, insights, and more — all in one place.

Learn more about Program Transformation with top reads curated from trusted sources — all in one place.

Topic Search

Search for any topic

AI-Generated Overview About “program-transformation”:


Books Results

Source: The Open Library

The Open Library Search Results

Search results from The Open Library

1Principles of program analysis

By

Book's cover

“Principles of program analysis” Metadata:

  • Title: Principles of program analysis
  • Authors:
  • Language: English
  • Number of Pages: Median: 462
  • Publisher: ➤  Springer - Springer Berlin Heidelberg - Springer London, Limited
  • Publish Date:
  • Publish Location: Berlin - New York

“Principles of program analysis” Subjects and Themes:

Edition Identifiers:

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."

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:



    Top of Page

    Wiki

    Source: Wikipedia

    Wikipedia Results

    Search Results from Wikipedia

    Program transformation

    A program transformation is any operation that takes a computer program and generates another program. In many cases the transformed program is required

    List of program transformation systems

    Metaprogramming Language Spoon (for Java) TXL The FermaT Program Transformation System The Program transformation Wiki Transformation Technology Bibliography

    Transformation language

    goal[clarification needed]. Program transformation systems such as Stratego/XT, TXL, Tom, DMS, and ASF+SDF all have transformation languages as a major component

    Transformation

    Data transformation (computing) Data transformation (statistics) Model transformation Program transformation XML transformation Transformation of text

    Abstract syntax tree

    contextual analysis. Abstract syntax trees are also used in program analysis and program transformation systems. Abstract syntax trees are data structures widely

    Model transformation

    (DSL) Model transformation language Refinement Transformation (disambiguation) Program transformation Data transformation Graph transformation Czarnecki;

    Metaprogramming

    General purpose program transformation systems such as compilers, which accept language descriptions and carry out arbitrary transformations on those languages

    Programming language theory

    program errors). Program transformation is the process of transforming a program in one form (language) to another form. Comparative programming language analysis

    Program slicing

    In computer programming, program slicing is the computation of the set of program statements, the program slice, that may affect the values at some point

    Hope (programming language)

    developed by Rod Burstall and John Darlington in their work on program transformation. NPL and Hope are notable for being the first languages with call-by-pattern


    Top of Page