Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Sigurd Schneider"'
Publikováno v:
Logical Methods in Computer Science, Vol Volume 7, Issue 1 (2011)
We present a terminating tableau calculus for graded hybrid logic with global modalities, reflexivity, transitivity and role hierarchies. Termination of the system is achieved through pattern-based blocking. Previous approaches to related logics all
Externí odkaz:
https://doaj.org/article/55c0ebda15e14a0c8de29423c1859bfe
Publikováno v:
Sonderprojekte ATZ/MTZ. 25:158-165
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4c025f6fba7a5b26170b550d63a11243
https://doi.org/10.1007/s41491-020-0084-1
https://doi.org/10.1007/s41491-020-0084-1
Publikováno v:
Interactive Theorem Proving ISBN: 9783319661063
ITP
ITP
Spilling is a mandatory translation phase in every compiler back-end. It decides whether and where a value is stored in a register or in memory and has therefore a significant impact on performance. In this paper, we study spilling in the setting of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::aca43b22ad7dca900256c0160f90c83c
https://doi.org/10.1007/978-3-319-66107-0_27
https://doi.org/10.1007/978-3-319-66107-0_27
Publikováno v:
CPP
Based on constructive type theory, we study two idealized imperative languages GC and IC and verify the correctness of a compiler from GC to IC. GC is a guarded command language with underspecified execution order defined with an axiomatic semantics.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::791c40ee454203aff0ec966b8bdb71c8
https://doi.org/10.1145/2854065.2854083
https://doi.org/10.1145/2854065.2854083
Publikováno v:
Interactive Theorem Proving ISBN: 9783319221014
ITP
ITP
We present the linear first-order intermediate language IL for verified compilers. IL is a functional language with calls to a nondeterministic environment. We give IL terms a second, imperative semantic interpretation and obtain a register transfer
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f2e7d63c3875f9af7c932397571504fb
https://doi.org/10.1007/978-3-319-22102-1_23
https://doi.org/10.1007/978-3-319-22102-1_23
Autor:
Elisabet Henderson, Fernanda Cristina Petersen, Sigurd Schneider, Johan Caspar Wohlfahrt, Karl Ekstrand, Anders Ekfeldt, Håvard J. Haugen
Publikováno v:
Acta odontologica Scandinavica. 71(3-4)
To compare the efficacy of different chemical solutions when used for chemical debridement of biofilm contaminated titanium surfaces in an in-vitro experimental study.Commercially pure titanium discs with a diameter of 6.2 mm and height of 2 mm, mirr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d6aa3923e8b5d19a8b042b4b165ef14e
https://pubmed.ncbi.nlm.nih.gov/23140518
https://pubmed.ncbi.nlm.nih.gov/23140518
Publikováno v:
SIGSOFT FSE
Computer systems are often difficult to debug and understand. A common way of gaining insight into system behavior is to inspect execution logs and documentation. Unfortunately, manual inspection of logs is an arduous process and documentation is oft
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6094a8001a51a54cc79baf85c0672036
https://doi.org/10.1145/2025113.2025151
https://doi.org/10.1145/2025113.2025151
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783642027154
TABLEAUX
TABLEAUX
We present a terminating tableau calculus for graded hybrid logic with global modalities, reflexivity, transitivity and role hierarchies. Termination of the system is achieved through pattern-based blocking. Previous approaches to related logics all
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::adc2c23abf01f16a83441fe3ea68f42e
http://arxiv.org/abs/1012.0746
http://arxiv.org/abs/1012.0746