HackerPapers

arXiv:1109.5416cs.PL

Matrix Code

M. H. van Emden

Early discovery. Linked by one identifiable commenter. This paper is outside the main ranking; a mention is not an endorsement.

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. The abstract machine for Matrix Code is the dual-state machine, which we present as a variant of the classical finite-state machine.

arXiv comments
39 pages, 19 figures; extensions and minor corrections
Journal reference
DOI
Subjects
cs.PLProgramming Languages

On Hacker News

Linked by 1 identifiable commenter in 1 comment across 1 thread, from Aug 2022 to Aug 2022.

Comments linking this paper, per year.

Discussed in comments1 thread

  1. 3-Lisp: an infinite tower of meta-circular interpreters 1 comment

    • > there may really be a finite set of [control structures] Kleene Algebras (which compose via sequencing, choice, and repetition) map so well to sequential programming that I currently believe, yeah, we have them[0]: - cf ';', case, and while - Hoare triples map nicely into a…

      082349872349872View on HNParent context

Submitted to Hacker News

Connected through shared HN threads, not inferred similarity or a recommendation.