A logic covering undefinedness in program proofs
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 3833274 (Why is no real title available?)
- scientific article; zbMATH DE number 3650529 (Why is no real title available?)
- scientific article; zbMATH DE number 3660783 (Why is no real title available?)
- scientific article; zbMATH DE number 3740740 (Why is no real title available?)
- scientific article; zbMATH DE number 3532923 (Why is no real title available?)
- scientific article; zbMATH DE number 3550181 (Why is no real title available?)
- scientific article; zbMATH DE number 3557186 (Why is no real title available?)
- scientific article; zbMATH DE number 3574936 (Why is no real title available?)
- scientific article; zbMATH DE number 1734464 (Why is no real title available?)
- scientific article; zbMATH DE number 1028816 (Why is no real title available?)
- scientific article; zbMATH DE number 3795950 (Why is no real title available?)
- scientific article; zbMATH DE number 3451824 (Why is no real title available?)
- scientific article; zbMATH DE number 3241254 (Why is no real title available?)
- scientific article; zbMATH DE number 3309188 (Why is no real title available?)
- scientific article; zbMATH DE number 3346088 (Why is no real title available?)
- scientific article; zbMATH DE number 3392404 (Why is no real title available?)
- scientific article; zbMATH DE number 3073037 (Why is no real title available?)
- An introduction to the PL/CV2 programming logic
- Edinburgh LCF. A mechanized logic of computation
- On a Formalization of the Non-Definedness Notion
- Partial abstract types
- Separation properties and Boolean powers
- The Calculus of Partial Predicates and Its Extension to Set Theory I
Cited in
(44)- An algebraic expression of finite horizon optimal control algorithm for stochastic logical dynamical systems
- Reasoning about separation using abstraction and reification
- Missing values and dragonfly operations in fuzzy relational compositions
- Partial logics reconsidered: A conservative approach
- scientific article; zbMATH DE number 4123706 (Why is no real title available?)
- Simple consequence relations
- A note on undefined expression values in programming logics
- Partial-predicate logic in computer science
- General correctness: A unification of partial and total correctness
- Why the constant ‘undefined’? Logics of partial terms for strict and non-strict functional programming languages
- Two over three: a two-valued logic for software specification and validation over a three-valued predicate calculus
- Analysis of spatio-temporal properties of stochastic systems using TSTL
- Proof obligations for blocks and procedures
- A simple sequent calculus for partial functions
- Quasi-boolean equivalence
- Partial functions and logics: A warning
- Modular structuring of VDM specifications in VVSL
- Are the logical foundations of verifying compiler prototypes matching user expectations?
- A typed logic of partial functions reconstructed classically
- A two-valued logic for properties of strict functional programs allowing partial functions
- On solvability of systems of partial fuzzy relational equations
- A first order logic for partial functions (extended abstract)
- Truth versus information in logic programming
- A logical framework for evolving software systems
- Process algebra with four-valued logic
- Using typed lambda calculus to implement formal systems on a machine
- A guided tour of the mathematics of MetaSoft '88
- Partiality and recursion in interactive theorem provers -- an overview
- Efficient Well-Definedness Checking
- Natural 3-valued logics—characterization and proof theory
- Weak logic theory
- Proof systems for reasoning about computation errors
- Inversive meadows and divisive meadows
- The connection between two ways of reasoning about partial functions
- Reasoning About Incompletely Defined Programs
- A first order logic for partial functions
- Many-valued logic and mixed integer programming
- Preservation of properties of residuated algebraic structure by structures for the partial fuzzy set theory
- A completeness proof for a regular predicate logic with undefined truth value
- Kleene's three-valued logic and process algebra
- Ours Is to Reason Why
- Partial Functions and Equality in Answer Set Programming
- Bunch theory: axioms, logic, applications and model
- Empowering the Event-B method using external theories
This page was built for publication: A logic covering undefinedness in program proofs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q790610)
