scientific article

zbMATH Open0533.68003MaRDI QIDQ3316549

No author found.

Publication date: 1983

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

zbMATH Keywords

program transformationssemantic embeddingcombinatory algebrasreduction machinesapplicative systemssemantic equations

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01) Theory of operating systems (68N25)

Related Items (4)

Combinators and functional programming languages. Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985. Proceedings ⋮ Functional programming with combinators ⋮ Note on Algol and conservatively extending functional programming ⋮ Unnamed Item

Recommendations

• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Constructing language processors with algebra combinators 👍 👎
• Algebraic construction of compilers 👍 👎
• Functional programming concepts and straight-line programs in computer algebra 👍 👎
• An algebraic approach to compiler design 👍 👎
• Towards an Implementation of a Computer Algebra System in a Functional Language 👍 👎

This page was built for publication: