On the effectiveness of higher-order logic programming in language-oriented programming
type: Item
instance of: scholarly article
title: On the effectiveness of higher-order logic programming in language-oriented programming
DOI: 10.1007/978-3-030-59025-3_7
author: Matteo Cimini
publication date: 2021-07-06T00:00:00Z
Mathematics Subject Classification ID: 68N17
Mathematics Subject Classification ID: 68N18
zbMATH DE Number: 7368087
zbMATH Keywords: higher-order logic programming
zbMATH Keywords: language-oriented programming
zbMATH Keywords: functional programming
describes a project that uses: ELPI
describes a project that uses: Spoofax
describes a project that uses: SugarJ
describes a project that uses: Ott
describes a project that uses: Prolog
describes a project that uses: MontiCore
describes a project that uses: Twelf
describes a project that uses: Neverlang
describes a project that uses: MetaEdit+
describes a project that uses: K-Java
describes a project that uses: lang-n-play
describes a project that uses: Abella
MaRDI profile type: Publication
full work available at URL: 978-3-030-59025-3 7
OpenAlex ID: W3084876279
cites work: Abella: A System for Reasoning about Relational Specifications
cites work: K-Java: a complete semantics of Java
cites work: Q2764099
cites work: ELPI: Fast, Embeddable, $$\lambda $$ Prolog Interpreter
cites work: N-Prolog: An extension of Prolog with hypothetical implications. I.
cites work: Programming with higher-order logic.
cites work: An overview of the K semantic framework
cites work: Ott
description: scientific article; zbMATH DE number 7368087