Typing Weak MSOL Properties
From MaRDI portal
Publication:2949449
DOI10.1007/978-3-662-46678-0_22zbMath1448.68315arXiv1609.02753MaRDI QIDQ2949449
Igor Walukiewicz, Sylvain Salvati
Publication date: 1 October 2015
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1609.02753
denotational semantics; recognizability; higher-order model checking; finite state methods; simply typed \(\lambda\)Y-calculus; weak monadic second order logic
68N18: Functional programming and lambda calculus
68Q60: Specification and verification (program logics, model checking, etc.)
03B16: Higher-order logic
Uses Software