Skip to main content
Kent Academic Repository

Browse by Journal

Group by: Creator's name | Item Type | Date | No Grouping
Number of items: 4.

Boiten, Eerke Albert (2015) Diversity and Adjudication. Journal of Logical and Algebraic Methods in Programming, . ISSN 2352-2208. (doi:10.1016/j.jlamp.2015.10.007) (KAR id:51066)
Format: PDF

Marco, Paviotti, Jesper, Bengtson (2018) Formally verifying Exceptions for Low-level code with Separation Logic. Journal of Logical and Algebraic Methods in Programming, 94 . pp. 1-14. ISSN 2352-2208. (doi:10.1016/j.jlamp.2017.09.004) (KAR id:67658)
Format: PDF

Horpácsi, Dániel, Bereczky, Péter, Thompson, Simon (2023) Program Equivalence in an Untyped, Call-by-value Functional Language with Uncurried Functions. Journal of Logical and Algebraic Methods in Programming, 132 . Article Number 100857. ISSN 2352-2208. (doi:10.1016/j.jlamp.2023.100857) (KAR id:100069)
Format: PDF

Bartoletti, Massimo, Murgia, Maurizio, Scalas, Alceste, Zunino, Roberto (2015) Verifiable abstractions for contract-oriented systems. Journal of Logical and Algebraic Methods in Programming, 86 (1). pp. 159-207. ISSN 2352-2208. (doi:10.1016/j.jlamp.2015.10.005) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:64593)

This list was generated on Wed Mar 27 22:19:06 2024 GMT.