LOIS: syntax and semantics

DOI10.1145/3009837.3009876zbMATH Open1380.68125OpenAlexW2565239551MaRDI QIDQ5370892FDOQ5370892

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

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

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)

Cited In (9)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On-the-fly bisimilarity checking for fresh-register automata
• Title not available (Why is that?)
• Fast computations on ordered nominal sets
• Title not available (Why is that?)
• Decidability Border for Petri Nets with Data: WQO Dichotomy Conjecture
• Completeness and incompleteness in nominal Kleene algebra

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)