Challenges for Formal Semantic Description: Responses from the Main Approaches

Jones, Cliff B.; Astarte, Troy K.

doi:10.1007/978-3-030-02928-9_6

Cited by 3 publications

(1 citation statement)

References 59 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The challenge of describing -in an operational approach-concurrent programming languages with their inherent non-determinism was overcome by Gordon Plotkin's Structural Operational Semantics (SOS) [Plo81]. 10 The history of formal semantic descriptions is covered in a recent doctoral thesis [Ast19] and more technical details are given in [JA16,JA18]. Formalisation of the Spark-Ada language is discussed below in Section 4.…”

Section: Programming Languagesmentioning

confidence: 99%

The development and deployment of formal methods in the UK

Jones¹,

Thomas²

2020

Preprint

Self Cite

View full text Add to dashboard Cite

UK researchers have made major contributions to the technical ideas underpinning formal approaches to the specification and development of computer systems. Perhaps as a consequence of this, some of the significant attempts to deploy theoretical ideas into practical environments have taken place in the UK. The authors of this paper have been involved in formal methods for many years and both have tracked a significant proportion of the whole story. This paper both lists key ideas and indicates where attempts were made to use the ideas in practice. Not all of these deployment stories have been a complete success and an attempt is made to tease out lessons that influence the probability of long-term impact.

show abstract

Section: Programming Languagesmentioning

confidence: 99%

The development and deployment of formal methods in the UK

Jones¹,

Thomas²

2020

Preprint

Self Cite

View full text Add to dashboard Cite

show abstract

Concurrency: Handling Interference Formally

Jones

2018

Lecture Notes in Computer Science

View full text Add to dashboard Cite

The Development and Deployment of Formal Methods in the UK

Jones

Thomas²

2022

Form. Asp. Comput.

View full text Add to dashboard Cite

In addition to the major UK contributions to research underpinning formal approaches to the specification and development of computer systems –and perhaps as a consequence of this– some significant attempts to deploy the ideas into practical environments have taken place in the UK. The authors of this paper have been involved in formal methods for many years and both had contact with a significant proportion of this history. This paper both lists key ideas and indicates where attempts were made to use the ideas in practice. Not all of these deployment stories have been a complete success and an attempt is made to tease out lessons that influence the probability of successful long-term changes to software engineering.

show abstract

Challenges for Formal Semantic Description: Responses from the Main Approaches

Cited by 3 publications

References 59 publications

The development and deployment of formal methods in the UK

The development and deployment of formal methods in the UK

Concurrency: Handling Interference Formally

The Development and Deployment of Formal Methods in the UK

Contact Info

Product

Resources

About