{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T22:31:43Z","timestamp":1740177103694,"version":"3.37.3"},"reference-count":71,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2021,10,1]],"date-time":"2021-10-01T00:00:00Z","timestamp":1633046400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,10,1]],"date-time":"2021-10-01T00:00:00Z","timestamp":1633046400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,10,1]],"date-time":"2021-10-01T00:00:00Z","timestamp":1633046400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"U.K. Engineering and Physical Sciences Research Councilunder","award":["EP\/R03169X\/1"],"award-info":[{"award-number":["EP\/R03169X\/1"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Annals Hist. Comput."],"published-print":{"date-parts":[[2021,10,1]]},"DOI":"10.1109\/mahc.2021.3108557","type":"journal-article","created":{"date-parts":[[2021,8,30]],"date-time":"2021-08-30T20:49:35Z","timestamp":1630356575000},"page":"27-42","source":"Crossref","is-referenced-by-count":2,"title":["The Work of Writing Programs: Logic and Inscriptive Practice in the History of Computing"],"prefix":"10.1109","volume":"43","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6824-5926","authenticated-orcid":false,"given":"David E.","family":"Dunning","sequence":"first","affiliation":[{"name":"University of Oxford, Oxford, U.K."}]}],"member":"263","reference":[{"key":"ref71","first-page":"253","article-title":"An assessment of the system of optimum coding used on the pilot automatic computing engine at the national physical laboratory","volume":"248","author":"wilkinson","year":"1955","journal-title":"Philos Trans R Soc Lond Ser A Math Phys Sci"},{"year":"1951","author":"wilkes","journal-title":"The preparation of programs for an electronic digital computer with special reference to the EDSAC and the use of a library of subroutines","key":"ref70"},{"key":"ref39","first-page":"367","article-title":"There is no software","author":"kittler","year":"0","journal-title":"Writing\/Ecriture\/Schrift"},{"doi-asserted-by":"publisher","key":"ref38","DOI":"10.7208\/chicago\/9780226422657.001.0001"},{"year":"1864","author":"w","journal-title":"Pure Logic or the Logic of Quality Apart From Quantity With Remarks on Boole’s System and on the Relation of Logic and Mathematics","key":"ref33"},{"doi-asserted-by":"publisher","key":"ref32","DOI":"10.1080\/00026980.2017.1418232"},{"doi-asserted-by":"publisher","key":"ref31","DOI":"10.1145\/800025.1198341"},{"doi-asserted-by":"publisher","key":"ref30","DOI":"10.2307\/j.ctvc77913"},{"doi-asserted-by":"publisher","key":"ref37","DOI":"10.7208\/chicago\/9780226411637.001.0001"},{"doi-asserted-by":"publisher","key":"ref36","DOI":"10.7208\/chicago\/9780226401232.001.0001"},{"key":"ref35","first-page":"1972?1981","volume":"7","author":"s","year":"0","journal-title":"Papers and Correspondence of William Stanley Jevons"},{"key":"ref34","first-page":"497?518","article-title":"On the mechanical performance of logical inference","volume":"160","author":"jevons","year":"1870","journal-title":"Philos Trans"},{"doi-asserted-by":"publisher","key":"ref60","DOI":"10.1353\/jhi.2016.0029"},{"key":"ref62","first-page":"1?104","article-title":"The UTECOM digital computer","author":"smart","year":"1957","journal-title":"Data Processing and Automatic Computing Machines Proceedings of a Conference (on Data Processing and Automatic Computing Machines) Held at Weapons Research Establishment Salisbury S A June 3rd–8th 1957"},{"doi-asserted-by":"publisher","key":"ref61","DOI":"10.1145\/366959.366968"},{"doi-asserted-by":"publisher","key":"ref63","DOI":"10.1112\/plms\/s2-42.1.230"},{"year":"0","author":"ia","article-title":"semi-translation programming scheme for DEUCE: Programming and Operation Manual,” Typescript","key":"ref28"},{"key":"ref64","first-page":"370?454","article-title":"Proposed electronic calculator","author":"turing","year":"0","journal-title":"Alan Turing's Automatic Computing Engine"},{"key":"ref27","article-title":"An addressless coding scheme based on mathematical notation","author":"hamblin","year":"1957","journal-title":"Data Processing and Automatic Computing Machines Proceedings of a Conference (on Data Processing and Automatic Computing Machines) Held at Weapons Research Establishment Salisbury S A June 3rd–8th"},{"doi-asserted-by":"publisher","key":"ref65","DOI":"10.1080\/14786448008626877"},{"key":"ref66","first-page":"297?329","article-title":"The DEUCE—A user’s view","author":"vowels","year":"0","journal-title":"Alan Turing’s Automatic Computing Engine The Master Codebreaker’s Struggle to Build the Modern Computer"},{"doi-asserted-by":"publisher","key":"ref29","DOI":"10.2307\/3607893"},{"doi-asserted-by":"publisher","key":"ref67","DOI":"10.1109\/85.238389"},{"doi-asserted-by":"publisher","key":"ref68","DOI":"10.1007\/978-3-030-55478-1_30"},{"year":"1985","author":"wilkes","journal-title":"Memoirs of a Computer Pioneer","key":"ref69"},{"year":"1826","author":"babbage","journal-title":"On the Influence of Signs in Mathematical Reasoning","key":"ref2"},{"key":"ref1","first-page":"194","article-title":"Charles Hamblin","volume":"17","author":"allen","year":"1922","journal-title":"Australian Comput J"},{"doi-asserted-by":"publisher","key":"ref20","DOI":"10.1007\/978-94-015-9385-4_9"},{"year":"1900","author":"edgerton","journal-title":"The Shock of the Old Technology and Global History Since","key":"ref22"},{"key":"ref21","first-page":"251","article-title":"Peacock’s arithmetic : An attempt to reconcile empiricism to universality","volume":"46","author":"durand-richard","year":"2011","journal-title":"Ind J Hist Sci"},{"volume":"98","year":"1985","article-title":"Burroughs B 5000 Conference","key":"ref24"},{"doi-asserted-by":"publisher","key":"ref23","DOI":"10.1017\/CBO9781139197038"},{"doi-asserted-by":"publisher","key":"ref26","DOI":"10.1145\/1461518.1461529"},{"doi-asserted-by":"publisher","key":"ref25","DOI":"10.1109\/5992.988641"},{"doi-asserted-by":"publisher","key":"ref50","DOI":"10.1145\/320868.320879"},{"key":"ref51","first-page":"503","article-title":"The social shaping of modern logic","author":"moktefi","year":"0","journal-title":"Natural Arguments A Tribute to John Woods"},{"doi-asserted-by":"publisher","key":"ref59","DOI":"10.1016\/0315-0860(81)90003-3"},{"doi-asserted-by":"publisher","key":"ref58","DOI":"10.1007\/978-3-030-54997-8_1"},{"doi-asserted-by":"publisher","key":"ref57","DOI":"10.1007\/978-3-319-91671-2"},{"doi-asserted-by":"publisher","key":"ref56","DOI":"10.1007\/978-3-319-93779-3_6"},{"year":"2011","author":"priestley","journal-title":"A Science of Operations Machines Logic and the Invention of Programming","key":"ref55"},{"key":"ref54","first-page":"167","article-title":"The mathematical background of George Boole’s Mathematical Analysis of Logic (1847)","author":"panteki","year":"2000","journal-title":"A Boole Anthology Recent and Classical Studies in the Logic of George Boole"},{"doi-asserted-by":"publisher","key":"ref53","DOI":"10.1353\/tech.2014.0031"},{"year":"2013","author":"montfort","journal-title":"10 PRINT CHR$(205 5 RND(1)) GOTO 10","key":"ref52"},{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1145\/1995376.1995386"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1109\/MAHC.1982.10016"},{"year":"2003","author":"klein","journal-title":"Experiments Models Paper Tools Cultures of Organic Chemistry in the Nineteenth Century","key":"ref40"},{"year":"2014","author":"campbell-kelly","journal-title":"Computer A History of the Information Machine","key":"ref12"},{"year":"2013","author":"clanchy","journal-title":"From Memory to Written Record England 1066–1307","key":"ref13"},{"year":"2000","author":"davis","journal-title":"The Universal Computer The Road from Leibniz to Turing","key":"ref14"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1163\/19552343-13900017"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.1080\/01445340.2015.1084183"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1109\/MAHC.2013.21"},{"doi-asserted-by":"publisher","key":"ref18","DOI":"10.4467\/2543702XSHS.18.009.9329"},{"year":"2020","author":"dunning","article-title":"Writing the rules of reason: Notations in mathematical logic, 1847–1937","key":"ref19"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1007\/978-3-642-59412-0_3"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1109\/MAHC.1987.10002"},{"year":"1847","author":"boole","journal-title":"The Mathematical Analysis of Logic Being an Essay Towards a Calculus of Deductive Reasoning","key":"ref6"},{"year":"2010","author":"blair","journal-title":"Too Much to Know Managing Scholarly Information Before the Modern Age","key":"ref5"},{"year":"0","author":"burks","article-title":"Truth-function evaluation using the Polish notation","key":"ref8"},{"year":"1854","author":"boole","journal-title":"An Investigation of the Laws of Thought on Which are Founded the Mathematical Theories of Logic and Probabilities","key":"ref7"},{"doi-asserted-by":"publisher","key":"ref49","DOI":"10.1109\/MAHC.1988.10011"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1093\/comjnl\/20.3.269"},{"key":"ref46","first-page":"604","article-title":"O znaczeniu i potrzebach logiki matematycznej","volume":"10","author":"?ukasiewicz","year":"1929","journal-title":"Nauka Polska jej Potrzeby Organizacja i Rozwój"},{"year":"1980","author":"lavington","journal-title":"Early British Computers The Story of Vintage Computers and the People Who Built Them","key":"ref45"},{"year":"2018","author":"machale","journal-title":"New Light on George Boole Cork","key":"ref48"},{"year":"1963","author":"?ukasiewicz","journal-title":"Elements of Mathematical Logic Trans Olgierd Wojtasiewicz","key":"ref47"},{"key":"ref42","first-page":"1?30","article-title":"Paper dancers: Art as information in twentieth-century America","volume":"52","author":"laemmli","year":"2017","journal-title":"Inf Culture J Hist"},{"doi-asserted-by":"publisher","key":"ref41","DOI":"10.1007\/BF00327101"},{"key":"ref44","first-page":"450","article-title":"What is Turing’s comparison between mechanism and writing worth","author":"lass\u00e9gue","year":"0","journal-title":"Proc How the World Computes Turing Centenary Conf 8th Conf Computability Europe"},{"doi-asserted-by":"publisher","key":"ref43","DOI":"10.1086\/670948"}],"container-title":["IEEE Annals of the History of Computing"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/85\/9714912\/09525241.pdf?arnumber=9525241","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T14:50:55Z","timestamp":1652194255000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9525241\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,10,1]]},"references-count":71,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/mahc.2021.3108557","relation":{},"ISSN":["1058-6180","1934-1547"],"issn-type":[{"type":"print","value":"1058-6180"},{"type":"electronic","value":"1934-1547"}],"subject":[],"published":{"date-parts":[[2021,10,1]]}}}