Search results for "BinProlog"

Found 11 publication records. Showing 11 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
85	Paul Tarau	BinProlog: a Continuation Passing Style Prolog Engine.	PLILP	1992	DBLP DOI BibTeX RDF
84	Paul Tarau, Verónica Dahl, Koenraad De Bosschere	A Logic Programming Infrastructure for Remote Execution, Mobile Code and Agents.	WETICE	1997	DBLP DOI BibTeX RDF	BinProlog, intuitionistic implication, strong metaprogramming, high-order call/N, filtering interactors, security, agents, logic programming, logic programming, mobile code, remote execution
72	Paul Tarau, Ulrich Neumerkel	A Novel Term Compression Scheme and Data Representation in the BinWAM.	PLILP	1994	DBLP DOI BibTeX RDF	implementation of Prolog, term representation, last argument overlapping, continuation passing style, WAM
48	Anima Gupta, Paul Tarau	Logic Programming Techniques for Dynamic VRML Web Content Generation.	PADL	2001	DBLP DOI BibTeX RDF	Internet Programming with Prolog, Dynamic VRML content, Logic Programming Tools, Prolog based Client-Server Programming, Prolog Networking, Definite Clause Grammars, Web Architectures
37	Paul Tarau	The BinProlog experience: Architecture and implementation choices for continuation passing Prolog and first-class logic engines.	Theory Pract. Log. Program.	2012	DBLP DOI BibTeX RDF
37	Paul Tarau	The BinProlog Experience: Architecture and Implementation Choices for Continuation Passing Prolog and First-Class Logic Engines	CoRR	2011	DBLP BibTeX RDF
37	Koenraad De Bosschere, Paul Tarau	Blackboard-based Extensions for Parallel Programming in BinProlog.	ILPS	1993	DBLP BibTeX RDF
37	Paul Tarau	Language Issues and Programming Techniques in BinProlog.	GULP	1993	DBLP BibTeX RDF
24	Vítor Santos Costa	The Life of a Logic Programming System.	ICLP	2008	DBLP DOI BibTeX RDF
24	Paul Tarau, Verónica Dahl	Towards a Logic Programming Infrastructure for Internet Programming.	Artificial Intelligence Today	1999	DBLP DOI BibTeX RDF	Logic Programming and Internet technologies, first order continuations, Linda coordination, blackboard based logic programming, mobile computations, mobile code, metaprogramming, remote execution, controlled natural language, intelligent mobile agents
24	Paul Tarau	Towards Inference and Computation Mobility: The Jinni Experiment.	JELIA	1998	DBLP DOI BibTeX RDF

Displaying result #1 - #11 of 11 (100 per page; Change: )