LOIS: syntax and semantics

DOI10.1145/3009837.3009876MaRDI QIDQ5370892zbMATHOpenAlexFDO

Authors 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) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 4009812
• Imperative programming in sets with atoms
• SMT solving for functional programming over infinite structures
• scientific article; zbMATH DE number 7552282
• Logic programming with infinite sets

Cited in

(11)

• On-the-fly bisimilarity checking for fresh-register automata
• SMT solving for functional programming over infinite structures
• Completeness and incompleteness in nominal Kleene algebra
• Imperative programming in sets with atoms
• scientific article; zbMATH DE number 7147443 (Why is no real title available?)
• scientific article; zbMATH DE number 7136664 (Why is no real title available?)
• scientific article; zbMATH DE number 7559500 (Why is no real title available?)
• Fast computations on ordered nominal sets
• scientific article; zbMATH DE number 4009812 (Why is no real title available?)
• Decidability Border for Petri Nets with Data: WQO Dichotomy Conjecture
• scientific article; zbMATH DE number 7471718 (Why is no real title available?)

Describes a project that uses

Uses Software

• SMT-LIB
• LOIS

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5370892)