@inproceedings{alberts12__devel_histor_notion_of_softw_, title = {Developing An Historical Notion Of Software}, author = {Alberts, Gerard}, year = {2012}, tags = {}, pages = {7-8}, crossref = {mol12:_proceed_aisb_iacap_world_congr_sympos_}, } @inproceedings{brand12__two_approac_to_one_task_, title = {Two Approaches To One Task}, subtitle = {A Historical Case Study Of The Implementation and Deployment Of Two Software Packages For The Design Of Light-Weight Structures In Architecture and Civil Engineering}, author = {Brand, Wolfgang}, year = {2012}, tags = {}, pages = {9-17}, crossref = {mol12:_proceed_aisb_iacap_world_congr_sympos_}, } @inproceedings{bringsjord12__cognit_scien_of_comput_progr_, title = {On The Cognitive Science Of Computer Programming In Service Of Two Historic Challenges}, author = {Bringsjord, Selmer and Li, Jinrong and G., Naveen Sundar and Arkoudas, Kostantine}, year = {2012}, tags = {}, pages = {17-24}, crossref = {mol12:_proceed_aisb_iacap_world_congr_sympos_}, } @inproceedings{colburn12__role_of_types_for_progr_, title = {The Role Of Types For Programmers}, author = {Colburn, Timothy and Shute, Gary}, year = {2012}, tags = {}, pages = {24-34}, crossref = {mol12:_proceed_aisb_iacap_world_congr_sympos_}, } @inproceedings{daylight12__compil_of_dutch_comput_styles_, title = {A Compilation Of Dutch Computing Styles, 1950s - 1960s}, author = {Daylight, Edgar G.}, year = {2012}, tags = {}, pages = {34-37}, crossref = {mol12:_proceed_aisb_iacap_world_congr_sympos_}, } @inproceedings{kitov12__anatol_kitov_algem_algor_languag_, title = {Anatoly Kitov and ALGEM Algorithmic Language}, author = {Kitov, Vladimir V. and Shilov, Valery V. and Silantiev, Sergey A.}, year = {2012}, tags = {}, pages = {37-40}, crossref = {mol12:_proceed_aisb_iacap_world_congr_sympos_}, } @proceedings{mol12:_proceed_aisb_iacap_world_congr_sympos_, title = {Proceedings of the AISB/IACAP World Congress 2012 Symposium on the History and Philosophy of Programming}, editor = {Mol, Liesbeth De and Primiero, Giuseppe}, year = {2012}, tags = {}, address = {University of Birmingham, UK}, pdf_locked = {False}, isbn = {978-1-908187-17-8}, url = {https://aisb.org.uk/wp-content/uploads/2019/09/aisb2012.zip}, url2 = {https://web.archive.org/web/20190115201026/http://www.aisb.org.uk/convention/aisb12}, file = {/media/john/data/todo/pdfs/proceedings/aisb/aisb_12/09.pdf}, } @inproceedings{mounier-kuhn12__logic_comput_in_franc_, title = {Logic and Computing In France}, subtitle = {A Late Convergence}, author = {Mounier-Kuhn, Pierre}, year = {2012}, tags = {}, pages = {44-47}, crossref = {mol12:_proceed_aisb_iacap_world_congr_sympos_}, } @inproceedings{olley12__is_plugg_progr_oxymor_, title = {Is Plugged Programmed An Oxymoron?}, author = {Olley, Allan}, year = {2012}, tags = {}, pages = {47-49}, crossref = {mol12:_proceed_aisb_iacap_world_congr_sympos_}, } @inproceedings{pincas12__natur_of_relat_between_algor_progr_, title = {On The Nature Of The Relation Between Algorithms and Programs}, author = {Pincas, Uri}, year = {2012}, tags = {}, pages = {49-52}, crossref = {mol12:_proceed_aisb_iacap_world_congr_sympos_}, } @inproceedings{rohrhuber12__algor_compl_, title = {Algorithmic Complementarity. Some Thoughts On Experimental Programming and The History Of Live Coding}, author = {Rohrhuber, Julian}, year = {2012}, tags = {}, pages = {8-9}, crossref = {mol12:_proceed_aisb_iacap_world_congr_sympos_}, } @inproceedings{shintaro12__algor_listen_, title = {Algorhythmic Listening 1949-1962}, subtitle = {Autidtory Practices Of Early Mainframe Computing}, author = {Shintaro, Miyazaki}, year = {2012}, tags = {}, pages = {40-44}, crossref = {mol12:_proceed_aisb_iacap_world_congr_sympos_}, }