LOIS: syntax and semantics

DOI10.1145/3009837.3009876zbMath1380.68125OpenAlexW2565239551MaRDI QIDQ5370892

Eryk Kopczyński, Szymon Toruńczyk

Publication date: 20 October 2017

Published in: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3009837.3009876

zbMATH Keywords

definable setssets with atoms

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (8)

Unnamed Item ⋮ Completeness and incompleteness in nominal Kleene algebra ⋮ Unnamed Item ⋮ On-the-fly bisimilarity checking for fresh-register automata ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Fast computations on ordered nominal sets ⋮ Decidability Border for Petri Nets with Data: WQO Dichotomy Conjecture

Uses Software

• SMT-LIB
• LOIS

This page was built for publication: LOIS: syntax and semantics