Metaphorisms in Programming

DOI10.1007/978-3-319-24704-5_11zbMath1471.68074OpenAlexW2193010352MaRDI QIDQ3460624

José Nuno 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

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

Related Items (1)

Programming from metaphorisms

This page was built for publication: Metaphorisms in Programming