A living monograph for graph transformation

Item request has been placed!

Item request cannot be made.

Processing Request

Read More Add to Saved list

Author(s): Behr, Nicolas; Harmer, Russ
Source:
16th International Conference on Graph Transformation (ICGT 2023)
https://hal.science/hal-04177321
16th International Conference on Graph Transformation (ICGT 2023), Jul 2023, Leicester, United Kingdom. pp.281-291, ⟨10.1007/978-3-031-36709-0_15⟩
Subject Terms:
graph transformation; collaborative mathematics; formalised mathematics; [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Document Type:
conference object
Language:
English

Additional Information
- Contributors:
  Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)); Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité); Preuves et Langages (PLUME); Laboratoire de l'Informatique du Parallélisme (LIP); École normale supérieure de Lyon (ENS de Lyon)-Université Claude Bernard Lyon 1 (UCBL); Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure de Lyon (ENS de Lyon)-Université Claude Bernard Lyon 1 (UCBL); Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS); ANR-22-CE48-0015,CoREACT,Réécriture basée sur Coq : vers une théorie des catégories appliquée exécutable(2022)
- Publication Information:
  HAL CCSD
  Springer Nature Switzerland
- Publication Date:
  2023
- Collection:
  HAL Lyon 1 (University Claude Bernard Lyon 1)
- Subject Terms:
  United Kingdom
- Subject Terms:
  Leicester, United Kingdom
- Abstract:
  A preliminary account of the notion of a living monograph for the field of graph transformation, and the reasons that led us to it, is given. The advantages of such a system are discussed along with the technical problems that will need to be overcome in order to build it.
- Relation:
  hal-04177321; https://hal.science/hal-04177321; https://hal.science/hal-04177321/document; https://hal.science/hal-04177321/file/ICGT_2023.pdf
- Accession Number:
  10.1007/978-3-031-36709-0_15
- Online Access:
  https://doi.org/10.1007/978-3-031-36709-0_15
  https://hal.science/hal-04177321
  https://hal.science/hal-04177321/document
  https://hal.science/hal-04177321/file/ICGT_2023.pdf
- Rights:
  info:eu-repo/semantics/OpenAccess
- Accession Number:
  edsbas.D6451F57

Comments

No Comments.