A Hoare calculus for graph programs

A Hoare calculus for graph programs

We present Hoare-style axiom schemata and inference rules for verifying the partial correctness of programs in the graph programming language GP. The pre- and postconditions of this calculus are the nested conditions of Habel, Pennemann and Rensink, extended with expressions for labels in order to d...

Saved in:

書目詳細資料
Main Authors:	POSKITT, Christopher M., PLUMP, Detlef
格式:	text
語言:	English
出版:	Institutional Knowledge at Singapore Management University 2010
主題:	Inference Rule Proof System Graph Transformation Graph Program Partial Correctness Theory and Algorithms
在線閱讀:	https://ink.library.smu.edu.sg/sis_research/4918 https://ink.library.smu.edu.sg/context/sis_research/article/5921/viewcontent/PoskittPlump.ICGT.2010.pdf
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!
機構:	Singapore Management University
語言:	English

相似書籍

Verifying monadic second-order properties of graph programs
由: POSKITT, Christopher M., et al.
出版: (2014)

Verifying total correctness of graph programs
由: POSKITT, Christopher M., et al.
出版: (2012)

Hoare logic for graph programs
由: POSKITT, Christopher M., et al.
出版: (2010)

Verification of graph programs
由: POSKITT, Christopher M.
出版: (2012)

Monadic second-order incorrectness logic for GP 2
由: POSKITT, Christopher M., et al.
出版: (2023)

Hoare-style verification of graph programs
由: POSKITT, Christopher M., et al.
出版: (2012)

On graceful graphs
由: Paculba, Marianne S., et al.
出版: (1998)

On labelling harmonious graphs
由: Fabros, Roland R., et al.
出版: (1998)

Minimum 2-clique and 3-clique partitions of simple connected graphs
由: Alto, Washington Lee
出版: (1992)

On the fold thickness of some classes of graphs
由: Campena, Francis Joseph H.
出版: (2006)

On the vector space of a-like matrices for tadpole graphs
由: Gillesania, Chester James Kent I., et al.
出版: (2016)

On k-walks in bridgeless graphs
由: Cu, Gordon Lester T.
出版: (2008)

On oriented trails in a class of graphs (with computer program)
由: Arnaez, Ma. Cristina K., et al.
出版: (1994)

Square of an oriented graph
由: Macariola, Francesca, et al.
出版: (2016)

Graph Transformation: 16th International Conference, ICGT 2023, Leicester, July 19-20: Proceedings
由: FERNÁNDEZ, Maribel, et al.
出版: (2023)

Spatial hardware implementation for sparse graph algorithms in GraphStep
由: Delorimier, Michael, et al.
出版: (2015)

On applications of the retracing method for distance-regular graphs
由: Vencer, Norma Luz C.
出版: (2006)

On biconnected graphs
由: Gonzaga, Alex C.
出版: (1995)

INTERACTIVE GRAPH SEARCH: ALGORITHMS AND ANALYSES
由: CONG QIANHAO
出版: (2023)

An application of graph theory and integer programming: Chessboard non-attacking puzzles
由: Dela Merced, Cherie P., et al.
出版: (1991)

Exploring & exploiting high-order graph structure for sparse knowledge graph completion
由: HE, Tao, et al.
出版: (2025)

Perfect graphs
由: Lim, Yvette F.
出版: (1995)

On the asymptotic spectral distribution of Cartesian powers of line graphs of complete graph
由: David, Monica Carlita G., et al.
出版: (2018)

On the asymptotic spectral distribution of Cartesian powers of line graphs of complete graphs
由: David, Monica Carlita G., et al.
出版: (2018)

Subdivision number of large complete graphs and large complete multipartite graphs
由: Gervacio, Severino V.
出版: (2005)

Enhancing Total Correctness Proofs in Program Verification
由: LE TON CHANH
出版: (2015)

On the fold thickness of graphs
由: Campeña, Francis Joseph H., et al.
出版: (2020)

On the bandwidth of tower graphs
由: Garcia, Mark Anthony A.
出版: (2007)

An exposition on Eulerian irregularity in graphs
由: Cheng, Janelle C., et al.
出版: (2015)

On a note on Hamilton graphs
由: Balisi, Richard Angelo, et al.
出版: (2008)

ADVANCING GRAPH NEURAL NETWORKS WITH HL-HGAT: A HODGE-LAPLACIAN AND ATTENTION MECHANISM APPROACH FOR HETEROGENEOUS GRAPH-STRUCTURED DATA
由: HUANG JINGHAN
出版: (2024)

Notions of domination for some classses of graphs
由: Castaneda, Adrian Timothy S., et al.
出版: (2015)

The D-weight of a graph
由: Lapus, Raymond R.
出版: (2007)

On the square of an oriented graph conjecture
由: Campena, Francis Joseph H., et al.
出版: (2016)

Knowledge enhanced multi-intent transformer network for recommendation
由: ZOU, Ding, et al.
出版: (2024)

On some digraphs arising from congruences and some properties of the Zero-Divisor Graph of the ring Zn
由: Pua, Steven, et al.
出版: (2010)

The bandwidth of the tower graph Tm,n
由: Lim, Yvette F., et al.
出版: (2009)

Energy of unitary cayley graphs and GCD-Graphs
由: Borworn Suntornpoch
出版: (2010)

Perfection of glued graphs of perfect original graphs
由: Supaporn Saduakdee
出版: (2011)

Perfection of glued graphs of perfect original graphs
由: Supaporn Saduakdee
出版: (2008)