Equivalences on program schemes

DOI10.1016/S0022-0000(70)80021-6zbMath0209.18705MaRDI QIDQ2543557

Arthur J. Milner

Publication date: 1970

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)

Related Items (5)

Unnamed Item ⋮ Unnamed Item ⋮ A survey of state vectors ⋮ Unnamed Item ⋮ \(L(A)=L(B)\)? decidability results from complete formal systems

Cites Work

• On formalised computer programs
• Unsolvability in 3 × 3 Matrices
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Equivalences on program schemes