On the effectiveness of higher-order logic programming in language-oriented programming (Q2039939): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Abella: A System for Reasoning about Relational Specifications / rank
 
Normal rank
Property / cites work
 
Property / cites work: K-Java / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2764099 / rank
 
Normal rank
Property / cites work
 
Property / cites work: ELPI: Fast, Embeddable, $$\lambda $$ Prolog Interpreter / rank
 
Normal rank
Property / cites work
 
Property / cites work: N-Prolog: An extension of Prolog with hypothetical implications. I. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Programming with Higher-Order Logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: An overview of the K semantic framework / rank
 
Normal rank
Property / cites work
 
Property / cites work: Ott / rank
 
Normal rank

Latest revision as of 03:12, 26 July 2024

scientific article
Language Label Description Also known as
English
On the effectiveness of higher-order logic programming in language-oriented programming
scientific article

    Statements

    On the effectiveness of higher-order logic programming in language-oriented programming (English)
    0 references
    0 references
    6 July 2021
    0 references
    higher-order logic programming
    0 references
    language-oriented programming
    0 references
    functional programming
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers