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

DOI10.1016/J.JLAMP.2024.100974MaRDI QIDQ6561343zbMATH OpenFDO

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

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

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)