Game semantics based equivalence checking of higher-order programs

Game semantics based equivalence checking of higher-order programs

他のバージョン（1件）を表示する

<p>This thesis examines the use of game semantics for the automatic equivalence checking of higher-order programs. Game semantics has proved to be a powerful method for constructing fully abstract models of logics and programming languages. Furthermore, the concrete nature of the semantics...

書誌詳細
主要な著者:	Hopkins, D, David Hopkins
その他の著者:	Ong, C
フォーマット:	学位論文
言語:	English
出版事項:	2012
主題:	Theory and automated verification Game semantics

類似資料

Game Semantics Based Equivalence Checking of Higher−Order Programs
著者:: Hopkins, D
出版事項: (2012)

Functions with local state: regularity and undecidability
著者:: Murawski, A
出版事項: (2005)

Intersection types and higer-order model checking
著者:: Ramsay, S, 等
出版事項: (2014)

Higher-order semantics for quantum programming languages with classical control
著者:: Atzemoglou, GP
出版事項: (2012)

Abstraction discovery and refinement for model checking by symbolic trajectory evaluation
著者:: Adams, S
出版事項: (2014)

Precise verification of C programs
著者:: Lewis, M
出版事項: (2014)

Mean-Payoff Games with <i>ω</i>-Regular Specifications
著者:: Julian Gutierrez, 等
出版事項: (2022-02-01)

Games for complexity of second-order call-by-name programs
著者:: Murawski, A
出版事項: (2005)

Automated quantitative software verification
著者:: Kattenbelt, M
出版事項: (2010)

Forward looking logics and automata
著者:: Ley, C
出版事項: (2011)

Probabilistic guarded commands mechanized in HOL
著者:: Hurd, J, 等
出版事項: (2005)

Incremental modelling for verified communication architectures
著者:: Boehm, P, 等
出版事項: (2011)

Homer: A Higher−order Observational equivalence Model checkER
著者:: Hopkins, D, 等
出版事項: (2009)

Digraph measures: Kelly decompositions, games, and orderings
著者:: Hunter, P, 等
出版事項: (2008)

Partial correctness for probabilistic demonic programs
著者:: McIver, A, 等
出版事項: (2001)

Saturation methods for global model-checking pushdown systems
著者:: Hague, M
出版事項: (2009)

THE PRESENT STATE OF THE INFORMATION-MEASURING SYSTEMS FOR CHECKING HIGH VOLTAGE CONVERTERS
著者:: A.S. Ilin, 等
出版事項: (2022-12-01)

Time effect of stimulus exposure in semantic verification task
著者:: Injac Božana, 等
出版事項: (2006-01-01)

An algebraic theory of componentised interaction
著者:: Chilton, C
出版事項: (2013)

EXK-SC: A Semantic Communication Model Based on Information Framework Expansion and Knowledge Collision
著者:: Gangtao Xin, 等
出版事項: (2022-12-01)

Automatic C Program Verification Based on Mixed Axiomatic Semantics
著者:: I. V. Maryasov, 等
出版事項: (2013-12-01)

Equivalence of the schemes of programs based on the algebraic approach to setting the semantics of programming languages
著者:: Y. P. Korablin
出版事項: (2022-03-01)

On the equivalence between non-factorizable mixed-strategy classical games and quantum games
著者:: Azhar Iqbal, 等
出版事項: (2016-01-01)

An interpolating decision procedure for transitive relations with uninterpreted functions
著者:: Kroening, D, 等
出版事項: (2009)

Program analysis with interpolants
著者:: Weissenbacher, G, 等
出版事項: (2010)

Neural mechanisms underlying the facilitation of naming in aphasia using a semantic task: an fMRI study
著者:: Heath Shiree, 等
出版事項: (2012-08-01)

GTIP: A Gaming-Based Topic Influence Percolation Model for Semantic Overlapping Community Detection
著者:: Hailu Yang, 等
出版事項: (2022-09-01)

Extensible hierarchical codec semantic communication system
著者:: Yuyuan ZHANG, 等
出版事項: (2023-08-01)

Extensible hierarchical codec semantic communication system
著者:: Yuyuan ZHANG, 等
出版事項: (2023-08-01)

Repairing strings and trees
著者:: Riveros Jaeger, C
出版事項: (2013)

Quantitative verification of real-time properties with application to medical devices
著者:: Marco Diciolla, M, 等
出版事項: (2014)

Computer Games as Virtual Environments for Safety-Critical Software Validation
著者:: Štefan Korečko, 等
出版事項: (2017-12-01)

Predicate Abstraction of ANSI-C Programs Using SAT
著者:: Clarke, E, 等
出版事項: (2004)

A reversed form of public goods game: equivalence and difference
著者:: Chaoqian Wang, 等
出版事項: (2022-01-01)

Coinductive Natural Semantics for Compiler Verification in Coq
著者:: Angel Zúñiga, 等
出版事項: (2020-09-01)

Optimization of Window Size for Calculating Semantic Coherence Within an Essay
著者:: Kshitiz Srivastava, 等
出版事項: (2022-10-01)

Abstract satisfaction
著者:: Haller, L
出版事項: (2013)

Program synthesis from domain specific object models
著者:: Faitelson, D
出版事項: (2008)

SMT-Based Consistency Checking of Configuration-Based Components Specifications
著者:: Laura Pandolfo, 等
出版事項: (2021-01-01)

Central limit model checking
著者:: Bortolussi, L, 等
出版事項: (2018)