Program Analysis and Verification Techniques (Q167620): Difference between revisions

From geokb
(‎Created a new Item: Added new OpenAlex topic claimed by USGS staff from API)
 
(‎Changed label, description and/or aliases in en, and other parts: removed aliases from OpenAlex topic and added addresses subject claims to linkable items)
 
(2 intermediate revisions by the same user not shown)
aliases / en / 0aliases / en / 0
Static Analysis
aliases / en / 1aliases / en / 1
Formal Verification
aliases / en / 2aliases / en / 2
Type Inference
aliases / en / 3aliases / en / 3
Memory Management
aliases / en / 4aliases / en / 4
Concurrency
aliases / en / 5aliases / en / 5
Garbage Collection
aliases / en / 6aliases / en / 6
Separation Logic
aliases / en / 7aliases / en / 7
Model Checking
aliases / en / 8aliases / en / 8
Abstract Interpretation
aliases / en / 9aliases / en / 9
Programming Language Semantics
description / endescription / en
This cluster of papers covers a wide range of program analysis and verification techniques, including static analysis, formal verification, type inference, memory management, concurrency, garbage collection, separation logic, model checking, abstract
Analysis and verification of computer programs for correctness and reliability.
Property / same as
 
Property / same as: https://openalex.org/T10126 / rank
Normal rank
 
Property / OpenAlex ID
 
Property / OpenAlex ID: T10126 / rank
 
Normal rank

Latest revision as of 20:29, 21 September 2024

Analysis and verification of computer programs for correctness and reliability.
Language Label Description Also known as
English
Program Analysis and Verification Techniques
Analysis and verification of computer programs for correctness and reliability.

    Statements

    OpenAlex ID
    T10126
    0 references
     
    Retrieved from "https://geokb.wikibase.cloud/w/index.php?title=Item:Q167620&oldid=1416957"