Pages that link to "Item:Q4773988"

The following pages link to Programming as a Discipline of Mathematical Nature (Q4773988):

Displaying 50 items.

• Kleene's three-valued logic and process algebra (Q293327) (← links)
• Weakest preconditions for pure Prolog programs (Q293340) (← links)
• Online belief tracking using regression for contingent planning (Q334802) (← links)
• Semantics of higher-order quantum computation via geometry of interaction (Q345711) (← links)
• On limits and colimits of variety-based topological systems (Q409742) (← links)
• Interweaving algebra and topology: lattice-valued topological systems (Q419041) (← links)
• A versatile concept for the analysis of loops (Q444373) (← links)
• Finite-state concurrent programs can be expressed succinctly in triple normal form (Q522959) (← links)
• Normal forms in total correctness for while programs and action systems (Q549683) (← links)
• Prespecification in data refinement (Q578901) (← links)
• Space-efficient planar convex hull algorithms (Q596137) (← links)
• The structured complexity of object-oriented programs (Q596971) (← links)
• Mechanical inference of invariants for FOR-loops (Q604381) (← links)
• Abstract representation theorems for demonic refinement algebras (Q604454) (← links)
• Imperative abstractions for functional actions (Q604455) (← links)
• Unifying wp and wlp (Q671411) (← links)
• Duality beyond sober spaces: Topological spaces and observation frames (Q671991) (← links)
• Constraint preservation through loops (Q672025) (← links)
• Predicate transformers and higher-order programs (Q672318) (← links)
• Algebraic proofs of consistency and completeness (Q672320) (← links)
• Embedding a demonic semilattice in a relation algebra (Q672711) (← links)
• Formalizing Dijkstra's predicate transformer wp in weak second-order logic (Q673132) (← links)
• Computable concurrent processes (Q673972) (← links)
• Constructing a program with exceptions (Q674271) (← links)
• A sheaf-theoretic approach to pattern matching and related problems (Q685382) (← links)
• Complete proof rules for strong fairness and strong extreme fairness (Q685427) (← links)
• On the discretization in time for a parabolic integrodifferential equation with a weakly singular kernel. I: Smooth initial data (Q687200) (← links)
• Turing machines, transition systems, and interaction (Q703844) (← links)
• A new look at the automatic synthesis of linear ranking functions (Q714505) (← links)
• Program inversion in the refinement calculus (Q750160) (← links)
• A weakest precondition semantics for communicating processes (Q789174) (← links)
• Fair termination revisited - with delay (Q795499) (← links)
• Fairness and conspiracies (Q802310) (← links)
• Extending separation logic with fixpoints and postponed substitution (Q820139) (← links)
• Efficient weakest preconditions (Q835051) (← links)
• Normal design algebra (Q844885) (← links)
• Creol: A type-safe object-oriented model for distributed concurrent systems (Q854164) (← links)
• Universality and semicomputability for nondeterministic programming languages over abstract algebras (Q864513) (← links)
• Generic weakest precondition semantics from monads enriched with order (Q890376) (← links)
• A transformational characterization of if-then-else (Q913480) (← links)
• A model of reconfiguration in communicating sequential processes (Q918723) (← links)
• A sketch of a dynamic epistemic semiring (Q964506) (← links)
• Alternating states for dual nondeterminism in imperative programming (Q974118) (← links)
• Improving multikey Quicksort for sorting strings with many equal elements (Q987791) (← links)
• Glance: A lightweight querying service for wireless sensor networks (Q1004315) (← links)
• HasCasl: integrated higher-order specification and program development (Q1006648) (← links)
• Domain semantics of possibility computations (Q1031684) (← links)
• A space-efficient self-stabilizing algorithm for measuring the size of ring networks (Q1041735) (← links)
• On infinite computations in denotational semantics (Q1051414) (← links)
• Programs as proofs: A synopsis (Q1051424) (← links)