Mark Priestley

Orcid: 0000-0003-3039-9043

According to our database1, Mark Priestley authored at least 18 papers between 1995 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Working in the Scientific State: John Womersley's Early Career.
IEEE Ann. Hist. Comput., 2024

2021
Report on HOPL IV - ACM SIGPLAN History of Programming Languages Conference.
IEEE Ann. Hist. Comput., 2021

Logic, Code, and the History of Programming.
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.
Commun. ACM, 2020

2019
The Media of Programming.
Proceedings of the Exploring the Early Digital, 2019

Flow Diagrams, Assertions, and Formal Methods.
Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

2018
Colossus and Programmability.
IEEE Ann. Hist. Comput., 2018

2017
AI and the Origins of the Functional Programming Language Style.
Minds Mach., 2017

2016
Where code comes from: architectures of automatic control from Babbage to Algol.
Commun. ACM, 2016

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

2014
Los Alamos Bets on ENIAC: Nuclear Monte Carlo Simulations, 1947-1948.
IEEE Ann. Hist. Comput., 2014

Engineering "The Miracle of the ENIAC": Implementing the Modern Code Paradigm.
IEEE Ann. Hist. Comput., 2014

Reconsidering the Stored-Program Concept.
IEEE Ann. Hist. Comput., 2014

2011
A Science of Operations - Machines, Logic and the Invention of Programming
History of Computing, Springer, ISBN: 978-1-84882-555-0, 2011

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

2005
Student teachers' first reflections on information and communications technology and classroom learning: implications for initial teacher education.
J. Comput. Assist. Learn., 2005

1997
Formal framework for hypertext systems.
IEE Proc. Softw. Eng., 1997

1995
Structuring Specification in Z to Build a Unifying Framework for Hypertext Systems.
Proceedings of the ZUM '95: The Z Formal Specification Notation, 1995


  Loading...