Logic programming: Laxness and saturation

• Jul 19, 2018
• Journal of Logical and Algebraic Methods in Programming
• Ekaterina Komendantskaya + 1 more +1

Cite

Listen

Save

A theoretical framework for cardinality-based feature models: The semantics and computational aspects

• Mar 10, 2018
• Journal of Logical and Algebraic Methods in Programming
• Aliakbar Safilian + 2 more +2

Cite

Listen

Save

Termination and complexity analysis for programs with bitvector arithmetic by symbolic execution

• Mar 06, 2018
• Journal of Logical and Algebraic Methods in Programming
• Jera Hensel + 3 more +3

Cite

Listen

Save

Deconstructing Lawvere with distributive laws

• Dec 14, 2017
• Journal of Logical and Algebraic Methods in Programming
• Filippo Bonchi + 2 more +2

Cite

Listen

Save

To every manifest domain a CSP expression – a rôle for mereology in computer science

• Nov 29, 2017
• Journal of Logical and Algebraic Methods in Programming
• Dines Bjørner

Cite

Listen

Save

Programming from metaphorisms

• Oct 02, 2017
• Journal of Logical and Algebraic Methods in Programming
• José Nuno Oliveira

Cite

Listen

Save

Formally verifying exceptions for low-level code with separation logic

• Oct 02, 2017
• Journal of Logical and Algebraic Methods in Programming
• Marco Paviotti + 1 more +1

Cite

Listen

Save

On the accuracy of formal verification of selective defenses for TDoS attacks

• Sep 22, 2017
• Journal of Logical and Algebraic Methods in Programming
• Marcilio O.o Lemos + 3 more +3

Cite

Listen

Save

Coalgebraic completeness-via-canonicity for distributive substructural logics

• Sep 19, 2017
• Journal of Logical and Algebraic Methods in Programming
• Fredrik Dahlqvist + 1 more +1

Cite

Listen

Save

Editorial Board

• Sep 05, 2017
• Journal of Logical and Algebraic Methods in Programming

Cite

Listen

Save