Extended Static Checking by Calculation Using the Pointfree Transform (Q5191091): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1519644068 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: FM 2005: Formal Methods / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Safety of abstract interpretations for free, via logical relations and Galois connections / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Exercises in Quantifier Manipulation / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4738112 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Demonic operators and monotype factors / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Can programming be liberated from the von Neumann style? / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Transposing partial components--an exercise on coalgebraic refinement / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Calculating Invariants as Coreflexive Bisimulations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4331824 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4692630 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A calculational approach to mathematical induction / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3405587 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3157876 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5287513 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An axiomatic basis for computer programming / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3838013 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Introduction to Coalgebra / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3707340 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4414308 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A mini challenge: build a verifiable filesystem / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: NOTES ON THE UNIVERSALITY OF RELATIONAL FUNCTORS / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On Hoare logic and Kleene algebra with tests / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3668890 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Polymorphism and separation in hoare type theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2755071 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Mathematics of Program Construction / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Galois Connexions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2778806 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3995087 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4705620 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4040000 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4947593 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4301167 / rank | |||
Normal rank |
Latest revision as of 20:51, 1 July 2024
scientific article; zbMATH DE number 5587922
Language | Label | Description | Also known as |
---|---|---|---|
English | Extended Static Checking by Calculation Using the Pointfree Transform |
scientific article; zbMATH DE number 5587922 |
Statements
Extended Static Checking by Calculation Using the Pointfree Transform (English)
0 references
28 July 2009
0 references
formal methods
0 references
proof obligations
0 references
extended static checking
0 references
0 references