Progressive program reasoning

Progressive program reasoning

Ph.D

Saved in:

書目詳細資料
主要作者:	RAZVAN VOICU
其他作者:	COMPUTER SCIENCE
格式:	Theses and Dissertations
語言:	English
出版:	2010
主題:	program verification semantics liveness assertions logic
在線閱讀:	http://scholarbank.nus.edu.sg/handle/10635/14856
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!
機構:	National University of Singapore
語言:	English

相似書籍

A framework for program reasoning based on constraint traces
由: ANDREW EDWARD SANTOSA
出版: (2010)

A Quantum interpretation of separating conjunction for local reasoning of Quantum programs based on separation logic
由: LE, Xuan Bach, et al.
出版: (2022)

Logical reasoning for disjoint permissions
由: Le X.-B., et al.
出版: (2020)

Enhancing program verification with lemmas
由: Nguyen, H.H., et al.
出版: (2013)

Symbolic Execution for Advanced Program Reasoning
由: VIJAYARAGHAVAN MURALI
出版: (2014)

Verifying pointer safety for programs with unknown calls
由: Luo, C., et al.
出版: (2013)

A Quantum interpretation of separating conjunction for local reasoning of Quantum programs based on separation logic
由: LE, Xuan Bach, et al.
出版: (2022)

FORMAL VERIFICATION-BASED PROGRAM REPAIR
由: NGUYEN THANH TOAN
出版: (2022)

Moore’s Paradox, Truth and Accuracy
由: GREEN, Mitchell S., et al.
出版: (2010)

MECHANIZED VERIFICATION OF GRAPH-MANIPULATING PROGRAMS
由: WANG SHENGYI
出版: (2020)

The effectiveness of an assertive school behavior training program for senior high school students of Sekolah Indonesia Manila, school year 1984-1985
由: Muskita, Atie Hudiharti
出版: (1984)

Formal approach to program verification
由: Chatchai Koetsawat
出版: (2006)

Specification and Verification of Shared-Memory Concurrent Programs
由: LE DUY KHANH
出版: (2014)

Efficiently verifying programs with rich control flows
由: GHERGHINA CRISTIAN ANDREI
出版: (2012)

A SESSION LOGIC FOR RELAXED COMMUNICATION PROTOCOLS
由: MIRELA ANDREEA COSTEA
出版: (2018)

Certified Reasoning for Automated Verification
由: ASANKHAYA SHARMA
出版: (2015)

Mining logical clones in software: Revealing high-level business and programming rules
由: Qian, W., et al.
出版: (2014)

An assertion training program for the improvement of non-assertive behavior in selected DLSU freshmen
由: Aranda, Lourdes
出版: (1981)

Logic for Programming, Artificial Intelligence, and Reasoning
出版: (2017)

Reasoning about complex agent knowledge - Ontologies, Uncertainty, rules and beyond
由: FENG YUZHANG
出版: (2011)

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

Verification of static and dynamic barrier synchronization using bounded permissions
由: Le, D.-K., et al.
出版: (2014)

The semantics and tool support of OZTA
由: Dong, J.S., et al.
出版: (2013)

Reasoning about ORA-SS data models using the semantic web
由: Li, Y.F., et al.
出版: (2013)

Barriers in concurrent separation logic: Now with tool support!
由: Hobor, A., et al.
出版: (2013)

A comparative study of three approaches of assertiveness training in the reduction of interpersonal anxiety and in the improvement of interpersonal relationship skills and assertive behavior
由: Loyola, Salvacion C.
出版: (1984)

The improvement of students' assertive behavior through elaboration likelihood model
由: Tubigon, Aime D.
出版: (1996)

Assertiveness skill: Dealing with difficult situations
由: Rubio, Kristina Paula M.
出版: (2024)

Beyond tamaki-sato style unfold/fold transformations for normal logic programs
由: Roychoudhury, A., et al.
出版: (2014)

Exploring linear size-change terminating programs
由: NORMAN HUGH ANDERSON
出版: (2010)

A semantics comparison workbench for a concurrent, asynchronous, distributed programming language
由: CORRODI, Claudio, et al.
出版: (2017)

From verification to specification inference
由: Chin, W.-N., et al.
出版: (2013)

Probabilistic reasoning for unique role recognition based on the fusion of semantic-interaction and spatio-temporal features
由: Yang, Chule, et al.
出版: (2019)

Constraint-based program reasoning with heaps and separation
由: Duck, G.J., et al.
出版: (2014)

SEMANTIC PROGRAM REPAIR
由: MECHTAEV SERGEY
出版: (2018)

Validating semistructured data using OWL
由: Li, Y.F., et al.
出版: (2013)

Automatically refining partial specifications for heap-manipulating programs
由: Qin, S., et al.
出版: (2014)

Enhancing automated program repair with deductive verification
由: LE, Xuan-Bach D., et al.
出版: (2016)

Bi-abduction with pure properties for specification inference
由: Trinh, M.-T., et al.
出版: (2014)

Towards verification of computation orchestration
由: DONG, Jin Song, et al.
出版: (2014)