Search Results - "Journal of Logical and Algebraic Methods in Programming"

Search: '"Journal of Logical and Algebraic Methods in Programming"'

Journal article

Flag-based big-step semantics / Casper Bach Poulsen

Swansea University Author: Peter Mosses
Published in Journal of Logical and Algebraic Methods in Programming (2017)

In collection: Faculty of Science and Engineering

Download now

Journal article

Executable component-based semantics / L. Thomas van Binsbergen, Neil Sculthorpe

Swansea University Author: Peter Mosses
Published in Journal of Logical and Algebraic Methods in Programming (2019)

In collection: Faculty of Science and Engineering

Download now

Journal article

A model of systems with modes and mode transitions / Edwin Beggs, John Tucker

Swansea University Authors: Edwin Beggs, John Tucker
Published in Journal of Logical and Algebraic Methods in Programming (2022)

In collection: Faculty of Science and Engineering

Download now

Journal article

Specifying with syntactic theory functors / Magne Haveraaen

Swansea University Author: Markus Roggenbach
Published in Journal of Logical and Algebraic Methods in Programming (2020)

Download now

Journal article

Partial arithmetical data types of rational numbers and their equational specification / Jan A. Bergstra

Swansea University Author: John Tucker
Published in Journal of Logical and Algebraic Methods in Programming (2022)

In collection: Faculty of Science and Engineering

Download now

Journal article

A formal framework for security testing of automotive over-the-air update systems / Rhys Kirk, Jeremy Bryans, Charles Wartnaby

Swansea University Authors: Hoang Nguyen, Siraj Shaikh
Published in Journal of Logical and Algebraic Methods in Programming (2023)

In collection: Faculty of Science and Engineering

Download now