Behavioural Types From Theory to Tools

Behavioural type systems in programming languages support the specification and verification of properties of programs beyond the traditional use of type systems to describe data processing. A major example of such a property is correctness of communication in concurrent and distributed systems, mot...

Celý popis

Uloženo v:

Podrobná bibliografie
Hlavní autoři:	Gay, Simon, Ravara, António
Médium:	E-kniha
Jazyk:	angličtina
Vydáno:	United Kingdom River Publishers 2017 Routledge Taylor & Francis
Vydání:	1
Edice:	River Publishers series in automation, control and robotics
Témata:	Classical mechanics Computer programming Computer programming / software engineering Computer programming, programs, data Computers Computing and Information Technology Energy INFORMATIONSCIENCEnetBASE ITECHnetBASE Mathematics and Science Physics Programming & Programming Languages Programming languages (Electronic computers) SCI-TECHnetBASE Science Software Development & Engineering Software Engineering & Systems Development STMnetBASE Monitor Implementation TCP Deadlock Freedom Process Calculus MPI OTP Vice Versa The Core Language Linear Channels Session Types Scribble Specification Adaptation Rule Recursive Types Source Protocol API Generation Diogenes Singleton Type Receive Operations Local Protocol Contracts Contract-Oriented Design Visualisation and Simulation Architecture MPI Program Type Environment Global Protocol Global Graph Lock Freedom Monitor Compilation Runtime Verification BPMN Atm Service Row Types Monitoring Requirements
ISBN:	1000799255, 9781000799255, 9788793519824, 8793519826, 9781003337331, 1003337333, 1000799395, 9781000799392
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!