EMTST: Engineering the Meta-theory of Session Types.

David Castro-Perez Francisco Ferreira Nobuko Yoshida

Published in: TACAS (2) (2020)

Keyphrases

theoretical framework
artificial intelligence
search algorithm
computer science
software engineering
theoretical basis
databases
computer vision
information systems
logic programs
information theory
conceptual framework
engineering design
computer aided design
engineering problems