Journal•ISSN: 1567-8326
The Journal of Logic and Algebraic Programming
Elsevier BV
About: The Journal of Logic and Algebraic Programming is an academic journal. The journal publishes majorly in the area(s): Operational semantics & Semantics (computer science). It has an ISSN identifier of 1567-8326. Over the lifetime, 815 publications have been published receiving 15108 citations.
Topics: Operational semantics, Semantics (computer science), Concurrency, Process calculus, Correctness
Papers published on a yearly basis
Papers
More filters
Journal Article•
2,380 citations
TL;DR: A comparison to well-known verification techniques like model checking and testing is provided, and applications in which runtime verification brings out its distinguishing features are pointed out.
792 citations
TL;DR: The K definition of Challenge, a programming language that aims at challenging and exposing the limitations of the various existing semantic frameworks, is proposed and discussed.
383 citations
TL;DR: A structural approach to operational semantics as discussed by the authors was proposed by Plotkin et al. in the early 1970s, involving many people and building on previous work on programming languages and logic, including abstract syntax, the SECD machine, and abstract interpreting machines.
375 citations
TL;DR: It is advocated that three different mechanisms for error handling are not necessary and a novel orchestration language is formalized based on the idea of event notification as the unique error handling mechanism to define the three BPEL mechanisms in terms of the authors' calculus.
289 citations