Semantics of algorithmic languages (Q760200): Difference between revisions

@@ Property / describes a project that uses @@
+ALGOL 68
@@ Property / describes a project that uses: ALGOL 68 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Refal
@@ Property / describes a project that uses: Refal / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SEMANOL
@@ Property / describes a project that uses: SEMANOL / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Description of language projections
@@ Property / cites work: Description of language projections / rank @@
+Normal rank
@@ Property / cites work @@
+Analysis and synthesis of structured parallel programs
+Normal rank
@@ Property / cites work @@
+Q4147580
@@ Property / cites work: Q4147580 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3906389
@@ Property / cites work: Q3906389 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4160372
@@ Property / cites work: Q4160372 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4164788
@@ Property / cites work: Q4164788 / rank @@
+Normal rank
@@ Property / cites work @@
+An automatic system of logical deduction
@@ Property / cites work: An automatic system of logical deduction / rank @@
+Normal rank
@@ Property / cites work @@
+The calculus of functional systems and parallel algorithms
+Normal rank
@@ Property / cites work @@
+Q3338243
@@ Property / cites work: Q3338243 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3916006
@@ Property / cites work: Q3916006 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4174205
@@ Property / cites work: Q4174205 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3208057
@@ Property / cites work: Q3208057 / rank @@
+Normal rank
@@ Property / cites work @@
+Expressibility of functionals in D. Scott's LCF language
+Normal rank
@@ Property / cites work @@
+Proof of the characteristics of programs containing procedures and conditional operators
+Normal rank
@@ Property / cites work @@
+A method of describing programming languages
@@ Property / cites work: A method of describing programming languages / rank @@
+Normal rank
@@ Property / cites work @@
+An approach to the construction of a universal language schema. semantics
+Normal rank
@@ Property / cites work @@
+Correctness and equivalence of programs
@@ Property / cites work: Correctness and equivalence of programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3048204
@@ Property / cites work: Q3048204 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3256561
@@ Property / cites work: Q3256561 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4187288
@@ Property / cites work: Q4187288 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5678416
@@ Property / cites work: Q5678416 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4096406
@@ Property / cites work: Q4096406 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4160370
@@ Property / cites work: Q4160370 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4160371
@@ Property / cites work: Q4160371 / rank @@
+Normal rank
@@ Property / cites work @@
+SEMANOL (73), a metalanguage for programming the semantics of programming languages
+Normal rank
@@ Property / cites work @@
+Safe programming
@@ Property / cites work: Safe programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4050094
@@ Property / cites work: Q4050094 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4124296
@@ Property / cites work: Q4124296 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4134908
@@ Property / cites work: Q4134908 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal computations of non deterministic recursive program schemes
+Normal rank
@@ Property / cites work @@
+Lucid—A Formal System for Writing and Proving Programs
+Normal rank
@@ Property / cites work @@
+Q3860820
@@ Property / cites work: Q3860820 / rank @@
+Normal rank
@@ Property / cites work @@
+Can programming be liberated from the von Neumann style?
+Normal rank
@@ Property / cites work @@
+Q4144761
@@ Property / cites work: Q4144761 / rank @@
+Normal rank
@@ Property / cites work @@
+A Comparison of the Axiomatic and Functional Models of Structured Programming
+Normal rank
@@ Property / cites work @@
+Q4195967
@@ Property / cites work: Q4195967 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4184269
@@ Property / cites work: Q4184269 / rank @@
+Normal rank
@@ Property / cites work @@
+What is an abstract datatype?
@@ Property / cites work: What is an abstract datatype? / rank @@
+Normal rank
@@ Property / cites work @@
+Recursion theory on processes
@@ Property / cites work: Recursion theory on processes / rank @@
+Normal rank
@@ Property / cites work @@
+Effective Transformations on Probabilistic Data
@@ Property / cites work: Effective Transformations on Probabilistic Data / rank @@
+Normal rank
@@ Property / cites work @@
+Q3896478
@@ Property / cites work: Q3896478 / rank @@
+Normal rank
@@ Property / cites work @@
+Remarks on R. D. Tennent's ''Language design methods based on semantic principles: Algol 68, a language designed using semantic principles''
+Normal rank
@@ Property / cites work @@
+Q3205212
@@ Property / cites work: Q3205212 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4134939
@@ Property / cites work: Q4134939 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198051
@@ Property / cites work: Q4198051 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3875328
@@ Property / cites work: Q3875328 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4190094
@@ Property / cites work: Q4190094 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3875316
@@ Property / cites work: Q3875316 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4094359
@@ Property / cites work: Q4094359 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4134898
@@ Property / cites work: Q4134898 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4138076
@@ Property / cites work: Q4138076 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4194416
@@ Property / cites work: Q4194416 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4190089
@@ Property / cites work: Q4190089 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4130967
@@ Property / cites work: Q4130967 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4190102
@@ Property / cites work: Q4190102 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4191565
@@ Property / cites work: Q4191565 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4190110
@@ Property / cites work: Q4190110 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4192046
@@ Property / cites work: Q4192046 / rank @@
+Normal rank
@@ Property / cites work @@
+Program Development as a Formal Activity
@@ Property / cites work: Program Development as a Formal Activity / rank @@
+Normal rank
@@ Property / cites work @@
+Q3875322
@@ Property / cites work: Q3875322 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3912003
@@ Property / cites work: Q3912003 / rank @@
+Normal rank
@@ Property / cites work @@
+A Transformation System for Developing Recursive Programs
+Normal rank
@@ Property / cites work @@
+Q3906394
@@ Property / cites work: Q3906394 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3902486
@@ Property / cites work: Q3902486 / rank @@
+Normal rank
@@ Property / cites work @@
+A Complete and Consistent Hoare Axiomatics for a Simple Programming Language
+Normal rank
@@ Property / cites work @@
+An order-algebraic definition of knuthian semantics
+Normal rank
@@ Property / cites work @@
+Algorithm classification through synthesis
@@ Property / cites work: Algorithm classification through synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Language Constructs for Which It Is Impossible To Obtain Good Hoare Axiom Systems
+Normal rank
@@ Property / cites work @@
+Program invariants as fixedpoints
@@ Property / cites work: Program invariants as fixedpoints / rank @@
+Normal rank
@@ Property / cites work @@
+Q4197321
@@ Property / cites work: Q4197321 / rank @@
+Normal rank
@@ Property / cites work @@
+Soundness and Completeness of an Axiom System for Program Verification
+Normal rank
@@ Property / cites work @@
+Q3854596
@@ Property / cites work: Q3854596 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4190099
@@ Property / cites work: Q4190099 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3871899
@@ Property / cites work: Q3871899 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3898010
@@ Property / cites work: Q3898010 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4190106
@@ Property / cites work: Q4190106 / rank @@
+Normal rank
@@ Property / cites work @@
+Inference Rules for Program Annotation
@@ Property / cites work: Inference Rules for Program Annotation / rank @@
+Normal rank
@@ Property / cites work @@
+Correct Computation Rules for Recursive Languages
@@ Property / cites work: Correct Computation Rules for Recursive Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Computability concepts for programming language semantics
+Normal rank
@@ Property / cites work @@
+Extensions and implementations of abstract data type specifications
+Normal rank
@@ Property / cites work @@
+Q4127985
@@ Property / cites work: Q4127985 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3917479
@@ Property / cites work: Q3917479 / rank @@
+Normal rank
@@ Property / cites work @@
+Transformations of structures: An algebraic approach
+Normal rank
@@ Property / cites work @@
+Q3907050
@@ Property / cites work: Q3907050 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4099191
@@ Property / cites work: Q4099191 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming with Verification Conditions
@@ Property / cites work: Programming with Verification Conditions / rank @@
+Normal rank
@@ Property / cites work @@
+The Semantics of Predicate Logic as a Programming Language
+Normal rank
@@ Property / cites work @@
+Q3906386
@@ Property / cites work: Q3906386 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4074367
@@ Property / cites work: Q4074367 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4140363
@@ Property / cites work: Q4140363 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4134896
@@ Property / cites work: Q4134896 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3050435
@@ Property / cites work: Q3050435 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4151701
@@ Property / cites work: Q4151701 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4134940
@@ Property / cites work: Q4134940 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5584402
@@ Property / cites work: Q5584402 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of nondeterminism, concurrency, and communication
+Normal rank
@@ Property / cites work @@
+Functional combination
@@ Property / cites work: Functional combination / rank @@
+Normal rank
@@ Property / cites work @@
+Q4197330
@@ Property / cites work: Q4197330 / rank @@
+Normal rank
@@ Property / cites work @@
+Nondeterministic flowchart programs with recursive procedures: Semantics and correctness. I
+Normal rank
@@ Property / cites work @@
+Nondeterministic flowchart programs with recursive procedures: Semantics and correctness. II
+Normal rank
@@ Property / cites work @@
+Q3898022
@@ Property / cites work: Q3898022 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3898023
@@ Property / cites work: Q3898023 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4194413
@@ Property / cites work: Q4194413 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3880322
@@ Property / cites work: Q3880322 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4194452
@@ Property / cites work: Q4194452 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of program structures: Schemes, semantics, verification
+Normal rank
@@ Property / cites work @@
+Specifying the Semantics of while Programs: A Tutorial and Critique of a Paper by Hoare and Lauer
+Normal rank
@@ Property / cites work @@
+Q3907041
@@ Property / cites work: Q3907041 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4185780
@@ Property / cites work: Q4185780 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4184273
@@ Property / cites work: Q4184273 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4184282
@@ Property / cites work: Q4184282 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4092945
@@ Property / cites work: Q4092945 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4181261
@@ Property / cites work: Q4181261 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4174208
@@ Property / cites work: Q4174208 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3890092
@@ Property / cites work: Q3890092 / rank @@
+Normal rank
@@ Property / cites work @@
+Proving the correctness of regular deterministic programs: A unifying survey using dynamic logic
+Normal rank
@@ Property / cites work @@
+Q3893309
@@ Property / cites work: Q3893309 / rank @@
+Normal rank
@@ Property / cites work @@
+On removing the machine from the language
@@ Property / cites work: On removing the machine from the language / rank @@
+Normal rank
@@ Property / cites work @@
+Bunch theory: A simple set theory for computer science
+Normal rank
@@ Property / cites work @@
+Q4162635
@@ Property / cites work: Q4162635 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4144762
@@ Property / cites work: Q4144762 / rank @@
+Normal rank
@@ Property / cites work @@
+The Semantics of Call-By-Value and Call-By-Name in a Nondeterministic Environment
+Normal rank
@@ Property / cites work @@
+A mathematical semantics for a nondeterministic typed lambda-calculus
+Normal rank
@@ Property / cites work @@
+Q3938462
@@ Property / cites work: Q3938462 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3907039
@@ Property / cites work: Q3907039 / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for computer programming
@@ Property / cites work: An axiomatic basis for computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Some Properties of Predicate Transformers
@@ Property / cites work: Some Properties of Predicate Transformers / rank @@
+Normal rank
@@ Property / cites work @@
+Parallel programming: An axiomatic approach
@@ Property / cites work: Parallel programming: An axiomatic approach / rank @@
+Normal rank
@@ Property / cites work @@
+Communicating sequential processes
@@ Property / cites work: Communicating sequential processes / rank @@
+Normal rank
@@ Property / cites work @@
+Making computational sense of Montague's intensional logic
+Normal rank
@@ Property / cites work @@
+Q4176941
@@ Property / cites work: Q4176941 / rank @@
+Normal rank
@@ Property / cites work @@
+Derivation of Logic Programs
@@ Property / cites work: Derivation of Logic Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3920612
@@ Property / cites work: Q3920612 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4162625
@@ Property / cites work: Q4162625 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4102712
@@ Property / cites work: Q4102712 / rank @@
+Normal rank
@@ Property / cites work @@
+Presburger arithmetic with array segments
@@ Property / cites work: Presburger arithmetic with array segments / rank @@
+Normal rank
@@ Property / cites work @@
+Q4142655
@@ Property / cites work: Q4142655 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4138097
@@ Property / cites work: Q4138097 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4124287
@@ Property / cites work: Q4124287 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4182745
@@ Property / cites work: Q4182745 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3899461
@@ Property / cites work: Q3899461 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3937392
@@ Property / cites work: Q3937392 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4190621
@@ Property / cites work: Q4190621 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4178511
@@ Property / cites work: Q4178511 / rank @@
+Normal rank
@@ Property / cites work @@
+Program Optimization Using Invariants
@@ Property / cites work: Program Optimization Using Invariants / rank @@
+Normal rank
@@ Property / cites work @@
+A closer look at termination
@@ Property / cites work: A closer look at termination / rank @@
+Normal rank
@@ Property / cites work @@
+Q3911368
@@ Property / cites work: Q3911368 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4070305
@@ Property / cites work: Q4070305 / rank @@
+Normal rank
@@ Property / cites work @@
+A class of functions synthesized from a finite number of examples and a lisp program scheme
+Normal rank
@@ Property / cites work @@
+Q4195987
@@ Property / cites work: Q4195987 / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithm = logic + control
@@ Property / cites work: Algorithm = logic + control / rank @@
+Normal rank
@@ Property / cites work @@
+Q4127988
@@ Property / cites work: Q4127988 / rank @@
+Normal rank
@@ Property / cites work @@
+LAR: A logic of algorithmic reasoning
@@ Property / cites work: LAR: A logic of algorithmic reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q3893343
@@ Property / cites work: Q3893343 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4190103
@@ Property / cites work: Q4190103 / rank @@
+Normal rank
@@ Property / cites work @@
+Primitive recursive algebraic theories and program schemes
+Normal rank
@@ Property / cites work @@
+Q4190101
@@ Property / cites work: Q4190101 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal derivation of strongly correct concurrent programs
+Normal rank
@@ Property / cites work @@
+Program construction by refinements preserving correctness
+Normal rank
@@ Property / cites work @@
+Q3914418
@@ Property / cites work: Q3914418 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3907057
@@ Property / cites work: Q3907057 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof rules for the programming language Euclid
@@ Property / cites work: Proof rules for the programming language Euclid / rank @@
+Normal rank
@@ Property / cites work @@
+A simple relation between relational and predicate transformer semantics for nondeterministic programs
+Normal rank
@@ Property / cites work @@
+Data types, abstract data types and their specification problem
+Normal rank
@@ Property / cites work @@
+Q3885170
@@ Property / cites work: Q3885170 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4195923
@@ Property / cites work: Q4195923 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4190096
@@ Property / cites work: Q4190096 / rank @@
+Normal rank
@@ Property / cites work @@
+The optimal approach to recursive programs
@@ Property / cites work: The optimal approach to recursive programs / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesis: Dreams → Programs
@@ Property / cites work: Synthesis: Dreams → Programs / rank @@
+Normal rank
@@ Property / cites work @@
+The Logic of Computer Programming
@@ Property / cites work: The Logic of Computer Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Is “sometime” sometimes better than “always”?
+Normal rank
@@ Property / cites work @@
+Q4122832
@@ Property / cites work: Q4122832 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4095916
@@ Property / cites work: Q4095916 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5601757
@@ Property / cites work: Q5601757 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4125719
@@ Property / cites work: Q4125719 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4133080
@@ Property / cites work: Q4133080 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198049
@@ Property / cites work: Q4198049 / rank @@
+Normal rank
@@ Property / cites work @@
+An Approach to Formal Definitions and Proofs of Programming Principles
+Normal rank
@@ Property / cites work @@
+Subgoal induction
@@ Property / cites work: Subgoal induction / rank @@
+Normal rank
@@ Property / cites work @@
+Q4105769
@@ Property / cites work: Q4105769 / rank @@
+Normal rank
@@ Property / cites work @@
+Hierarchical program specification and verification - a many-sorted logical approach
+Normal rank
@@ Property / cites work @@
+Models for recursion theory
@@ Property / cites work: Models for recursion theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3875327
@@ Property / cites work: Q3875327 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3883463
@@ Property / cites work: Q3883463 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantic specification using two-level grammars: Blocks, procedures and parameters
+Normal rank
@@ Property / cites work @@
+Formal semantics of a SNOBOL4 subset
@@ Property / cites work: Formal semantics of a SNOBOL4 subset / rank @@
+Normal rank
@@ Property / cites work @@
+On Interpreter-Oriented Definitions of Programming Languages
+Normal rank
@@ Property / cites work @@
+Q4195921
@@ Property / cites work: Q4195921 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3906397
@@ Property / cites work: Q3906397 / rank @@
+Normal rank
@@ Property / cites work @@
+A Powerdomain Construction
@@ Property / cites work: A Powerdomain Construction / rank @@
+Normal rank
@@ Property / cites work @@
+LCF considered as a programming language
@@ Property / cites work: LCF considered as a programming language / rank @@
+Normal rank
@@ Property / cites work @@
+Q4187287
@@ Property / cites work: Q4187287 / rank @@
+Normal rank
@@ Property / cites work @@
+Axioms for user-defined operators
@@ Property / cites work: Axioms for user-defined operators / rank @@
+Normal rank
@@ Property / cites work @@
+Q4080702
@@ Property / cites work: Q4080702 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3909985
@@ Property / cites work: Q3909985 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4199565
@@ Property / cites work: Q4199565 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3923580
@@ Property / cites work: Q3923580 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4855337
@@ Property / cites work: Q4855337 / rank @@
+Normal rank
@@ Property / cites work @@
+On an equivalence between continuation and stack semantics
+Normal rank
@@ Property / cites work @@
+Q3883471
@@ Property / cites work: Q3883471 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3883461
@@ Property / cites work: Q3883461 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4096924
@@ Property / cites work: Q4096924 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4190087
@@ Property / cites work: Q4190087 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic and programming languages
@@ Property / cites work: Logic and programming languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q4083399
@@ Property / cites work: Q4083399 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4190091
@@ Property / cites work: Q4190091 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4124312
@@ Property / cites work: Q4124312 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Definition of Computable Function of a Real Variable
+Normal rank
@@ Property / cites work @@
+Q3875324
@@ Property / cites work: Q3875324 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4199501
@@ Property / cites work: Q4199501 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4151700
@@ Property / cites work: Q4151700 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3926040
@@ Property / cites work: Q3926040 / rank @@
+Normal rank
@@ Property / cites work @@
+Power domains
@@ Property / cites work: Power domains / rank @@
+Normal rank
@@ Property / cites work @@
+Q3922134
@@ Property / cites work: Q3922134 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3206281
@@ Property / cites work: Q3206281 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification Decidability of Presburger Array Programs
+Normal rank
@@ Property / cites work @@
+Horn clause computability
@@ Property / cites work: Horn clause computability / rank @@
+Normal rank
@@ Property / cites work @@
+The denotational semantics of programming languages
+Normal rank
@@ Property / cites work @@
+More on advice on structuring compilers and proving them correct
+Normal rank
@@ Property / cites work @@
+Formalization of correctness of recursive definitions
+Normal rank
@@ Property / cites work @@
+The Relation between Computational and Denotational Properties for Scott’s ${\text{D}}_\infty  $-Models of the Lambda-Calculus
+Normal rank
@@ Property / cites work @@
+Q4176939
@@ Property / cites work: Q4176939 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4140350
@@ Property / cites work: Q4140350 / rank @@
+Normal rank
@@ Property / cites work @@
+A characterization of weakest preconditions
@@ Property / cites work: A characterization of weakest preconditions / rank @@
+Normal rank
@@ Property / cites work @@
+Final algebra semantics and data type extensions
@@ Property / cites work: Final algebra semantics and data type extensions / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for proving total correctness of goto-programs
+Normal rank
@@ Property / cites work @@
+Verifying Program Performance
@@ Property / cites work: Verifying Program Performance / rank @@
+Normal rank
@@ Property / cites work @@
+Methods for specifying static semantics
@@ Property / cites work: Methods for specifying static semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4187314
@@ Property / cites work: Q4187314 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3865491
@@ Property / cites work: Q3865491 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4160368
@@ Property / cites work: Q4160368 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4076737
@@ Property / cites work: Q4076737 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3883462
@@ Property / cites work: Q3883462 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4154035
@@ Property / cites work: Q4154035 / rank @@
+Normal rank