Skip to main content
SpringerLink
Log in
Book cover

International Symposium on Formal Methods

FM 2019: Formal Methods. FM 2019 International Workshops pp 95–102Cite as

From Manuscripts to Programming Languages: An Archivist Perspective

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 12233))

Abstract

This paper presents the archival treatment of documentation produced by IFIP Working Group 2.1, Algorithmic Languages and Calculi as kept by former chairman Willem van der Poel (1962-69) and Chris Cheney. It highlights the importance of archival treatment based on standards such as International Standard for Archival Description—ISAD(G) and the International Standard Archival Authority Record (Corporate Bodies, Persons and Families)—ISAAR-(CPF) both issued by the International Council on Archives, the Portuguese Guidelines for Archival Description ODA and Encoded Archival Description EAD.

The archived collection enables dissemination and effective access to the information for research and in-depth knowledge of computer history and specifically programming languages and formal methods.

The paper also addresses the issues of the long-term preservation of archival records produced today in their various formats and the importance of contributing to preserving collective memory and enriching the knowledge about the human society.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Notes

  1. 1.

    Document replication was facilitated by technologies that became increasingly accessible, culminating in the widespread use the photocopier.

  2. 2.

    URL: http://pesquisa.adb.uminho.pt/.

  3. 3.

    URL: https://www.loc.gov/ead/.

  4. 4.

    URL: https://www.keep.pt/en.

  5. 5.

    Complete reference code: PT/UM-ADB/ASS/IFIP/TC2-WG2.1/004/01456.

  6. 6.

    See also PT/UM-ADB/ASS/IFIP/TC2-WG2.1/002/001164, a letter sent by Tony Hoare to Willem van der Poel in December 1968 containing his paper “The axiomatic method, program execution”, a precursor of [4]. The letter refers to a previous version that had been distributed at the North Berwick meeting (July/August 1968).

  7. 7.

    Recent is the right word here: one of us stepped from work on medieval seals straight into the Algol programming language!

  8. 8.

    URL: http://ershov.iis.nsk.su/en.

  9. 9.

    Contributions to these challenges are welcome. The Committee on the Archives of Science and Technology of the Section on University and Research Institutions Archives (https://www.ica.org/en/suv) of the International Council on Archives, of which ADB is a member, can be of help.

References

  1. American Library Association: Definitions of digital preservation. http://www.ala.org/alcts/resources/preserv/defdigpres0408. Accessed 30 Jan 2020

  2. DGARQ: Orientações para a descrição arquivística (2007). Direcção Geral de Arquivos, Grupo de trabalho de normalização da descrição em arquivo, 325 p. http://arquivos.dglab.gov.pt/wp-content/uploads/sites/16/2013/10/oda1-2-3.pdf

  3. Floyd, R.: Assigning meanings to programs. In: Schwartz, J. (ed.) Mathematical Aspects of Computer Science, vol. 19, pp. 19–32. American Mathematical Society (1967). Proc. Symposia in Applied Mathematics

    Google Scholar 

  4. Hoare, C.: An axiomatic basis for computer programming. CACM 12(10), 576–580, 583 (1969)

    Google Scholar 

  5. ICA: ISAD(G): General international standard archival description (1999). International Council on Archives. Adopted by the Committee on Descriptive Standards, Stockolm, Sweden, 19–22 September 1999, 2nd edn. Ottawa: ICA/CDS (2000). http://tiny.cc/suwdjz

  6. ICA: ISAAR(CFP): International standard archival authority records for corporate bodies, persons and families (2002). Prepared by the Committee on Descriptive Standards, Rio de Janeiro, Brazil, 19–21 November 2002. http://tiny.cc/eswdjz

  7. Schellenberg, T.R.: Modern archives; principles and techniques. Society of American Archivists, Chicago (1996). http://hdl.handle.net/2027/mdp.39015071452539. xv, 247 p. Reprint of the 1956 edn. Includes bibliographical references and index

Download references

Acknowledgements

ADB and the University of Minho are very grateful to the generosity of Primavera Software. The authors would like to thank the interest of WG2.1 member J.N. Oliveira in bringing the WG2.1 collection into ADB custody. His comments on the current version of the paper are also gratefully acknowledged.

Author information

Authors and Affiliations

  1. Faculty of Documentación, Univ. Complutense Madrid, Madrid, Spain

    Alexandra Vidal

  2. Arquivo Distrital de Braga, Univ. Minho, Braga, Portugal

    Ana Sandra Meneses & António Sousa

Authors
  1. Alexandra Vidal
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ana Sandra Meneses
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. António Sousa
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding authors

Correspondence to Alexandra Vidal , Ana Sandra Meneses or António Sousa .

Editor information

Editors and Affiliations

  1. McMaster University, Hamilton, ON, Canada

    Emil Sekerinski

  2. University of Porto, Porto, Portugal

    Nelma Moreira

  3. University of Minho, Braga, Portugal

    José N. Oliveira

  4. Argo Ai, Munich, Germany

    Daniel Ratiu

  5. University of Pisa, Pisa, Italy

    Riccardo Guidotti

  6. University of Liverpool, Liverpool, UK

    Marie Farrell

  7. University of Liverpool, Liverpool, UK

    Matt Luckcuck

  8. University of Exeter, Exeter, UK

    Diego Marmsoler

  9. University of Minho, Braga, Portugal

    José Campos

  10. University of Newcastle, Newcastle upon Tyne, UK

    Troy Astarte

  11. Claude Bernard University, Lyon, France

    Laure Gonnord

  12. Nazarbayev University, Nur-Sultan, Kazakhstan

    Antonio Cerone

  13. University of Surrey, Guildford, UK

    Luis Couto

  14. University of Surrey, Guildford, UK

    Brijesh Dongol

  15. University of Giessen, Giessen, Germany

    Martin Kutrib

  16. University of Lisbon, Lisbon, Portugal

    Pedro Monteiro

  17. Airbus Operations S.A.S., Toulouse, France

    David Delmas

Rights and permissions

Reprints and permissions

Copyright information

© 2020 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Vidal, A., Meneses, A.S., Sousa, A. (2020). From Manuscripts to Programming Languages: An Archivist Perspective. In: Sekerinski, E., et al. Formal Methods. FM 2019 International Workshops. FM 2019. Lecture Notes in Computer Science(), vol 12233. Springer, Cham. https://doi.org/10.1007/978-3-030-54997-8_6

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-54997-8_6

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-54996-1

  • Online ISBN: 978-3-030-54997-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation