Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation

27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers

Gallagher, John P.; Fioravanti, Fabio

Springer International Publishing AG

07/2018

341

Mole

Inglês

9783319944593

15 a 20 dias

551

Descrição não disponível.

Analysis.- Program development.- Term rewriting and CHR.- Theory.- Verification.

Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.

artificial intelligence;codes;computer architecture;constraint programming;deadlock;formal logic;formal methods;logic programming;model checking;program compilers;programming languages;semantics;software engineering;software evaluation;symbols;theorem proving;verification