scientific article

zbMath0988.68023MaRDI QIDQ2755071

José Nuno Oliveira

Publication date: 7 January 2002

Full work available at URL: http://www.jucs.org/jucs_7_8/bagatelle_in_c_arranged

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

zbMATH Keywords

denotational semanticsreverse engineeringslicingalgebra of programming

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) General topics in the theory of software (68N01)

Related Items (2)

Transformation of structure-shy programs with application to XPath queries and strategic functions ⋮ Extended Static Checking by Calculation Using the Pointfree Transform

This page was built for publication: