Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Uma Zalakain"'
Autor:
Ornela Dardha, Uma Zalakain
Publikováno v:
Formal Techniques for Distributed Objects, Components, and Systems ISBN: 9783030780883
FORTE
FORTE
Linear type systems need to keep track of how programs use their resources. The standard approach is to use context splits specifying how resources are (disjointly) split across subterms. In this approach, context splits redundantly echo information
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3c85a12d2f194d879905ec17b2f565f5
https://doi.org/10.1007/978-3-030-78089-0_9
https://doi.org/10.1007/978-3-030-78089-0_9
