Behavioral Types in Programming Languages

Behavioral Types in Programming Languages

Ancona, Davide; et al.

now publishers Inc






15 a 20 dias

A recent trend in programming language research is to use behavioral type theory to ensure various correctness properties of large-scale, communication-intensive systems. This book provides the reader with the first comprehensive overview of the practical aspects, which are summarized as the pragmatics of behavioral types.
1: Introduction 2: Object-Oriented Languages 3: Functional Languages 4: High Performance Message-Passing Systems 5: Multiagent Systems 6: Singularity OS 7: Web Services 8: Choreographies. Acknowledgments. References
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.