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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-030-59025-3_7
+Normal rank
@@ Property / OpenAlex ID @@
+W3084876279
@@ Property / OpenAlex ID: W3084876279 / rank @@
+Normal rank
@@ Property / cites work @@
+Abella: A System for Reasoning about Relational Specifications
+Normal rank
@@ Property / cites work @@
+K-Java
@@ Property / cites work: K-Java / rank @@
+Normal rank
@@ Property / cites work @@
+Q2764099
@@ Property / cites work: Q2764099 / rank @@
+Normal rank
@@ Property / cites work @@
+ELPI: Fast, Embeddable, $$\lambda $$ Prolog Interpreter
+Normal rank
@@ Property / cites work @@
+N-Prolog: An extension of Prolog with hypothetical implications. I.
+Normal rank
@@ Property / cites work @@
+Programming with Higher-Order Logic
@@ Property / cites work: Programming with Higher-Order Logic / rank @@
+Normal rank
@@ Property / cites work @@
+An overview of the K semantic framework
@@ Property / cites work: An overview of the K semantic framework / rank @@
+Normal rank
@@ Property / cites work @@
+Ott
@@ Property / cites work: Ott / rank @@
+Normal rank