A static verification framework for message passing in Go using behavioural types

The Go programming language has been heavily adopted in industry as a language that efficiently combines systems programming with concurrency. Go's concurrency primitives, inspired by process calculi such as CCS and CSP, feature channel-based communication and lightweight threads, providing a d...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE) s. 1137 - 1148
Hlavní autoři:	Lange, Julien, Ng, Nicholas, Toninho, Bernardo, Yoshida, Nobuko
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	New York, NY, USA ACM 27.05.2018
Edice:	ACM Conferences
Témata:	behavioural types Computer languages concurrency Concurrent computing go programming language Message systems model checking Programming Safety Software Software and its engineering > Software notations and tools > General programming languages > Language types > Concurrent programming languages Software and its engineering > Software organization and properties > Software functional properties > Formal methods > Automated static analysis Software and its engineering > Software organization and properties > Software functional properties > Formal methods > Model checking Software and its engineering > Software organization and properties > Software functional properties > Formal methods > Software verification static analysis System recovery Theory of computation > Logic > Type theory Theory of computation > Logic > Verification by model checking Theory of computation > Models of computation > Concurrency > Process calculi
ISBN:	9781450356381, 1450356389
ISSN:	1558-1225
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!