Journal of Logical and Algebraic Methods in Programming

Title Publication Date Language Citations
Contents2016/08/01English
Abstract categorical semantics for resourceful functional reactive programming2016/10/01English
Editorial Board2018/04/01English
System-level state equality detection for the formal dynamic verification of legacy distributed applications2018/04/01English
Editorial Board2018/02/01English
A theoretical framework for cardinality-based feature models: The semantics and computational aspects2018/06/01English
Editorial Board2016/06/01English
Contents2016/06/01English
An analysis of the equational properties of the well-founded fixed point2017/01/01English
Formal lumping of polynomial differential equations through approximate equivalences2023/08/01English
Coherent modal transition systems refinement2024/04/01English
Certifying expressive power and algorithms of reversible primitive permutations with Lean2024/01/01English
Business processes resource management using rewriting logic and deep-learning-based predictive monitoring2024/01/01English
Fair termination of multiparty sessionsEnglish
CRYSTAL framework: Cybersecurity assurance for cyber-physical systemsEnglish
Editorial Board2024/04/01English
Regular planar monoidal languagesEnglish
Relation-changing models meet paraconsistency2023/06/01English
Reversible debugging of concurrent Erlang programs: Supporting imperative primitives2024/04/01English
Composition of synchronous communicating systems2023/10/01English
Liquidity analysis in resource-aware programming2023/10/01English
On difunctions2023/08/01English
Computational category-theoretic rewriting2023/08/01English
An axiomatic approach to differentiation of polynomial circuits2023/10/01English
Editorial Board2023/02/01English
Formalizing CCS and π-calculus in Guarded Cubical Agda2023/02/01English
A computational framework based on the dynamic pipeline approachEnglish
A generic construction for crossovers of graph-like structures and its realization in the Eclipse Modeling Framework2024/01/01English
Specification and modelling of computing systems through graphs and graph transformation2023/10/01English
Editorial Board2023/10/01English