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:
| Vydáno v: | Journal of logical and algebraic methods in programming Ročník 145; s. 101060 |
|---|---|
| Hlavní autor: | |
| Médium: | Journal Article |
| Jazyk: | angličtina |
| Vydáno: |
Elsevier Inc
01.05.2025
|
| Témata: | |
| 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!
|
| Abstract | 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. |
|---|---|
| AbstractList | 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. |
| ArticleNumber | 101060 |
| Author | Panizo, Laura |
| Author_xml | – sequence: 1 givenname: Laura surname: Panizo fullname: Panizo, Laura email: laurapanizo@uma.es organization: ITIS Software, Andalucía Tech, Universidad de Málaga, Málaga, Spain |
| BookMark | eNp9kD1PwzAQhj0UiVL6C1g8wpBin9t8DAyoKh9SpEYI1NFy7EtIaOzILkj8e1zKzHTS3fvevfdckIl1Fgm54mzBGU9v-0W_V8O4AAarY4elbEKmIFaQALD8nMxD6BmL0jzLBZ-SXeWxURrpwdGAe9QHNHRUI_pAG-8GCmAN3Tn_Ed7dSJ2llXetV8PQ2ZaqOCuVbT9Vi4FeVy_bckPjbXFzSc4atQ84_6sz8vaweV0_JeX28Xl9Xyaa5-KQ1AANAtfAVcOwECwXMcxS1NyoNFOgTdYIWIkMU8bzptZYZKpY8qLGesmMFjMiTnu1dyHEX-Tou0H5b8mZPCKRvfxFIo9I5AlJdN2dXBijfXXoZdAdWo2m8xGBNK771_8DlbZteA |
| ContentType | Journal Article |
| Copyright | 2025 |
| Copyright_xml | – notice: 2025 |
| DBID | AAYXX CITATION |
| DOI | 10.1016/j.jlamp.2025.101060 |
| DatabaseName | CrossRef |
| DatabaseTitle | CrossRef |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| ExternalDocumentID | 10_1016_j_jlamp_2025_101060 S2352220825000264 |
| GroupedDBID | --M 0R~ 4.4 457 4G. 7-5 8P~ AAEDT AAEDW AAIKJ AAKOC AALRI AAOAW AATTM AAXKI AAXUO AAYFN AAYWO ABBOA ABJNI ABMAC ABXDB ACDAQ ACGFS ACRLP ACVFH ADBBV ADCNI ADEZE ADVLN AEBSH AEIPS AEKER AENEX AEUPX AFJKZ AFPUW AFTJW AFXIZ AGCQF AGHFR AGRNS AGUBO AIALX AIEXJ AIGII AIIUN AIKHN AITUG AKBMS AKRWK AKYEP ALMA_UNASSIGNED_HOLDINGS AMRAJ ANKPU AOUOD AXJTR BKOJK BLXMC BNPGV EBS EFJIC EJD FDB FIRID FYGXN GBLVA GBOLZ HZ~ KOM M41 O9- OAUVE RIG ROL SPC SPCBC SSH SSV SSZ T5K ~G- AAYXX ACLOT CITATION EFKBS EFLBG |
| ID | FETCH-LOGICAL-c183t-b22fe21c21af0e93083ace43b1da67a2cd7f32537e6018fbce97a9419beb40dc3 |
| ISICitedReferencesCount | 0 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=001486956300001&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 2352-2208 |
| IngestDate | Sat Nov 29 07:59:59 EST 2025 Sat Jun 07 17:01:11 EDT 2025 |
| IsPeerReviewed | true |
| IsScholarly | true |
| Keywords | Specification Verification Formal methods Programming languages |
| Language | English |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-c183t-b22fe21c21af0e93083ace43b1da67a2cd7f32537e6018fbce97a9419beb40dc3 |
| ParticipantIDs | crossref_primary_10_1016_j_jlamp_2025_101060 elsevier_sciencedirect_doi_10_1016_j_jlamp_2025_101060 |
| PublicationCentury | 2000 |
| PublicationDate | May 2025 2025-05-00 |
| PublicationDateYYYYMMDD | 2025-05-01 |
| PublicationDate_xml | – month: 05 year: 2025 text: May 2025 |
| PublicationDecade | 2020 |
| PublicationTitle | Journal of logical and algebraic methods in programming |
| PublicationYear | 2025 |
| Publisher | Elsevier Inc |
| Publisher_xml | – name: Elsevier Inc |
| References | Durán, Ramírez, Rocha, Pozas (br0050) 2025; 144 Alonso, Hermo, Oca (br0010) 2025; 142 García, Escobar, Ogata (br0060) 2025; 143 Arteche, Hermo (br0020) 2024; 141 Moreno, Riaza (br0070) 2025; 142 Ballesteros, Benac Earle, Mariño, Fredlund, Herranz (br0030) 2025; 143 Bueso de Barrio, Fredlund, Herranz, Mariño, Benac Earle (br0040) 2025; 142 Arteche (10.1016/j.jlamp.2025.101060_br0020) 2024; 141 Alonso (10.1016/j.jlamp.2025.101060_br0010) 2025; 142 Durán (10.1016/j.jlamp.2025.101060_br0050) 2025; 144 Moreno (10.1016/j.jlamp.2025.101060_br0070) 2025; 142 Ballesteros (10.1016/j.jlamp.2025.101060_br0030) 2025; 143 Bueso de Barrio (10.1016/j.jlamp.2025.101060_br0040) 2025; 142 García (10.1016/j.jlamp.2025.101060_br0060) 2025; 143 |
| References_xml | – volume: 143 year: 2025 ident: br0030 article-title: Generation of algebraic data type values using evolutionary algorithms publication-title: J. Log. Algebraic Methods Program. – volume: 143 year: 2025 ident: br0060 article-title: Formalization and analysis of the post-quantum signature scheme FALCON with Maude publication-title: J. Log. Algebraic Methods Program. – volume: 142 year: 2025 ident: br0010 article-title: Towards an efficient implementation of a tableau method for reactive safety specifications publication-title: J. Log. Algebraic Methods Program. – volume: 144 year: 2025 ident: br0050 article-title: A rewriting logic semantics for the analysis of p programs publication-title: J. Log. Algebraic Methods Program. – volume: 141 year: 2024 ident: br0020 article-title: Towards the exact complexity of realizability for safety LTL publication-title: J. Log. Algebraic Methods Program. – volume: 142 year: 2025 ident: br0040 article-title: Executable contracts for Elixir publication-title: J. Log. Algebraic Methods Program. – volume: 142 year: 2025 ident: br0070 article-title: Tuning similarity-based fuzzy logic programs publication-title: J. Log. Algebraic Methods Program. – volume: 143 year: 2025 ident: 10.1016/j.jlamp.2025.101060_br0030 article-title: Generation of algebraic data type values using evolutionary algorithms publication-title: J. Log. Algebraic Methods Program. – volume: 144 year: 2025 ident: 10.1016/j.jlamp.2025.101060_br0050 article-title: A rewriting logic semantics for the analysis of p programs publication-title: J. Log. Algebraic Methods Program. – volume: 142 year: 2025 ident: 10.1016/j.jlamp.2025.101060_br0010 article-title: Towards an efficient implementation of a tableau method for reactive safety specifications publication-title: J. Log. Algebraic Methods Program. – volume: 142 year: 2025 ident: 10.1016/j.jlamp.2025.101060_br0040 article-title: Executable contracts for Elixir publication-title: J. Log. Algebraic Methods Program. – volume: 142 year: 2025 ident: 10.1016/j.jlamp.2025.101060_br0070 article-title: Tuning similarity-based fuzzy logic programs publication-title: J. Log. Algebraic Methods Program. – volume: 143 year: 2025 ident: 10.1016/j.jlamp.2025.101060_br0060 article-title: Formalization and analysis of the post-quantum signature scheme FALCON with Maude publication-title: J. Log. Algebraic Methods Program. – volume: 141 year: 2024 ident: 10.1016/j.jlamp.2025.101060_br0020 article-title: Towards the exact complexity of realizability for safety LTL publication-title: J. Log. Algebraic Methods Program. |
| SSID | ssj0001687831 |
| Score | 2.3039682 |
| Snippet | This special issue collects extended versions of selected papers presented at the 22nd Workshop on Programming and Languages (PROLE 2023), held in Ciudad Real... |
| SourceID | crossref elsevier |
| SourceType | Index Database Publisher |
| StartPage | 101060 |
| SubjectTerms | Formal methods Programming languages Specification Verification |
| Title | Preface to selected papers from 22nd Workshop on Programming and Languages (PROLE 2023) |
| URI | https://dx.doi.org/10.1016/j.jlamp.2025.101060 |
| Volume | 145 |
| WOSCitedRecordID | wos001486956300001&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVESC databaseName: ScienceDirect Freedom Collection - Elsevier issn: 2352-2208 databaseCode: AIEXJ dateStart: 20211207 customDbUrl: isFulltext: true dateEnd: 99991231 titleUrlDefault: https://www.sciencedirect.com omitProxy: false ssIdentifier: ssj0001687831 providerName: Elsevier |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1LT9wwELa20EMvLX0JWkA-9NCqDUomcWIfEVpEK0RXLVX3FjmOA7uiScRuEeqv79iON0uhCA5coihK7MjzZfLNeB6EvOMFsIpVECQKjIGCNisXTAVpGWrG8XuKC2WbTWRHR3w8FqPB4LvPhbk4y-qaX16K9kFFjddQ2CZ19h7iXgyKF_AchY5HFDse7yT4Ef7zpLIdMWa2yQ1Syla2JlHX5pIA1KX1kc9Om9bsFYxciNYvn6542LkwrT929O3r4fAj2MoL4j9M1qtPW_f17MRsRU9U15vahan3M_RbVvXkT-Mzs-Wy8wFYH-rndBQgfwsAQn5FoSZsSSVGxuoMb9TWznEw3Zki-E3tUGA7_d1Xa2P_889aRBL6ILVpbgfJzSC5G-QRWYWMCVR1q7ufh-Mvvest5Rm3nSoXr-_rUdnIv2uvczNnWeIhx2vkabfsdNcJ_jkZ6PoFeeabc9BOV78kPzsc0HlDPQ6owwE1OKAGB9TjgDY1XcIBRVHSBQ7oe4sCalDw4RX5sT883jsIui4agUJ1PQ8KgEpDhJ-irEItYuTcOHkSF1Ep00yCKrMqBhZnGm1zXhVKi0yKJBKFLpKwVPFrslI3tV4nVIPiUmg0kSVPhEo517EIuSwY6AiZ_Qb55Ncpb12xlPwWAW2Q1K9l3vE9x-NyBMhtD7653zxvyZMeu5tkZX7-W2-Rx-piPpmdb3fo-AskrnPK |
| linkProvider | Elsevier |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Preface+to+selected+papers+from+22nd+Workshop+on+Programming+and+Languages+%28PROLE+2023%29&rft.jtitle=Journal+of+logical+and+algebraic+methods+in+programming&rft.au=Panizo%2C+Laura&rft.date=2025-05-01&rft.issn=2352-2208&rft.volume=145&rft.spage=101060&rft_id=info:doi/10.1016%2Fj.jlamp.2025.101060&rft.externalDBID=n%2Fa&rft.externalDocID=10_1016_j_jlamp_2025_101060 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=2352-2208&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=2352-2208&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=2352-2208&client=summon |