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.

Uložené v:

Podrobná bibliografia
Vydané v:	Journal of logical and algebraic methods in programming Ročník 145; s. 101060
Hlavný autor:	Panizo, Laura
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Elsevier Inc 01.05.2025
Predmet:	Formal methods Programming languages Specification Verification Specification Verification Formal methods Programming languages
ISSN:	2352-2208
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Popis
Shrnutí:	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