Preface to selected papers from 22nd Workshop on Programming and Languages (PROLE 2023)

This special issue collects extended versions of selected papers presented at the 22nd Workshop on Programming and Languages (PROLE 2023), held in Ciudad Real from September 12 to 14, 2023.

Saved in:
Bibliographic Details
Published inJournal of logical and algebraic methods in programming Vol. 145; p. 101060
Main Author Panizo, Laura
Format Journal Article
LanguageEnglish
Published Elsevier Inc 01.05.2025
Subjects
Formal methods
Programming languages
Specification
Verification
Specification
Verification
Formal methods
Programming languages
Online AccessGet full text

Cover

More Information
Summary:This special issue collects extended versions of selected papers presented at the 22nd Workshop on Programming and Languages (PROLE 2023), held in Ciudad Real from September 12 to 14, 2023.
ISSN:2352-2208
DOI:10.1016/j.jlamp.2025.101060