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

Fioravanti, Fabio; Gallagher, John P.

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