Advanced Topics in Types and Programming Languages

Morrisett, G. (2002). Advanced Topics in Types and Programming Languages. MIT Press.

Type

Book

Intellectual base

Review or monograph

Year

2002

Link

no authoritative link yet

Cited by

1 citation across 1 artifact.

Domain-specific

• Typed assembly language
  • A typed assembly language attaches a formal type discipline to assembly-level values and control flow so a small checker can verify properties of native code before execution.

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:441a379d81e4 · see in the full table