Effect-polymorphic behaviour inference for deadlock checking

Uloženo v:
Podrobná bibliografie
Vydáno v:Journal of logical and algebraic methods in programming Ročník 85; číslo 6; s. 1234 - 1267
Hlavní autoři: Pun, Ka I, Steffen, Martin, Stolz, Volker
Médium: Journal Article
Jazyk:angličtina
Vydáno: 01.10.2016
ISSN:2352-2208
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!
Popis
ISSN:2352-2208
DOI:10.1016/j.jlamp.2016.05.003