Component-based synthesis for complex APIs (Q5370893)

From MaRDI portal
Revision as of 13:50, 28 February 2024 by SwMATHimport240215 (talk | contribs) (‎Changed an Item)
scientific article; zbMATH DE number 6794681
Language Label Description Also known as
English
Component-based synthesis for complex APIs
scientific article; zbMATH DE number 6794681

    Statements

    Component-based synthesis for complex APIs (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    20 October 2017
    0 references
    component-based
    0 references
    Petri net
    0 references
    program synthesis
    0 references
    type-directed
    0 references

    Identifiers