scientific article

zbMath0512.68067MaRDI QIDQ3657459

No author found.

Publication date: 1983

Full work available at URL: https://eudml.org/doc/92178

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

zbMATH Keywords

formal semanticsequational language

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Uses Software

• NQTHM

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Symbolic execution and program testing
• Proving Theorems about LISP Functions
• The Semantics of Predicate Logic as a Programming Language
• A Transformation System for Developing Recursive Programs
• Subgoal induction

This page was built for publication: