REAL

Change Propagation of View Models by Logic Synthesis using SAT solvers.

Semeráth, Oszkár and Debreceni, Csaba and Horváth, Ákos and Varró, Dániel (2016) Change Propagation of View Models by Logic Synthesis using SAT solvers. In: Proceedings of the 5th International Workshop on Bidirectional Transformations, Bx 2016, co-located with The European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 8, 2016. CEUR Workshop Proceedings (1571). CEUR-WS.org, Aachen, pp. 40-44.

[img]
Preview
Text
paper_6.pdf

Download (715kB) | Preview
Item Type: Book Section
Subjects: Q Science / természettudomány > QA Mathematics / matematika > QA75 Electronic computers. Computer science / számítástechnika, számítógéptudomány
Q Science / természettudomány > QA Mathematics / matematika > QA76 Computer software / programozás
SWORD Depositor: MTMT SWORD
Depositing User: MTMT SWORD
Date Deposited: 25 Jul 2018 03:58
Last Modified: 25 Jul 2018 03:58
URI: http://real.mtak.hu/id/eprint/82390

Actions (login required)

Edit Item Edit Item