Zobrazeno 1 - 10
of 25
pro vyhledávání: '"Equational system"'
Autor:
Fiore, Marcelo, Hur, Chung-Kil ⁎
Publikováno v:
In Theoretical Computer Science 2009 410(18):1704-1729
Autor:
Chung-Kil Hur, Marcelo Fiore
Publikováno v:
Theoretical Computer Science. 410:1704-1729
The purpose of this paper is threefold: to present a general abstract, yet practical, notion of equational system; to investigate and develop the finitary and transfinite construction of free algebras for equational systems; and to illustrate the use
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2f8eaf371fdd55d92074e7937e77a090
https://doi.org/10.1016/j.tcs.2008.12.052
https://doi.org/10.1016/j.tcs.2008.12.052
Autor:
Joachim De Lataillade
Publikováno v:
Mathematical Structures in Computer Science. 18:647-692
Curry-style system F, ie. system F with no explicit types in terms, can be seen as a core presentation of polymorphism from the point of view of programming languages. This paper gives a characterisation of type isomorphisms for this language, by usi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3834790038f08acc0fa34604ba19fa94
https://doi.org/10.1017/s0960129508006828
https://doi.org/10.1017/s0960129508006828
Autor:
Toshiyasu Arai
Publikováno v:
Annals of Pure and Applied Logic. 103(1-3):155-199
In this paper we introduce a system AID (alogtime inductive definitions) of bounded arithmetic. The main feature of AID is to allow a form of inductive definitions, which was extracted from Buss’ propositional consistency proof of Frege systems F i
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a87a046ea463af9f9a54f4bd4936170f
Publikováno v:
Fundamentals of Computation Theory ISBN: 9783642401633
FCT
FCT
Kleene algebra with tests (KAT) is an equational system that extends Kleene algebra, the algebra of regular expressions, and that is specially suited to capture and verify properties of simple imperative programs. In this paper we study two construct
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3431eaf3f301a64a547eaf242d3ffcab
https://doi.org/10.1007/978-3-642-40164-0_10
https://doi.org/10.1007/978-3-642-40164-0_10
Publikováno v:
Formal Methods and Software Engineering ISBN: 9783642342806
ICFEM
ICFEM
In this paper, we establish a semantic foundation for the safe execution of untrusted code. Our approach extends Moggi's computational λ-calculus in two dimensions with operations for asynchronous concurrency, shared state and software faults and wi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a6db1c4bfe00a0257be44548075cec05
https://doi.org/10.1007/978-3-642-34281-3_15
https://doi.org/10.1007/978-3-642-34281-3_15
Autor:
Mengjun Li
Publikováno v:
Formal Methods and Software Engineering ISBN: 9783642342806
ICFEM
ICFEM
Loop invariants play a major role in software verification. Based on random testing, constraint solving and verification, this paper presents a practical approach for generating equality loop invariants. More importantly, we present a practical verif
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8632c78ba179b5f1c14b7b0d56bfde06
https://doi.org/10.1007/978-3-642-34281-3_31
https://doi.org/10.1007/978-3-642-34281-3_31
Autor:
Chung-Kil Hur, Marcelo Fiore
Publikováno v:
Automata, Languages and Programming ISBN: 9783540734192
ICALP
ICALP
The purpose of this paper is threefold: to present a general abstract, yet practical, notion of equational system; to investigate and develop a theory of free constructions for such equational systems; and to illustrate the use of equational systems
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fc369a412146e93920d13d2a4c90952b
https://doi.org/10.1007/978-3-540-73420-8_53
https://doi.org/10.1007/978-3-540-73420-8_53
Autor:
Plaisted, David A.
Publikováno v:
Handbook of Logic in Artificial Intelligence and Logic Programming.
Externí odkaz:
https://doi.org/10.1093/oso/9780198537458.003.0005