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ženo v:

Podrobná bibliografie
Vydáno v:	Journal of logical and algebraic methods in programming Ročník 145; s. 101060
Hlavní autor:	Panizo, Laura
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier Inc 01.05.2025
Témata:	Formal methods Programming languages Specification Verification Specification Verification Formal methods Programming languages
ISSN:	2352-2208
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

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