scientific article; zbMATH DE number 3628349

From MaRDI portal

Revision as of 12:46, 6 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4190098

Jump to:navigation, search

zbMath0404.68013MaRDI QIDQ4190098

Irène Guessarian

Publication date: 1978

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

zbMATH Keywords

Code Optimizing Transformation to Recursive Programs

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)

Related Items (1)

Program transformations and algebraic semantics

This page was built for publication:

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