scientific article

zbMath0653.68003MaRDI QIDQ3799625

Véronique Royer

Publication date: 1986

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

denotational semanticslambda-calculuscompiler correctnesssemantics-directed compiler generationsource semanticstarget semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Combinatory logic and lambda calculus (03B40)

This page was built for publication: