The origins of structural operational semantics
Article Properties
-
LanguageEnglish
-
DOI (url)
-
Publication Date2004/07/01
-
Indian UGC (journal)
-
Refrences72
-
Citations90
-
Gordon D Plotkin
Cite
Plotkin, Gordon D. “The Origins of Structural Operational Semantics”. The Journal of Logic and Algebraic Programming, vol. 60-61, 2004, pp. 3-15, https://doi.org/10.1016/j.jlap.2004.03.009.
Plotkin, G. D. (2004). The origins of structural operational semantics. The Journal of Logic and Algebraic Programming, 60-61, 3-15. https://doi.org/10.1016/j.jlap.2004.03.009
Plotkin GD. The origins of structural operational semantics. The Journal of Logic and Algebraic Programming. 2004;60-61:3-15.
Refrences
| Title | Journal | Journal Categories | Citations | Publication Date |
|---|---|---|---|---|
| A type-theoretical alternative to ISWIM, CUCH, OWHY | 1993 | |||
| Lambda-calculus schemata | 1993 | |||
Countable nondeterminism and random assignment | Journal of the ACM |
| 64 | 1986 |
| Formal Justification of a Proof System for Communicating Sequential Processes | Journal of the ACM |
| 16 | 1983 |
| Formal Semantics of Programming Languages: VDL | IBM Journal of Research and Development |
| 5 | 1981 |
Citations
| Title | Journal | Journal Categories | Citations | Publication Date |
|---|---|---|---|---|
On Giving Meanings to Programs | Global Philosophy | 2023 | ||
Development Use Cases for Semantics-Driven Modeling Languages | Communications of the ACM |
| 2 | 2023 |
Modeling Languages for Internet of Things (IoT) Applications: A Comparative Analysis Study | Mathematics |
| 6 | 2023 |
| The Way We Were: Structural Operational Semantics Research in Perspective | Electronic Proceedings in Theoretical Computer Science |
| 2023 | |
| Automatic compiler/interpreter generation from programs for Domain-Specific Languages: Code bloat problem and performance improvement | Journal of Computer Languages |
| 3 | 2022 |
Citations Analysis
The category
Science: Mathematics: Instruments and machines: Electronic computers. Computer science 61
is the most commonly referenced area in studies that cite this article. The first research to cite this article was titled Process-algebraic approaches for multi-agent systems: an overview and was published in 2005. The most recent citation comes from a 2023 study titled On Giving Meanings to Programs. This article reached its peak citation in 2007, with 9 citations. It has been cited in 41 different journals, 4% of which are open access. Among related journals, the Electronic Notes in Theoretical Computer Science cited this research the most, with 14 citations. The chart below illustrates the annual citation trends for this article.