scientific article

From MaRDI portal

Publication:3043809

Jump to:navigation, search

zbMATH Open1073.68573MaRDI QIDQ3043809

Thorsten Ehm

Publication date: 6 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2244/22440116.htm

Title of this publication is not available (Why is that?)

zbMATH Keywords

program transformation pointer algorithms destructive updates Paterson/Hewitt

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Calculational derivation of pointer algorithms from tree operations

This page was built for publication:

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3043809&oldid=16092190"