Bi-inductive structural semantics
Article Properties
-
LanguageEnglish
-
DOI (url)
-
Publication Date2009/02/01
-
Journal
-
Indian UGC (journal)
-
Refrences35
-
Citations4
-
Patrick Cousot
-
Radhia Cousot
Cite
Cousot, Patrick, and Radhia Cousot. “Bi-Inductive Structural Semantics”. Information and Computation, vol. 207, no. 2, 2009, pp. 258-83, https://doi.org/10.1016/j.ic.2008.03.025.
Cousot, P., & Cousot, R. (2009). Bi-inductive structural semantics. Information and Computation, 207(2), 258-283. https://doi.org/10.1016/j.ic.2008.03.025
Cousot P, Cousot R. Bi-inductive structural semantics. Information and Computation. 2009;207(2):258-83.
Journal Categories
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Computer software
Technology
Electrical engineering
Electronics
Nuclear engineering
Electronics
Computer engineering
Computer hardware
Technology
Technology (General)
Industrial engineering
Management engineering
Applied mathematics
Quantitative methods
Refrences
| Title | Journal | Journal Categories | Citations | Publication Date |
|---|---|---|---|---|
| Bialgebraic Methods in Structural Operational Semantics | Electronic Notes in Theoretical Computer Science | 3 | 2007 | |
| Constructive design of a hierarchy of semantics of a transition system by abstract interpretation | Theoretical Computer Science |
| 2002 | |
| Abstract Interpretation Frameworks | Journal of Logic and Computation |
| 165 | 1992 |
| Fixed point theorems and semantics: a folk tale | Information Processing Letters |
| 45 | 1982 |
| Constructive versions of Tarski’s fixed point theorems | Pacific Journal of Mathematics |
| 91 | 1979 |
Citations
| Title | Journal | Journal Categories | Citations | Publication Date |
|---|---|---|---|---|
On Coevaluation Behavior and Equivalence | Mathematics |
| 1 | 2022 |
Reasoning on divergent computations with coaxioms | Proceedings of the ACM on Programming Languages |
| 4 | 2017 |
| Coinductive Big-Step Semantics for Concurrency | Electronic Proceedings in Theoretical Computer Science |
| 2013 | |
Operational semantics using the partiality monad | ACM SIGPLAN Notices | 3 | 2012 |
Citations Analysis
The category
Science: Mathematics 1
is the most commonly referenced area in studies that cite this article. The first research to cite this article was titled Operational semantics using the partiality monad and was published in 2012. The most recent citation comes from a 2022 study titled On Coevaluation Behavior and Equivalence. This article reached its peak citation in 2022, with 1 citations. It has been cited in 4 different journals, 50% of which are open access. Among related journals, the Mathematics cited this research the most, with 1 citations. The chart below illustrates the annual citation trends for this article.