1 |
Modular Design of Domain-Specific Languages using Splittings of Catamorphisms
|
|
|
|
In: ICTAC 2018 - 15th International Colloquium on the Theoretical Aspects of Computing ; https://hal.inria.fr/hal-01919423 ; ICTAC 2018 - 15th International Colloquium on the Theoretical Aspects of Computing, Oct 2018, Stellenbosch, South Africa. pp.62-79, ⟨10.1007/978-3-030-02508-3_4⟩ (2018)
|
|
BASE
|
|
Show details
|
|
2 |
Growing a Domain Specific Language with Split Extensions
|
|
|
|
In: https://hal.inria.fr/inria-00175805 ; [Research Report] RR-6314, INRIA. 2007 (2007)
|
|
BASE
|
|
Show details
|
|
3 |
An axiomatization of the Token Game based on Petri Algebras
|
|
|
|
In: ISSN: 0169-2968 ; Fundamenta Informaticae ; https://hal.univ-brest.fr/hal-01102917 ; Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2007, 77 (3), pp.187-215 (2007)
|
|
BASE
|
|
Show details
|
|
4 |
Petri Algebras
|
|
|
|
In: https://hal.inria.fr/inria-00070648 ; [Research Report] RR-5355, INRIA. 2004, pp.28 (2004)
|
|
BASE
|
|
Show details
|
|
|
|