Intersection types and higer-order model checking

<p>Higher-order recursion schemes are systems of equations that are used to define finite and infinite labelled trees. Since, as Ong has shown, the trees defined have a decidable monadic second order theory, recursion schemes have drawn the attention of research in program verification, where...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς: Ramsay, S, Steven Ramsay
Άλλοι συγγραφείς: Ong, C
Μορφή: Thesis
Γλώσσα:English
Έκδοση: 2014
Θέματα: