Logic-Based Program Synthesis and Transformation
portes grátis
Logic-Based Program Synthesis and Transformation
31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7-8, 2021, Proceedings
Vanhoof, Wim; De Angelis, Emanuele
Springer Nature Switzerland AG
03/2022
177
Mole
Inglês
9783030988685
15 a 20 dias
296
Descrição não disponível.
String Abstract Domains and Their Combination. - Data Type Inference for Logic Programming.- Automating the Functional Correspondence between Higher-Order Evaluators and Abstract Machines.- S-semantics - an Example.- Disjunctive Delimited Control.- Towards Substructural Property-Based Testing.- The Next 700 Program Transformers.- Representation and Processing of Instantaneous and Durative Temporal Phenomena.- Pre x-Based Tracing in Message-Passing Concurrency.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
artificial intelligence;computer programming;computer systems;distributed computer systems;formal logic;logic programming;logic-based program development;object-oriented programming;parallel processing systems;program analysis and verification;program and model manipulation;program compilers;program composition;program testing and certification;programming languages;software engineering
String Abstract Domains and Their Combination. - Data Type Inference for Logic Programming.- Automating the Functional Correspondence between Higher-Order Evaluators and Abstract Machines.- S-semantics - an Example.- Disjunctive Delimited Control.- Towards Substructural Property-Based Testing.- The Next 700 Program Transformers.- Representation and Processing of Instantaneous and Durative Temporal Phenomena.- Pre x-Based Tracing in Message-Passing Concurrency.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
artificial intelligence;computer programming;computer systems;distributed computer systems;formal logic;logic programming;logic-based program development;object-oriented programming;parallel processing systems;program analysis and verification;program and model manipulation;program compilers;program composition;program testing and certification;programming languages;software engineering
