Program logic and equivalence in the presence of garbage collection. (Q1874283): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q5573370 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4385541 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4934618 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A variable typed logic of effects / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: BI as an assertion language for mutable data structures / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Sheaves in geometry and logic: a first introduction to topos theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4783297 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4131610 / rank | |||
Normal rank |
Latest revision as of 16:50, 5 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Program logic and equivalence in the presence of garbage collection. |
scientific article |
Statements
Program logic and equivalence in the presence of garbage collection. (English)
0 references
25 May 2003
0 references
observational equivalence
0 references