Abstract Interpretation, Logical Relations, and Kan Extensions (Q3348896): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
Created claim: DBLP publication ID (P1635): journals/logcom/Abramsky90, #quickstatements; #temporary_batch_1731547958265
(3 intermediate revisions by 3 users not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1093/logcom/1.1.5 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2059221460 / rank
 
Normal rank
Property / Wikidata QID
 
Property / Wikidata QID: Q57006940 / rank
 
Normal rank
Property / DBLP publication ID
 
Property / DBLP publication ID: journals/logcom/Abramsky90 / rank
 
Normal rank

Revision as of 03:05, 14 November 2024

scientific article
Language Label Description Also known as
English
Abstract Interpretation, Logical Relations, and Kan Extensions
scientific article

    Statements

    Abstract Interpretation, Logical Relations, and Kan Extensions (English)
    0 references
    0 references
    1990
    0 references
    abstract interpretation
    0 references
    lambda-calculus
    0 references
    program analysis
    0 references
    correctness
    0 references
    strictness analysis
    0 references
    logical relations
    0 references
    safety
    0 references
    liveness
    0 references
    Kan extensions
    0 references
    powerdomains
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references