Preface to selected papers from 20th workshop on programming and languages (PROLE 2021)

DOI10.1016/J.JLAMP.2024.100974MaRDI QIDQ6561343FDOQ6561343

Authors:

Publication date: 25 June 2024

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

zbMATH Keywords

verificationformal methodsspecificationprogramminglanguages

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Cites Work

• Tableaux and sequent calculi for \textsf{CTL} and \textsf{ECTL}: satisfiability test with certifying proofs and models
• A formal semantics for agent distribution and fault tolerance in Jason
• Program slicing of Java programs
• Gaining trust by tracing security protocols
• Exception-sensitive program slicing
• Verification of the ROS NavFn planner using executable specification languages
• Verification of mutable linear data structures and iterator-based algorithms in Dafny
• A computational framework based on the dynamic pipeline approach

This page was built for publication: Preface to selected papers from 20th workshop on programming and languages (PROLE 2021)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6561343)