Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Somayyajula, Siva"'
Autor:
Somayyajula, Siva, Pfenning, Frank
Publikováno v:
Electronic Notes in Theoretical Informatics and Computer Science, Volume 3 - Proceedings of MFPS XXXIX (November 23, 2023) entics:12286
Type refinements combine the compositionality of typechecking with the expressivity of program logics, offering a synergistic approach to program verification. In this paper we apply dependent type refinements to SAX, a futures-based process calculus
Externí odkaz:
http://arxiv.org/abs/2309.08581
Autor:
Somayyajula, Siva, Pfenning, Frank
In sequential functional languages, sized types enable termination checking of programs with complex patterns of recursion in the presence of mixed inductive-coinductive types. In this paper, we adapt sized types and their metatheory to the concurren
Externí odkaz:
http://arxiv.org/abs/2105.06024
Autor:
Somayyajula, Siva
Publikováno v:
5th International Workshop on Trends in Linear Logic and Applications (TLLA 2021)
5th International Workshop on Trends in Linear Logic and Applications (TLLA 2021), Jun 2021, Rome (virtual), Italy
5th International Workshop on Trends in Linear Logic and Applications (TLLA 2021), Jun 2021, Rome (virtual), Italy
International audience; In this work-in-progress paper, we extend hybrid multiplicative-additive linear logic with modalities for recursion so that infinite formulas and proofs correspond to (co)inductive types and programs. Working towards a unified
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::9935da222f5179ba6032fe5c70689a6a
https://hal-lirmm.ccsd.cnrs.fr/lirmm-03271428
https://hal-lirmm.ccsd.cnrs.fr/lirmm-03271428