Behavioral types in programming languages

Behavioral Types in Programming Languages provides the reader with the first comprehensive overview of the state of the art on this topic. Each section covers a particular programming paradigm or methodology, providing an ideal reference on the topic and identifying the areas as yet unexplored.

Detalles Bibliográficos
Autores principales: Ancona, Davide, Bono, Viviana, Bravetti, Mario, Campos, Joana, Castagna, Giuseppe, Deniélou, Pierre-Malo, Gay, Simon J, Gesbert, Nils, Giachino, Elena, Hu, Raymond
Lenguaje:eng
Publicado: Now Publishers 2016
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2761866
Descripción
Sumario:Behavioral Types in Programming Languages provides the reader with the first comprehensive overview of the state of the art on this topic. Each section covers a particular programming paradigm or methodology, providing an ideal reference on the topic and identifying the areas as yet unexplored.

Ejemplares similares