×

zbMATH — the first resource for mathematics

Can programming be liberated from the von Neumann style? A functional style and its algebra of programs. (English) Zbl 0383.68013

MSC:
68N01 General topics in the theory of software
68Q60 Specification and verification (program logics, model checking, etc.)
68Q65 Abstract data types; algebraic specification
68Q05 Models of computation (Turing machines, etc.) (MSC2010)
PDF BibTeX XML Cite
Full Text: DOI