On the effectiveness of higher-order logic programming in language-oriented programming

DOI10.1007/978-3-030-59025-3_7OpenAlexW3084876279MaRDI QIDQ2039939

Matteo Cimini

Publication date: 6 July 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-59025-3_7

zbMATH Keywords

functional programminghigher-order logic programminglanguage-oriented programming

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic programming (68N17)

Related Items

Lang-n-Send Extended: Sending Regular Expressions to Monitors

Uses Software

• Ott
• Prolog
• Twelf
• MontiCore
• Abella
• Spoofax
• MetaEdit+
• K-Java
• SugarJ
• Neverlang
• ELPI
• lang-n-play

Cites Work

• Unnamed Item
• An overview of the K semantic framework
• K-Java
• Programming with Higher-Order Logic
• ELPI: Fast, Embeddable, $$\lambda $$ Prolog Interpreter
• N-Prolog: An extension of Prolog with hypothetical implications. I.
• Ott
• Abella: A System for Reasoning about Relational Specifications