Matrix Code

DOI10.1016/j.scico.2013.05.005zbMath1283.68219arXiv1109.5416OpenAlexW2914331146MaRDI QIDQ2441509

Maarten H. Van Emden

Publication date: 25 March 2014

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1109.5416

zbMATH Keywords

finite-state machinesprogram verificationprogramming methodology

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Some definitional suggestions for automata theory
• Consequence Verification of Flowcharts
• Programming with Verification Conditions
• Algorithm = logic + control
• Abstract State Machines
• A constructive approach to the problem of program correctness
• An axiomatic basis for computer programming
• Transition network grammars for natural language analysis

This page was built for publication: Matrix Code