Suchergebnisse - Extensional higher-order logic programming

Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation von CHARALAMBIDIS, ANGELOS, ÉSIK, ZOLTÁN, RONDOGIANNIS, PANOS

“… Extensional higher-order logic programming has been introduced as a generalization of classical logic programming …”
Volltext

Equivalence of two fixed-point semantics for definitional higher-order logic programs von Charalambidis, Angelos, Rondogiannis, Panos, Symeonidou, Ioanna

“… Two distinct research approaches have been proposed for assigning extensional semantics to higher-order logic programming …”
Volltext

The intricacies of three-valued extensional semantics for higher-order logic programs von RONDOGIANNIS, PANOS, SYMEONIDOU, IOANNA

“… M. Bezem defined an extensional semantics for positive higher-order logic programs …”
Volltext

Extensional Higher-Order Logic Programming von Charalambidis, A, Handjopoulos, K, Rondogiannis, P, Wadge, W W

“… We propose a purely extensional semantics for higher-order logic programming. In this semantics program predicates denote sets of ordered tuples, and two predicates are equal iff they are equal as sets …”
Volltext

Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation von Charalambidis, Angelos, Ésik, Zoltán, Rondogiannis, Panos

“… Extensional higher-order logic programming has been introduced as a generalization of classical logic programming …”
Volltext

Extensional Semantics for Higher-Order Logic Programs with Negation von Rondogiannis, Panos, Symeonidou, Ioanna

“… We develop an extensional semantics for higher-order logic programs with negation, generalizing the technique that was introduced in [Bezem99,Bezem01 …”
Volltext

Extensional Semantics for Higher-Order Logic Programs with Negation von Rondogiannis, Panos, Symeonidou, Ioanna

“… We develop an extensional semantics for higher-order logic programs with negation, generalizing the technique that was introduced in [Bezem99,Bezem01 …”
Volltext

Equivalence of two Fixed-Point Semantics for Definitional Higher-Order Logic Programs von Charalambidis, Angelos, Rondogiannis, Panos, Symeonidou, Ioanna

“… Two distinct research approaches have been proposed for assigning a purely extensional semantics to higher-order logic programming …”
Volltext

Equivalence of two Fixed-Point Semantics for Definitional Higher-Order Logic Programs von Charalambidis, Angelos, Rondogiannis, Panos, Symeonidou, Ioanna

“… Two distinct research approaches have been proposed for assigning a purely extensional semantics to higher-order logic programming …”
Volltext

Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs von Charalambidis, Angelos, Rondogiannis, Panos, Symeonidou, Ioanna

“… We define a novel, extensional, three-valued semantics for higher-order logic programs with negation …”
Volltext

Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs von CHARALAMBIDIS, ANGELOS, RONDOGIANNIS, PANOS, SYMEONIDOU, IOANNA

“… We define a novel, extensional, three-valued semantics for higher-order logic programs with negation …”
Volltext

The Intricacies of 3-Valued Extensional Semantics for Higher-Order Logic Programs von Rondogiannis, Panos, Symeonidou, Ioanna

“… In (Bezem 1999; Bezem 2001), M. Bezem defined an extensional semantics for positive higher-order logic programs …”
Volltext

A HIGHER-ORDER LOGIC AS THE BASIS FOR LOGIC PROGRAMMING von NADATHUR, GOPALAN

“… The objective of this thesis is to provide a formal basis for higher-order features in the paradigm of logic programming …”
Volltext

Extensional Paramodulation for Higher-Order Logic and Its Effective Implementation Leo-III von Steen, Alexander

“… Automation of classical higher-order logic faces various theoretical and practical challenges …”
Volltext

Programming languages and systems : 32nd European Symposium on Programming, ESOP 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023 : proceedings von Wies, Thomas

“… This open access book constitutes the proceedings of the 32nd European Symposium on Programming, ESOP 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint …”
Volltext

Decalf: A Directed, Effectful Cost-Aware Logical Framework von Grodin, Harrison, Niu, Yue, Sterling, Jonathan, Harper, Robert

“… We present decalf, a directed, effectful cost-aware logical framework for studying quantitative aspects of functional programs with effects. Like calf, the …”
Volltext

The Full Abstraction Problem for Higher Order Functional-Logic Programs von López-Fraguas, F J, Rodríguez-Hortalá, J

“… In this work we address the question of full abstraction for the family of modern functional logic languages, in which functions can be higher order and non-deterministic, and where the …”
Volltext

Linear dependent types in a call-by-value scenario von Dal Lago, Ugo, Petit, Barbara

“… Linear dependent types were introduced recently (Dal Lago and Gaboardi, 2012) [26] as a formal system that allows to precisely capture both the extensional behavior and the time complexity …”
Volltext

Bistable Biorders: A Sequential Domain Theory von Laird, James

“… (with atomic constants), and an extension with arithmetic and recursion. We also construct a bistable model of SPCF, a higher-order functional programming language …”
Volltext

Higher-order functional languages and intensional logic von Rondogiannis, Panagiotis

“… The purpose of this dissertation is to demonstrate that higher-order functional programs can be transformed into zero-order intensional ones in a semantics preserving way …”
Volltext