Simple section interchange and properties of non-computable functions

DOI10.1016/j.scico.2010.05.001zbMath1209.68141OpenAlexW1977936466MaRDI QIDQ988200

Ward Douglas Maurer

Publication date: 26 August 2010

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

Full work available at URL: https://doi.org/10.1016/j.scico.2010.05.001

zbMATH Keywords

formal methodsinstruction theorynon-computable functionspartially defined instructions

Mathematics Subject Classification ID

Theory of software (68N99)

Related Items (1)

Simple section interchange and properties of non-computable functions

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Partially defined computer instructions and guards
• Simple section interchange and properties of non-computable functions
• A theory of computer instructions
• Automatic translation of FORTRAN programs to vector form
• A Shared Memory Computer Display System
• A Theory of Computer Instructions

This page was built for publication: Simple section interchange and properties of non-computable functions