Pages that link to "Item:Q790610"
From MaRDI portal
The following pages link to A logic covering undefinedness in program proofs (Q790610):
Displaying 38 items.
- Kleene's three-valued logic and process algebra (Q293327) (← links)
- A two-valued logic for properties of strict functional programs allowing partial functions (Q352946) (← links)
- Inversive meadows and divisive meadows (Q420833) (← links)
- Partial functions and logics: A warning (Q673461) (← links)
- Using typed lambda calculus to implement formal systems on a machine (Q688571) (← links)
- Simple consequence relations (Q809992) (← links)
- An algebraic expression of finite horizon optimal control algorithm for stochastic logical dynamical systems (Q899110) (← links)
- A first order logic for partial functions (Q918965) (← links)
- Proof obligations for blocks and procedures (Q919838) (← links)
- The connection between two ways of reasoning about partial functions (Q963419) (← links)
- Proof systems for reasoning about computation errors (Q1015487) (← links)
- Partial-predicate logic in computer science (Q1079560) (← links)
- A note on undefined expression values in programming logics (Q1093365) (← links)
- A guided tour of the mathematics of MetaSoft '88 (Q1111360) (← links)
- Modular structuring of VDM specifications in VVSL (Q1184682) (← links)
- Partial logics reconsidered: A conservative approach (Q1261311) (← links)
- A typed logic of partial functions reconstructed classically (Q1338893) (← links)
- A logical framework for evolving software systems (Q1911313) (← links)
- Many-valued logic and mixed integer programming (Q1924752) (← links)
- Empowering the Event-B method using external theories (Q2165497) (← links)
- General correctness: A unification of partial and total correctness (Q2265798) (← links)
- Weak logic theory (Q2276950) (← links)
- Missing values and dragonfly operations in fuzzy relational compositions (Q2302773) (← links)
- Quasi-boolean equivalence (Q2366071) (← links)
- A simple sequent calculus for partial functions (Q2367544) (← links)
- Are the logical foundations of verifying compiler prototypes matching user expectations? (Q2643125) (← links)
- Ours Is to Reason Why (Q2842639) (← links)
- Truth versus information in logic programming (Q2933087) (← links)
- Efficient Well-Definedness Checking (Q3541692) (← links)
- Natural 3-valued logics—characterization and proof theory (Q3981456) (← links)
- Two over three: a two-valued logic for software specification and validation over a three-valued predicate calculus (Q4275696) (← links)
- Process algebra with four-valued logic (Q4443411) (← links)
- A first order logic for partial functions (Q5096142) (← links)
- Reasoning about Separation Using Abstraction and Reification (Q5268439) (← links)
- Partial Functions and Equality in Answer Set Programming (Q5504669) (← links)
- Partiality and recursion in interactive theorem provers – an overview (Q5741556) (← links)
- On solvability of systems of partial fuzzy relational equations (Q6083058) (← links)
- Preservation of properties of residuated algebraic structure by structures for the partial fuzzy set theory (Q6099375) (← links)
