Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
scientific article - MaRDI portal

scientific article

From MaRDI portal

Publication:3673065

Jump to:navigation, search

zbMath0522.68006MaRDI QIDQ3673065

No author found.

Publication date: 1982

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

zbMATH Keywords

parallelism VLSI functional programming idealized Algol program correctness induction principles Nice/France Ada Program construction specification logic logic for computable functions invariance properties of programs compiler production from abstract data types formal systems specifications perluette system SPRAC system DELTA system development method transformation of recursive procedures into iterative ones

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Theory of software (68Nxx)

Related Items (4)

A fibrational framework for possible-world semantics of \textsc{Algol}-like languages ⋮ A first order logic of effects ⋮ Monoidal indeterminates and categories of possible worlds ⋮ Continuations in possible-world semantics

This page was built for publication:

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