Skip to main navigation
Skip to search
Skip to main content
Illinois Experts Home
LOGIN & Help
Home
Profiles
Research units
Research & Scholarship
Datasets
Honors
Press/Media
Activities
Search by expertise, name or affiliation
Relating total and partial correctness interpretations of non-deterministic programs
Carl A. Gunter
Research output
:
Contribution to journal
›
Conference article
›
peer-review
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Relating total and partial correctness interpretations of non-deterministic programs'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Power Domain
100%
Total Correctness
100%
Partial Correctness
100%
Non-deterministic Program
100%
Mathematical Model
14%
Programming Languages
14%
Semantic Relations
14%
Partial Information
14%
Algebraic Properties
14%
Nondeterministic Computation
14%
New Operator
14%
Nondeterministic Programming
14%
Computer Science
Partial Correctness
100%
Total Correctness
100%
Semantic Relationship
50%
Nondeterministic Computation
50%
Programming Language
50%
Mathematics
Mathematical Modeling
100%
Algebraic Property
100%
Programming Language
100%
Biochemistry, Genetics and Molecular Biology
Computer Language
100%