scientific article; zbMATH DE number 3538786
From MaRDI portal
Publication:4114748
zbMath0345.68009MaRDI QIDQ4114748
Publication date: 1976
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Symbolic computation and algebraic computation (68W30) General topics in the theory of software (68N01) Algorithms in computer science (68W99)
Related Items (8)
Efficient symbolic analysis of programs ⋮ Loop Invariant Symbolic Execution for Parallel Programs ⋮ Automatic synthesis of logical models for order-sorted first-order theories ⋮ Two notions of correctness and their relation to testing ⋮ Program analysis and optimization through kernel-control decomposition ⋮ PASCAL in LCF: Semantics and examples of proof ⋮ A formal methodology using attributed grammars for multiprocessing-system software development. II. Validation ⋮ Computation of equilibria in noncooperative games
This page was built for publication:
