Matrix code

Authors:
Maarten van Emden
Affiliations:
University of Victoria, Victoria, British Columbia, Canada
Venue:
Proceedings of the 14th symposium on Principles and practice of declarative programming
Year:
2012

Citing 10
Cited 0

Search and imperative programming

Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Algorithm = logic + control

Communications of the ACM
Transition network grammars for natural language analysis

Communications of the ACM
An axiomatic basis for computer programming

Communications of the ACM
A Discipline of Programming

A Discipline of Programming
Chapter I: Notes on structured programming

Structured programming
Programming with Verification Conditions

IEEE Transactions on Software Engineering
Consequence Verification of Flowcharts

IEEE Transactions on Software Engineering
Principles of Model Checking (Representation and Mind Series)

Principles of Model Checking (Representation and Mind Series)
Some definitional suggestions for automata theory

Journal of Computer and System Sciences

Quantified Score

Hi-index	0.00

Visualization

Abstract

Matrix Code gives imperative programming a mathematical semantics and heuristic power comparable in quality to functional and logic programming. A program in matrix code is developed incrementally from a specification in pre/post-condition form. The computations of a code matrix are characterized by powers of the matrix when it is interpreted as a transformation in a space of vectors of logical conditions. Correctness of a code matrix is expressed in terms of a fixpoint of the transformation.