Formal models for a computer and for programs are introduced. These models are used to develop a theory for programs based on the underlying computational structure of the computer to be programmed. Several notions of “well-behaved” programs are introduced. Necessary and sufficient conditions for converting arbitrary programs to “well-behaved” programs are derived
"The Structure and Interpretation of Computer Programs" is the entry-level subject in Computer Sci...
: This paper presents in an informal way the main ideas underlying our work on the model-theoretic f...
Instruction selection implements a program under compilation by selecting processor instructions and...
Formal models for a computer and for programs are introduced. These models are used to develop a the...
This paper has arisen from an attempt to determine the nature of computer instructions from a viewpo...
This paper presents an algebraic theory of instruction sequences with instructions for Turing tapes ...
This paper is based on a previous work of the first author [16] in which a mathematical model of the...
Instruction sequence is a key concept in practice, but it has as yet not come prominently into the p...
A methodology for deriving programs from specifications of observable behaviour is described. The cl...
This paper presents in an informal way the main ideas underlying our work on the model-theoretic fou...
AbstractJust as there is a theory of groups, or rings, or fields, or topological spaces, so there is...
This document describes the algorithms and mechanisms of the MODEL Processor, which is a software sy...
A parameterized algebraic theory of instruction sequences, objects that represent the behaviours pro...
A programming language is viewed as a language for expressing “instructions” for a computation to be...
: This paper concerns the formalization of our intuition of similar operational behavior of logic pr...
"The Structure and Interpretation of Computer Programs" is the entry-level subject in Computer Sci...
: This paper presents in an informal way the main ideas underlying our work on the model-theoretic f...
Instruction selection implements a program under compilation by selecting processor instructions and...
Formal models for a computer and for programs are introduced. These models are used to develop a the...
This paper has arisen from an attempt to determine the nature of computer instructions from a viewpo...
This paper presents an algebraic theory of instruction sequences with instructions for Turing tapes ...
This paper is based on a previous work of the first author [16] in which a mathematical model of the...
Instruction sequence is a key concept in practice, but it has as yet not come prominently into the p...
A methodology for deriving programs from specifications of observable behaviour is described. The cl...
This paper presents in an informal way the main ideas underlying our work on the model-theoretic fou...
AbstractJust as there is a theory of groups, or rings, or fields, or topological spaces, so there is...
This document describes the algorithms and mechanisms of the MODEL Processor, which is a software sy...
A parameterized algebraic theory of instruction sequences, objects that represent the behaviours pro...
A programming language is viewed as a language for expressing “instructions” for a computation to be...
: This paper concerns the formalization of our intuition of similar operational behavior of logic pr...
"The Structure and Interpretation of Computer Programs" is the entry-level subject in Computer Sci...
: This paper presents in an informal way the main ideas underlying our work on the model-theoretic f...
Instruction selection implements a program under compilation by selecting processor instructions and...
DOI
Add to ORKG