Preface to selected papers from 20th Workshop on Programming and Languages (PROLE 2021)

IF 0.7 4区数学 Q3 COMPUTER SCIENCE, THEORY & METHODS Journal of Logical and Algebraic Methods in Programming Pub Date : 2024-05-07 DOI:10.1016/j.jlamp.2024.100974

Narciso Martí-Oliet

引用次数: 0

Abstract

This special issue collects extended versions of selected papers presented at the 20th Workshop on Programming and Languages (PROLE 2021), held as a hybrid event in Málaga from September 22 to 24, 2021.

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

第 20 届编程与语言研讨会（PROLE 2021）论文选序言

本特刊收集了第 20 届编程与语言研讨会（PROLE 2021）上发表的部分论文的扩展版本，该研讨会于 2021 年 9 月 22 日至 24 日在马拉加举行，是一次混合型活动。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文去求助

来源期刊

Journal of Logical and Algebraic Methods in Programming COMPUTER SCIENCE, THEORY & METHODS-LOGIC

CiteScore

2.60

自引率

22.20%

发文量

期刊介绍： The Journal of Logical and Algebraic Methods in Programming is an international journal whose aim is to publish high quality, original research papers, survey and review articles, tutorial expositions, and historical studies in the areas of logical and algebraic methods and techniques for guaranteeing correctness and performability of programs and in general of computing systems. All aspects will be covered, especially theory and foundations, implementation issues, and applications involving novel ideas.

期刊最新文献

Editorial Board Generation of algebraic data type values using evolutionary algorithms Logic and Calculi for All on the occasion of Luís Barbosa’s 60th birthday First order Büchi automata and their application to verification of LTL specifications Tuning similarity-based fuzzy logic programs