scientific article

From MaRDI portal

Publication:4002107

Jump to:navigation, search

zbMath0744.68025MaRDI QIDQ4002107

No author found.

Publication date: 18 September 1992

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

zbMATH Keywords

Conference Proceedings program transformation program derivation rapid prototyping automatic program synthesis Specifications Pacific Grove, CA (USA)specification technique theory of recursive data types automating standard derivation tasks

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) General topics in the theory of software (68N01)

Related Items (2)

Determinisation of relational substitutions in ordered categories with domain ⋮ Assertions and recursions

This page was built for publication:

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