Publication:4114748
From MaRDI portal
zbMath0345.68009MaRDI QIDQ4114748
Publication date: 1976
68W30: Symbolic computation and algebraic computation
68N01: General topics in the theory of software
68W99: Algorithms in computer science
Related Items
Computation of equilibria in noncooperative games, A formal methodology using attributed grammars for multiprocessing-system software development. II. Validation, Efficient symbolic analysis of programs, 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, Loop Invariant Symbolic Execution for Parallel Programs