Recursion schemes, collapsible pushdown automata and higher-order model checking

DOI10.1007/978-3-642-37064-9_3MaRDI QIDQ4910438zbMATH OpenOpenAlexFDO

Authors Luke Ong

Publication date 18 March 2013

Published in Language and Automata Theory and Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-37064-9_3

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 5825969
• Verification of Higher-Order Computation: A Game-Semantic Approach
• On Global Model Checking Trees Generated by Higher-Order Recursion Schemes
• Collapsible pushdown automata and recursion schemes
• Recursive schemes, Krivine machines, and collapsible pushdown automata

Cited in

(13)

• Generalizations of checking stack automata: characterizations and hierarchies
• Herbrand's theorem as higher order recursion
• Higher-order recursion schemes and their automata models
• Collapsible pushdown automata and labeled recursion schemes, equivalence, safety and effective selection
• Krivine machines and higher-order schemes
• scientific article; zbMATH DE number 5825969 (Why is no real title available?)
• Hierarchies of Infinite Structures Generated by Pushdown Automata and Recursion Schemes
• On Global Model Checking Trees Generated by Higher-Order Recursion Schemes
• scientific article; zbMATH DE number 598180 (Why is no real title available?)
• C-SHORe: a collapsible approach to higher-order verification
• Collapsible pushdown automata and recursion schemes
• Verification of Higher-Order Computation: A Game-Semantic Approach
• Cost Automata, Safe Schemes, and Downward Closures

This page was built for publication: Recursion schemes, collapsible pushdown automata and higher-order model checking

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