Mark Priestley

18 papers Journal 13Unranked 2
YearRankTypeTitle / Venue / Authors
2024 J jnl
Working in the Scientific State: John Womersley's Early Career.
IEEE Ann. Hist. Comput.
Mark Priestley
2021 J jnl
Logic, Code, and the History of Programming.
IEEE Ann. Hist. Comput.
Mark Priestley
2021 J jnl
Report on HOPL IV - ACM SIGPLAN History of Programming Languages Conference.
IEEE Ann. Hist. Comput.
Mark Priestley, Tomas Petricek
2020 J jnl
von Neumann thought Turing's universal machine was 'simple and neat.': but that didn't tell him how to design a computer.
Commun. ACM
Thomas Haigh, Mark Priestley
2019 — conf
Flow Diagrams, Assertions, and Formal Methods.
FM Workshops (2)
Mark Priestley
2019 — ch.
The Media of Programming.
Exploring the Early Digital
Mark Priestley, Thomas Haigh
2018 J jnl
Colossus and Programmability.
IEEE Ann. Hist. Comput.
Thomas Haigh, Mark Priestley
2017 J jnl
AI and the Origins of the Functional Programming Language Style.
Minds Mach.
Mark Priestley
2016 J jnl
Where code comes from: architectures of automatic control from Babbage to Algol.
Commun. ACM
Thomas Haigh, Mark Priestley
2015 J jnl
Innovators assemble: Ada Lovelace, Walter Isaacson, and the superheroines of computing.
Commun. ACM
Thomas Haigh, Mark Priestley
2014 J jnl
Engineering "The Miracle of the ENIAC": Implementing the Modern Code Paradigm.
IEEE Ann. Hist. Comput.
Thomas Haigh, Mark Priestley, Crispin Rope
2014 J jnl
Los Alamos Bets on ENIAC: Nuclear Monte Carlo Simulations, 1947-1948.
IEEE Ann. Hist. Comput.
Thomas Haigh, Mark Priestley, Crispin Rope
2014 J jnl
Reconsidering the Stored-Program Concept.
IEEE Ann. Hist. Comput.
Thomas Haigh, Mark Priestley, Crispin Rope
2011 — book
A Science of Operations - Machines, Logic and the Invention of Programming
Mark Priestley
2008 — —
Logic and the development of programming languages, 1930-1975.
Mark Priestley
2005 J jnl
Student teachers' first reflections on information and communications technology and classroom learning: implications for initial teacher education.
J. Comput. Assist. Learn.
Daniela Sime, Mark Priestley
1997 J jnl
Formal framework for hypertext systems.
IEE Proc. Softw. Eng.
Mark d'Inverno, Mark Priestley, Michael Luck
1995 — conf
Structuring Specification in Z to Build a Unifying Framework for Hypertext Systems.
ZUM
Mark d'Inverno, Mark Priestley