Calculating modules in contextual logic program refinement (Q5437648): Difference between revisions
From MaRDI portal
Created a new Item |
Set OpenAlex properties. |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / author | |||
Property / author: Paul A. Strooper / rank | |||
Property / author | |||
Property / author: Paul A. Strooper / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3742689 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3787422 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Steadfast logic programs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The relationship between logic programs and specifications-the subset example revisited / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A refinement calculus for logic programs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A calculus of refinements for program derivations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3996676 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Supporting contexts in program refinement / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Data refinement by calculation / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1017/s1471068407003043 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2018701156 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 11:44, 30 July 2024
scientific article; zbMATH DE number 5229051
Language | Label | Description | Also known as |
---|---|---|---|
English | Calculating modules in contextual logic program refinement |
scientific article; zbMATH DE number 5229051 |
Statements
Calculating modules in contextual logic program refinement (English)
0 references
21 January 2008
0 references
logic programs
0 references
refinement
0 references
modules
0 references
context
0 references
0 references