Game semantics based equivalence checking of higher-order programs

Game semantics based equivalence checking of higher-order programs

Hiển thị phiên bản (1) khác

<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...

Mô tả đầy đủ

Chi tiết về thư mục
Những tác giả chính:	Hopkins, D, David Hopkins
Tác giả khác:	Ong, C
Định dạng:	Luận văn
Ngôn ngữ:	English
Được phát hành:	2012
Những chủ đề:	Theory and automated verification Game semantics

Những quyển sách tương tự

Game Semantics Based Equivalence Checking of Higher−Order Programs
Bằng: Hopkins, D
Được phát hành: (2012)

Functions with local state: regularity and undecidability
Bằng: Murawski, A
Được phát hành: (2005)

Intersection types and higer-order model checking
Bằng: Ramsay, S, et al.
Được phát hành: (2014)

Higher-order semantics for quantum programming languages with classical control
Bằng: Atzemoglou, GP
Được phát hành: (2012)

Abstraction discovery and refinement for model checking by symbolic trajectory evaluation
Bằng: Adams, S
Được phát hành: (2014)

Precise verification of C programs
Bằng: Lewis, M
Được phát hành: (2014)

Mean-Payoff Games with <i>ω</i>-Regular Specifications
Bằng: Julian Gutierrez, et al.
Được phát hành: (2022-02-01)

Games for complexity of second-order call-by-name programs
Bằng: Murawski, A
Được phát hành: (2005)

Automated quantitative software verification
Bằng: Kattenbelt, M
Được phát hành: (2010)

Forward looking logics and automata
Bằng: Ley, C
Được phát hành: (2011)

Probabilistic guarded commands mechanized in HOL
Bằng: Hurd, J, et al.
Được phát hành: (2005)

Incremental modelling for verified communication architectures
Bằng: Boehm, P, et al.
Được phát hành: (2011)

Homer: A Higher−order Observational equivalence Model checkER
Bằng: Hopkins, D, et al.
Được phát hành: (2009)

Digraph measures: Kelly decompositions, games, and orderings
Bằng: Hunter, P, et al.
Được phát hành: (2008)

Partial correctness for probabilistic demonic programs
Bằng: McIver, A, et al.
Được phát hành: (2001)

Saturation methods for global model-checking pushdown systems
Bằng: Hague, M
Được phát hành: (2009)

THE PRESENT STATE OF THE INFORMATION-MEASURING SYSTEMS FOR CHECKING HIGH VOLTAGE CONVERTERS
Bằng: A.S. Ilin, et al.
Được phát hành: (2022-12-01)

Time effect of stimulus exposure in semantic verification task
Bằng: Injac Božana, et al.
Được phát hành: (2006-01-01)

An algebraic theory of componentised interaction
Bằng: Chilton, C
Được phát hành: (2013)

EXK-SC: A Semantic Communication Model Based on Information Framework Expansion and Knowledge Collision
Bằng: Gangtao Xin, et al.
Được phát hành: (2022-12-01)

Automatic C Program Verification Based on Mixed Axiomatic Semantics
Bằng: I. V. Maryasov, et al.
Được phát hành: (2013-12-01)

Equivalence of the schemes of programs based on the algebraic approach to setting the semantics of programming languages
Bằng: Y. P. Korablin
Được phát hành: (2022-03-01)

On the equivalence between non-factorizable mixed-strategy classical games and quantum games
Bằng: Azhar Iqbal, et al.
Được phát hành: (2016-01-01)

An interpolating decision procedure for transitive relations with uninterpreted functions
Bằng: Kroening, D, et al.
Được phát hành: (2009)

Program analysis with interpolants
Bằng: Weissenbacher, G, et al.
Được phát hành: (2010)

Neural mechanisms underlying the facilitation of naming in aphasia using a semantic task: an fMRI study
Bằng: Heath Shiree, et al.
Được phát hành: (2012-08-01)

GTIP: A Gaming-Based Topic Influence Percolation Model for Semantic Overlapping Community Detection
Bằng: Hailu Yang, et al.
Được phát hành: (2022-09-01)

Extensible hierarchical codec semantic communication system
Bằng: Yuyuan ZHANG, et al.
Được phát hành: (2023-08-01)

Extensible hierarchical codec semantic communication system
Bằng: Yuyuan ZHANG, et al.
Được phát hành: (2023-08-01)

Repairing strings and trees
Bằng: Riveros Jaeger, C
Được phát hành: (2013)

Quantitative verification of real-time properties with application to medical devices
Bằng: Marco Diciolla, M, et al.
Được phát hành: (2014)

Computer Games as Virtual Environments for Safety-Critical Software Validation
Bằng: Štefan Korečko, et al.
Được phát hành: (2017-12-01)

Predicate Abstraction of ANSI-C Programs Using SAT
Bằng: Clarke, E, et al.
Được phát hành: (2004)

A reversed form of public goods game: equivalence and difference
Bằng: Chaoqian Wang, et al.
Được phát hành: (2022-01-01)

Coinductive Natural Semantics for Compiler Verification in Coq
Bằng: Angel Zúñiga, et al.
Được phát hành: (2020-09-01)

Optimization of Window Size for Calculating Semantic Coherence Within an Essay
Bằng: Kshitiz Srivastava, et al.
Được phát hành: (2022-10-01)

Abstract satisfaction
Bằng: Haller, L
Được phát hành: (2013)

Program synthesis from domain specific object models
Bằng: Faitelson, D
Được phát hành: (2008)

SMT-Based Consistency Checking of Configuration-Based Components Specifications
Bằng: Laura Pandolfo, et al.
Được phát hành: (2021-01-01)

Central limit model checking
Bằng: Bortolussi, L, et al.
Được phát hành: (2018)