scientific article

From MaRDI portal

Publication:3823813

Jump to:navigation, search

zbMath0671.68034MaRDI QIDQ3823813

Nazim H. Madhayji, Jules Desharnais

Publication date: 1988

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

zbMATH Keywords

semantics relational algebra control structures procedures sequential programming expressions semantics of a programming language logics and meanings of programs denotational about programs specifying and verifying and reasoning

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Cylindric and polyadic algebras; relation algebras (03G15)

This page was built for publication:

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