Preface to Selected Papers from 20th Workshop on Programming and Languages (PROLE 2021)
- 7 May 2024
- journal article
- research article
- Published by Elsevier in Journal of Logical and Algebraic Methods in Programming
- Vol. 139
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- A computational framework based on the dynamic pipeline approachJournal of Logical and Algebraic Methods in Programming, 2024
- Verification of mutable linear data structures and iterator-based algorithms in DafnyJournal of Logical and Algebraic Methods in Programming, 2023
- A formal semantics for agent distribution and fault tolerance in JasonJournal of Logical and Algebraic Methods in Programming, 2023
- Verification of the ROS NavFn planner using executable specification languagesJournal of Logical and Algebraic Methods in Programming, 2023
- Exception-sensitive program slicingJournal of Logical and Algebraic Methods in Programming, 2022
- Gaining trust by tracing security protocolsJournal of Logical and Algebraic Methods in Programming, 2022
- Tableaux and sequent calculi for CTL and ECTL: Satisfiability test with certifying proofs and modelsJournal of Logical and Algebraic Methods in Programming, 2022
- Program slicing of Java programsJournal of Logical and Algebraic Methods in Programming, 2022