The Manchester prototype dataflow computer
Communications of the ACM - Special section on computer architecture
Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
Programming from specifications
Programming from specifications
Fundamentals of Deductive Program Synthesis
IEEE Transactions on Software Engineering
The deductive foundations of computer programming: a one-volume version of “the logical basis for computer programming”
Communications of the ACM
An axiomatic basis for computer programming
Communications of the ACM
Software engineering (6th ed.)
Software engineering (6th ed.)
Verifiable Programming
Comparison of Electrical "Engineering" of Heaviside's Times and Software "Engineering" of Our Times
IEEE Annals of the History of Computing
A Tree Structured Architecture for semantic gap reduction
ACM SIGARCH Computer Architecture News
Hardware/software cooperation in the iAPX-432
ASPLOS I Proceedings of the first international symposium on Architectural support for programming languages and operating systems
ACST'07 Proceedings of the third conference on IASTED International Conference: Advances in Computer Science and Technology
Hi-index | 0.00 |
A new model of computation is explored based on axiomatic logic. The significant difference from other models is how reasoning about variables is expressed. The computation is described only by defining variables in terms of other variables. The benefit is the simplicity of the semantics of the axiomatic logic. The model is described in the form of a tutorial using a simple language to illustrate how a program can be expressed in this model.