Metaphorisms in programming

DOI10.1007/978-3-319-24704-5_11MaRDI QIDQ3460624zbMATH OpenOpenAlexFDO

Authors J. N. Oliveira

Publication date 8 January 2016

Published in Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)

Full work available at URL http://repositorio.inesctec.pt/handle/123456789/6602

zbMATH Keywords

algebra of programmingprogramming from specifications

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Searching and sorting (68P10)

Recommendations

• Programming from metaphorisms
• A calculus of refinements for program derivations
• Laws of data refinement
• A theoretical basis for stepwise refinement and the programming calculus
• Formal models of stepwise refinements of programs

Cited in

(1)

• Programming from metaphorisms

This page was built for publication: Metaphorisms in programming

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