Mark Priestley - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 17 from 17

2021

Logic, Code, and the History of ProgrammingMark Priestley, Colette Perold. annals, 43(4):92-96, 2021. [doi]

Report on HOPL IV - ACM SIGPLAN History of Programming Languages ConferenceMark Priestley, Tomas Petricek 0001, David Hemmendinger. annals, 43(3):83-85, 2021. [doi]

2020

von Neumann thought Turing's universal machine was 'simple and neat.': but that didn't tell him how to design a computerThomas Haigh, Mark Priestley. CACM, 63(1):26-32, 2020. [doi]

2019

Flow Diagrams, Assertions, and Formal MethodsMark Priestley. FM 2020: 15-34 [doi]

The Media of ProgrammingMark Priestley, Thomas Haigh. In Thomas Haigh, editor, Exploring the Early Digital. History of Computing, pages 135-158, Springer, 2019. [doi]

2018

Colossus and ProgrammabilityThomas Haigh, Mark Priestley. annals, 40(4):5-27, 2018. [doi]

2017

AI and the Origins of the Functional Programming Language StyleMark Priestley. mima, 27(3):449-472, 2017. [doi]

2016

Where code comes from: architectures of automatic control from Babbage to AlgolThomas Haigh, Mark Priestley. CACM, 59(1):39-44, 2016. [doi]

2015

Innovators assemble: Ada Lovelace, Walter Isaacson, and the superheroines of computingThomas Haigh, Mark Priestley. CACM, 58(9):20-27, 2015. [doi]

2014

Los Alamos Bets on ENIAC: Nuclear Monte Carlo Simulations, 1947-1948Thomas Haigh, Mark Priestley, Crispin Rope. annals, 36(3):42-63, 2014. [doi]

Reconsidering the Stored-Program ConceptThomas Haigh, Mark Priestley, Crispin Rope. annals, 36(1):4-17, 2014. [doi]

Engineering "The Miracle of the ENIAC": Implementing the Modern Code ParadigmThomas Haigh, Mark Priestley, Crispin Rope. annals, 36(2):41-59, 2014. [doi]

2011

A Science of Operations - Machines, Logic and the Invention of ProgrammingMark Priestley. History of Computing, Springer, 2011. [doi]

2008

Logic and the development of programming languages, 1930-1975Mark Priestley. PhD thesis, University College London, UK, 2008. [doi]

2005

Student teachers first reflections on information and communications technology and classroom learning: implications for initial teacher educationDaniela Sime, Mark Priestley. jcal, 21(2):130-142, 2005. [doi]

1997

Formal framework for hypertext systemsMark d Inverno, Mark Priestley, Michael Luck. iee, 144(3):175-184, 1997.

1995

Structuring Specification in Z to Build a Unifying Framework for Hypertext SystemsMark d Inverno, Mark Priestley. zum 1995: 83-102

Sign in or sign up to see more results.

runs on WebDSL