default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Logical and Algebraic Methods in Programming, Volume 127

> Home > Journals > Journal of Logical and Algebraic Methods in Programming

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 127, June 2022

Special issue on 18th International Conference on Relational and Algebraic Methods in Computer Science (RAMICS 2020)

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/Nakamura22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/Nakamura22
Yoshiki Nakamura:
Expressive power and succinctness of the positive calculus of binary relations. 100760

Special issue on Programming Language Approaches to Concurrency and Communication-centric Software (PLACES) 2020

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/BhardwajP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/BhardwajP22
Chandrika Bhardwaj, Sanjiva Prasad:
Secure information flow connections. 100761

Selected papers from the 6th and 7th Workshops on Rewriting Techniques for Program Transformations and Evaluation

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/AsavoaeTRY22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/AsavoaeTRY22
Irina Mariuca Asavoae, Ramtine Tofighi-Shirazi, Adrián Riesco, Uemura Yasuyoshi:
Hardware Trojan detection via rewriting logic. 100762

Selected Papers from the 31st Nordic Workshop on Programming Theory, NWPT 2019

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/OweF22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/OweF22
Olaf Owe, Elahe Fazeldehkordi:
A lightweight approach to smart contracts supporting safety, security, and privacy. 100772

Special issue on 18th International Conference on Relational and Algebraic Methods in Computer Science (RAMICS 2020)

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/NishizawaKK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/NishizawaKK22
Koki Nishizawa, Shin-ya Katsumata, Yuichi Komorida:
Stone dualities from opfibrations. 100773

Regular articles

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/BeggsT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/BeggsT22
Edwin J. Beggs, John V. Tucker:
A model of systems with modes and mode transitions. 100774

Special issue on 'E pur si muove' (A tribute to José Manuel Esgalhado Valença on the occasion of his Jubilation)

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/SantoPU22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/SantoPU22
José Espírito Santo, Luís Pinto, Tarmo Uustalu:
Plotkin's call-by-value λ-calculus as a modal calculus. 100775

Special issue on Interaction and Concurrency Experience - ICE 2020

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/deLiguoroMT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/deLiguoroMT22
Ugo de'Liguoro, Hernán C. Melgratti, Emilio Tuosto:
Towards refinable choreographies. 100776

Special issue on Programming Language Approaches to Concurrency and Communication-centric Software (PLACES) 2020

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/BalzerP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/BalzerP22
Stephanie Balzer, Luca Padovani:
Preface to the special issue on the 12th Workshop on Programming Language Approaches to Concurrency and Communication-Centric Software (PLACES) 2020. 100777

Selected Papers from the 31st Nordic Workshop on Programming Theory, NWPT 2019

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/AcetoAAI22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/AcetoAAI22
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Anna Ingólfsdóttir:
Axiomatizing recursion-free, regular monitors. 100778

Selected Papers from the 8th Workshops on Rewriting Techniques for Program Transformations and Evaluations

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/ZhangN22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/ZhangN22
Shujun Zhang, Naoki Nishida:
Transforming orthogonal inductive definition sets into confluent term rewrite systems. 100779

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.