Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Logical and Algebraic Methods in Programming, Volume 135

> 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 135, October 2023

Regular articles

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlap/Laneve23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/Laneve23
Cosimo Laneve:
Liquidity analysis in resource-aware programming. 100889

Special issue on Interaction and Concurrency Experience 2022

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/BarbaneraLT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/BarbaneraLT23
Franco Barbanera, Ivan Lanese, Emilio Tuosto:
Composition of synchronous communicating systems. 100890
- view
  authority control:
- export record
  dblp key:
  - journals/jlap/FrancalanzaT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/FrancalanzaT23
Adrian Francalanza, Gerard Tabone:
ElixirST: A session-based type system for Elixir modules. 100891

Special issue on Specification and Modelling of Computing Systems through Graphs and Graph Transformation (extended selected papers from ICGT 2022)

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlap/WilsonZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/WilsonZ23
Paul W. Wilson, Fabio Zanasi:
An axiomatic approach to differentiation of polynomial circuits. 100892

Special issue on Specification and Modelling of Computing Systems through Graphs and Graph Transformation

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/BehrHK23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/BehrHK23
Nicolas Behr, Russ Harmer, Jean Krivine:
Fundamentals of compositional rewriting theory. 100893

Special issue on Selected Papers from the 9th Workshop on Rewriting Techniques for Program Transformations and Evaluation

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/CiobacaLB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/CiobacaLB23
Stefan Ciobaca, Dorel Lucanu, Andrei-Sebastian Buruiana:
Operationally-based program equivalence proofs using LCTRSs. 100894

Special issue on Selected papers from the 14th International Workshop on Rewriting Logic and its Application (WRLA 2022)

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlap/LopezRuedaES23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/LopezRuedaES23
Raúl López-Rueda, Santiago Escobar, Julia Sapiña:
An efficient canonical narrowing implementation with irreducibility and SMT constraints for generic symbolic protocol analysis. 100895

Special issue on Selected Papers from the 9th Workshop on Rewriting Techniques for Program Transformations and Evaluation

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/KojimaN23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/KojimaN23
Misaki Kojima, Naoki Nishida:
Reducing non-occurrence of specified runtime errors to all-path reachability problems of constrained rewriting. 100903
- view
  authority control:
- export record
  dblp key:
  - journals/jlap/SchmidtSchaussS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/SchmidtSchaussS23
Manfred Schmidt-Schauß, David Sabel:
Program equivalence in a typed probabilistic call-by-need functional language. 100904

Special issue on Specification and Modelling of Computing Systems through Graphs and Graph Transformation

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/GadducciK23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/GadducciK23
Fabio Gadducci, Timo Kehrer:
Specification and modelling of computing systems through graphs and graph transformation. 100905

a service of

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.