Control discipline necessity: Making the language as general as the implementation (Q1162804): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
Set OpenAlex properties.
 
(5 intermediate revisions by 3 users not shown)
Property / describes a project that uses
 
Property / describes a project that uses: APL / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: Ada95 / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: Simula 67 / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / cites work
 
Property / cites work: Referencing and Retention in Block-Structured Coroutines / rank
 
Normal rank
Property / cites work
 
Property / cites work: Coroutines. A programming methodology, a language design and an implementation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Coroutine sequencing in a block structured environment / rank
 
Normal rank
Property / cites work
 
Property / cites work: BLISS / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1007/bf01944475 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2023447450 / rank
 
Normal rank

Latest revision as of 10:51, 30 July 2024

scientific article
Language Label Description Also known as
English
Control discipline necessity: Making the language as general as the implementation
scientific article

    Statements

    Control discipline necessity: Making the language as general as the implementation (English)
    0 references
    0 references
    0 references
    0 references
    1982
    0 references
    0 references
    22, 169-182 (1982)
    0 references
    formal verification of control structure implementation techniques
    0 references
    control semantics
    0 references
    programming language
    0 references
    0 references
    0 references
    0 references
    0 references