Mark Priestley

According to our database, Mark Priestley authored at least 17 papers between 1995 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Report on HOPL IV - ACM SIGPLAN History of Programming Languages Conference.

Mark Priestley, Tomas Petricek

IEEE Ann. Hist. Comput., 2021

Logic, Code, and the History of Programming.

Mark Priestley

IEEE Ann. Hist. Comput., 2021

2020

von Neumann thought Turing's universal machine was 'simple and neat.': but that didn't tell him how to design a computer.

Thomas Haigh, Mark Priestley

Commun. ACM, 2020

2019

The Media of Programming.

Mark Priestley, Thomas Haigh

Proceedings of the Exploring the Early Digital, 2019

Flow Diagrams, Assertions, and Formal Methods.

Mark Priestley

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

2018

Colossus and Programmability.

Thomas Haigh, Mark Priestley

IEEE Ann. Hist. Comput., 2018

2017

AI and the Origins of the Functional Programming Language Style.

Mark Priestley

Minds Mach., 2017

2016

Where code comes from: architectures of automatic control from Babbage to Algol.

Thomas Haigh, Mark Priestley

Commun. ACM, 2016

2015

Innovators assemble: Ada Lovelace, Walter Isaacson, and the superheroines of computing.

Thomas Haigh, Mark Priestley

Commun. ACM, 2015

2014

Los Alamos Bets on ENIAC: Nuclear Monte Carlo Simulations, 1947-1948.

Thomas Haigh, Mark Priestley, Crispin Rope

IEEE Ann. Hist. Comput., 2014

Engineering "The Miracle of the ENIAC": Implementing the Modern Code Paradigm.

Thomas Haigh, Mark Priestley, Crispin Rope

IEEE Ann. Hist. Comput., 2014

Reconsidering the Stored-Program Concept.

Thomas Haigh, Mark Priestley, Crispin Rope

IEEE Ann. Hist. Comput., 2014

2011

A Science of Operations - Machines, Logic and the Invention of Programming

Mark Priestley

History of Computing, Springer, ISBN: 978-1-84882-555-0, 2011

2008

Logic and the development of programming languages, 1930-1975.

Mark Priestley

PhD thesis, 2008

2005

Student teachers' first reflections on information and communications technology and classroom learning: implications for initial teacher education.

Daniela Sime, Mark Priestley

J. Comput. Assist. Learn., 2005

1997

Formal framework for hypertext systems.

Mark d'Inverno, Mark Priestley, Michael Luck

IEE Proc. Softw. Eng., 1997

1995

Structuring Specification in Z to Build a Unifying Framework for Hypertext Systems.

Mark d'Inverno, Mark Priestley

Proceedings of the ZUM '95: The Z Formal Specification Notation, 1995