Effect-polymorphic behaviour inference for deadlock checking

Uložené v:
Podrobná bibliografia
Vydané v:Journal of logical and algebraic methods in programming Ročník 85; číslo 6; s. 1234 - 1267
Hlavní autori: Pun, Ka I, Steffen, Martin, Stolz, Volker
Médium: Journal Article
Jazyk:English
Vydavateľské údaje: 01.10.2016
ISSN:2352-2208
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
ISSN:2352-2208
DOI:10.1016/j.jlamp.2016.05.003