The following pages link to Ali Milli (Q797984):
Displaying 36 items.
- (Q241119) (redirect page) (← links)
- (Q1328555) (redirect page) (← links)
- A versatile concept for the analysis of loops (Q444373) (← links)
- Reflexive transitive invariant relations: A basis for computing loop functions (Q604384) (← links)
- Strongest invariant functions: Their use in the systematic analysis of while statements (Q797985) (← links)
- Mathematics for reasoning about loop functions (Q1044182) (← links)
- Verifying programs by induction on their data structure: general format and applications (Q1050765) (← links)
- Relational heuristics for the design of deterministic programs (Q1077919) (← links)
- Heuristics for constructing while loops (Q1190850) (← links)
- On the lattice of specifications: Applications to a specification methodology (Q1205187) (← links)
- On the mathematics of sequential decompositions (Q1261494) (← links)
- Relation-based semantics for concurrency (Q1328556) (← links)
- A calculus of program adaption and its applications (Q1581063) (← links)
- Semantic distance between specifications (Q1583257) (← links)
- Convergence: integrating termination and abort-freedom (Q1647960) (← links)
- Invariant functions and invariant relations: an alternative to invariant assertions (Q1760096) (← links)
- A relational approach to the design of deterministic programs (Q1838028) (← links)
- A comparative analysis of hardware and software fault tolerance: Impact on software reliability engineering (Q1859533) (← links)
- A relational calculus for program construction by parts (Q1916368) (← links)
- Differentiators and detectors (Q2032146) (← links)
- A relational division operator: The conjugate kernel (Q2367540) (← links)
- Relational characterizations of system fault tolerance (Q2486257) (← links)
- Regularity of relations: A measure of uniformity (Q2638796) (← links)
- Computing Preconditions and Postconditions of While Loops (Q3105751) (← links)
- Relational Methods in the Analysis of While Loops: Observations of Versatility (Q3651520) (← links)
- Towards a Theory of Forward Error Recovery (Q3677140) (← links)
- Specification methodology: An integrated relational approach (Q3738546) (← links)
- (Q3790608) (← links)
- Self-Stabilizing Programs: The Fault-Tolerant Capability of Self-Checking Programs (Q3943981) (← links)
- (Q4018960) (← links)
- (Q4329260) (← links)
- (Q4362886) (← links)
- Unifying program construction and modification (Q4383704) (← links)
- Formal models of stepwise refinements of programs (Q4727399) (← links)
- Managing software reuse economics: An integrated ROI-based model (Q5960729) (← links)
- Toward a theory of program repair (Q6171820) (← links)
- Invariant relations for affine loops (Q6592111) (← links)
