The following pages link to (Q5684216):
Displaying 50 items.
- Objective computation versus subjective computation (Q320171) (← links)
- On theorem prover-based testing (Q470025) (← links)
- A calculus of quality for robustness against unreliable communication (Q492911) (← links)
- A theory, implementation and applications of human-like understanding (Q593790) (← links)
- A sheaf-theoretic approach to pattern matching and related problems (Q685382) (← links)
- A document driven methodology for developing a high quality parallel mesh generation toolbox (Q730984) (← links)
- Synthetic programming (Q761788) (← links)
- Balancing expressiveness in formal approaches to concurrency (Q890478) (← links)
- Fundamentals of reversible flowchart languages (Q896906) (← links)
- Tools for support of automata-based programming (Q927470) (← links)
- Modularization and abstraction in logic programming (Q1077915) (← links)
- Reducibility of synchronization structures (Q1085606) (← links)
- Partially additive categories and flow-diagram semantics (Q1137858) (← links)
- Programming language ALGOL 68 (Q1140980) (← links)
- Orthogonality of information structures (Q1141477) (← links)
- An algebraic definition for control structures (Q1151016) (← links)
- About the implementability and the power of equationally defined data abstractions (Q1157900) (← links)
- Access mechanisms in block structured environments (Q1169282) (← links)
- Bisimulation through probabilistic testing (Q1175940) (← links)
- Semantic decomposition of computer programs: An aid to program testing (Q1211839) (← links)
- Analysis of structured programs (Q1212350) (← links)
- More comments on the programming language Pascal (Q1214259) (← links)
- Structured implementation of symbolic execution: A first part in a program verifier (Q1216047) (← links)
- On the programming of elastic stores (Q1216948) (← links)
- Loop unravelling: a practical tool in proving program correctness (Q1223141) (← links)
- Language design methods based on semantic principles (Q1225927) (← links)
- Consistency in networks of relations (Q1231783) (← links)
- Proving programs correct through refinement (Q1242447) (← links)
- All structured programs have small tree width and good register allocation (Q1271620) (← links)
- Object-oriented programming in control system design: A survey (Q1333435) (← links)
- On the role of computation in economic theory (Q1363364) (← links)
- A structured program to generate all topological sorting arrangements (Q1393277) (← links)
- Code migration and program maintainability -- A categorical perspective (Q1603495) (← links)
- A compiler for MSVL and its applications (Q1630985) (← links)
- Parallel actor monitors: disentangling task-level parallelism from data partitioning in the actor model (Q1651013) (← links)
- Testing conformance of a deterministic implementation against a non-deterministic stream X-machine (Q1882901) (← links)
- Basic paradigms of programming (Q1905218) (← links)
- Modular technical change and genetic algorithms (Q1906180) (← links)
- Multilevel structured program designs and correctness proving (Q1910975) (← links)
- Functional completeness criteria in Dijkstra algebra (Q1922339) (← links)
- A system for deduction-based formal verification of workflow-oriented software models (Q2018423) (← links)
- Critical comments on the programming language Pascal (Q2264544) (← links)
- Assembling a prehistory for formal methods: a personal view (Q2280210) (← links)
- Fifty years of Hoare's logic (Q2280214) (← links)
- Dijkstra graphs (Q2414453) (← links)
- Classical concepts in quantum programming (Q2505979) (← links)
- Proof of correctness of data representations (Q2554952) (← links)
- An axiomatic definition of the programming language Pascal (Q2560721) (← links)
- The refinement calculus of reactive systems (Q2672236) (← links)
- Modular Verification of Procedure Equivalence in the Presence of Memory Allocation (Q2988675) (← links)
