scientific article

From MaRDI portal

Publication:3787457

Jump to:navigation, search

zbMath0644.68037MaRDI QIDQ3787457

Peter Sestoft, Neil D. Jones, Harald Søndergaard

Publication date: 1988

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

zbMATH Keywords

program transformation partial evaluation compiler generation compiling mixed computation mix system

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)

Related Items (2)

Static semantics, types, and binding time analysis ⋮ Unnamed Item

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3787457&oldid=17342188"