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 in:Journal of logical and algebraic methods in programming Vol. 145; p. 101060
Main Author: Panizo, Laura
Format: Journal Article
Language:English
Published: Elsevier Inc 01.05.2025
Subjects:
Formal methods
Programming languages
Specification
Verification
Specification
Verification
Formal methods
Programming languages
ISSN:2352-2208
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
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