A theoretical model of a high-level programming language

zbMATH Open0645.68042MaRDI QIDQ1103396

V. N. Fal'k

Publication date: 1987

Published in: Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

\(\lambda \)- abstractionassignment abstractionformal algorithmic language Falgolgeneralized von Neumann machinehigh-level programming languagetransformation machine

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Combinatory logic and lambda calculus (03B40)

Related Items (3)

A language for easy and efficient modeling of Turing machines ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?)

This page was built for publication: A theoretical model of a high-level programming language

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1103396)