From Function Level Semantics to Program Transformation and Optimization

Backus, J. (1985). From Function Level Semantics to Program Transformation and Optimization. Mathematical Foundations of Software Development.

Type

Book chapter

Intellectual base

Review or monograph

Year

1985

DOI

10.1007/3-540-15198-2_5

ISBN

9783540151982

Link

https://doi.org/10.1007/3-540-15198-2_5

Cited by

1 citation across 1 artifact.

Each citation links to the sentence it supports in the citing article.

Domain-specific

• Function-Level Programming
  • His later work developed function-level semantics specifically to derive transformation laws and recursion-removal or optimization results from that structure.

    This sourceDevelops function-level semantics and derives program-transformation and optimization results.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:858d8938d895 · see in the full table