default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Logical and Algebraic Methods in Programming, Volume 132

> 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 132, April 2023

Logic and Calculi for all, Essays Dedicated to Luís Soares Barbosa on the Occasion of His 60th Birthday

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlap/BrodaMMR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/BrodaMMR23
Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis:
Location automata for synchronised shuffle expressions. 100847

Regular articles

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/SavanovicG23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/SavanovicG23
Zorica Savanovic, Letterio Galletta:
A type language for distributed reactive components governed by communication protocols. 100848
- view
  authority control:
- export record
  dblp key:
  - journals/jlap/AlpuenteBEGS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/AlpuenteBEGS23
María Alpuente, Demis Ballis, Santiago Escobar, D. Galán, Julia Sapiña:
Safety enforcement via programmable strategies in Maude. 100849

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

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlap/HorpacsiBT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/HorpacsiBT23
Dániel Horpácsi, Péter Bereczky, Simon J. Thompson:
Program equivalence in an untyped, call-by-value functional language with uncurried functions. 100857

Interaction and Concurrency Experience 2021

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlap/LaveauxW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/LaveauxW23
Maurice Laveaux, Tim A. C. Willemse:
Decomposing monolithic processes in a process algebra with multi-actions. 100858

Regular articles

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/ChenZCZM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/ChenZCZM23
Jinfu Chen, Chi Zhang, Saihua Cai, Lin Zhang, Liang Ma:
A memory-related vulnerability detection approach based on vulnerability model with Petri Net. 100859

Selected papers from 20th Workshop on Programming and Languages (PROLE 2021)

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlap/MartinMartinMRRR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/MartinMartinMRRR23
Enrique Martin-Martin, Manuel Montenegro, Adrián Riesco, Juan Rodríguez-Hortalá, Rubén Rubio:
Verification of the ROS NavFn planner using executable specification languages. 100860

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.