Pages that link to "Item:Q2560721"

The following pages link to An axiomatic definition of the programming language Pascal (Q2560721):

Displaying 33 items.

• An axiomatic treatment of SIMD assignment (Q583875) (← links)
• Embedding universal computer arithmetic in higher programming languages (Q598796) (← links)
• Expressiveness and the completeness of Hoare's logic (Q800082) (← links)
• The axiomatic semantics of programs based on Hoare's logic (Q800712) (← links)
• Generation of correctness conditions for imperative programs (Q840060) (← links)
• Verification conditions are code (Q855274) (← links)
• SIMD language design using prescriptive semantics (Q1110309) (← links)
• Remarks on R. D. Tennent's ''Language design methods based on semantic principles: Algol 68, a language designed using semantic principles'' (Q1134511) (← links)
• Correctness of the compiling process based on axiomatic semantics (Q1138902) (← links)
• The formal definition of a real-time language (Q1153685) (← links)
• Floyd's principle, correctness theories and program equivalence (Q1158948) (← links)
• Axiomatic semantics for ''escape'' statements (Q1182114) (← links)
• Correctness and efficiency of pattern matching algorithms (Q1183611) (← links)
• More comments on the programming language Pascal (Q1214259) (← links)
• SEMANOL (73), a metalanguage for programming the semantics of programming languages (Q1219158) (← links)
• A proof rule for multiple coroutine systems (Q1225452) (← links)
• Language design methods based on semantic principles (Q1225927) (← links)
• A note on the semantic definition of side effects (Q1226385) (← links)
• Design and correctness of a compiler for a non-procedural language (Q1240546) (← links)
• PASCAL in LCF: Semantics and examples of proof (Q1242670) (← links)
• Data types, abstract data types and their specification problem (Q1252032) (← links)
• The clean termination of Pascal programs (Q1253540) (← links)
• Deriving correctness properties of compiled code (Q1309251) (← links)
• Automatic program verification. I: A logical basis and its implementation (Q1843170) (← links)
• The verification and synthesis of data structures (Q1844075) (← links)
• Fifty years of Hoare's logic (Q2280214) (← links)
• Reverse Hoare Logic (Q3095238) (← links)
• The use of hoare logic in the verification of horizontal microprograms (Q3216113) (← links)
• Monitors with arrays of condition variables and proof rules handling local quantities (Q3865461) (← links)
• (Q4094351) (← links)
• A multilevel flow control statement (Q4114750) (← links)
• Design and implementation of an efficient priority queue (Q4137890) (← links)
• A note on files in pascal (Q4140358) (← links)