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
6 July 2021
0 references
higher-order logic programming
0 references
language-oriented programming
0 references
functional programming
0 references