Transforming Truth Tables to Binary Decision Diagrams Using Relational Reference Attribute Grammars

Johannes Mey, René Schöne, Christopher Werner, Uwe Aßmann. Transforming Truth Tables to Binary Decision Diagrams Using Relational Reference Attribute Grammars. In Antonio García-Domínguez, Georg Hinkel, Filip Krikava, editors, Proceedings of the 12th Transformation Tool Contest, co-located with the 2019 Software Technologies: Applications and Foundations, TTC@STAF 2019, Eindhoven, The Netherlands, July 19, 2019. Volume 2550 of CEUR Workshop Proceedings, pages 27-32, CEUR-WS.org, 2019. [doi]

Abstract

Abstract is missing.