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.

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Journal of logical and algebraic methods in programming Jg. 145; S. 101060
1. Verfasser: Panizo, Laura
Format: Journal Article
Sprache:Englisch
Veröffentlicht: Elsevier Inc 01.05.2025
Schlagworte:
Formal methods
Programming languages
Specification
Verification
Specification
Verification
Formal methods
Programming languages
ISSN:2352-2208
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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