Search results for "PARLOG"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
136	Andrew Cheese	Multi-Moded Relations in Parlog.	ACM SIGPLAN Notices	1987	DBLP DOI BibTeX RDF	PARLOG, PARLOG
129	Matthew M. Huntbach	Implementing a graph-colouring algorithm in Parlog.	ACM SIGPLAN Notices	1989	DBLP DOI BibTeX RDF	PARLOG
123	George A. Papadopoulos	A Fine Grain Parallel Implementation of PARLOG.	TAPSOFT, Vol.2	1989	DBLP DOI BibTeX RDF
117	Keith L. Clark	PARLOG and Its Applications.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	parallel logic programming language, parallel programming, object-oriented programming, object-oriented programming, logic programming, Prolog, PROLOG, high level languages, systems programming, PARLOG, PARLOG
110	Keith L. Clark, Steve Gregory	Parlog: Parallel Programming in Logic.	ACM Trans. Program. Lang. Syst.	1986	DBLP DOI BibTeX RDF	Prolog, PARLOG
96	Keith L. Clark, Ian T. Foster	A Declarative Environment for Concurrent Logic Programming.	TAPSOFT, Vol.2	1987	DBLP DOI BibTeX RDF
84	Egon Börger, Elvinia Riccobene	Logical Operational Semantics of Parlog. Part II: Or-Parallelism.	RCLP	1991	DBLP DOI BibTeX RDF
84	Andrew Davison 0001	From Parlog to Polka in two easy Steps.	PLILP	1991	DBLP DOI BibTeX RDF
84	Keith L. Clark	PARLOG: The Language and Its Applications.	PARLE (2)	1987	DBLP DOI BibTeX RDF
72	Tom Conlon	Thinking in parallel: four steps to Parlog.	Artif. Intell. Rev.	1992	DBLP DOI BibTeX RDF	Logic programming, concurrent programming, Parlog
65	Hamish Taylor	A Lingua Franca For Concurrent Logic Programming.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	concurrent logic programming languages, nonflat guards, GHC, clean semantics, control facilities, lingua franca, execution conditions, parallel programming, logic programming, parallel languages, language translation, Parlog
58	Man-lai Tse, Wing-hang Wong, Ho-fung Leung	Programming with Communicating Nondeterministic Logic Objects.	ISPAN	1996	DBLP DOI BibTeX RDF
53	Douglas Renaux, Paul P. Dasiewicz	RTX-Parlog: Real-Time Extended Parlog.	RTS	1993	DBLP DOI BibTeX RDF
47	Rémi Bougault, Bernard Borderie, Abdelouahad Chbihi, Quentin Fable, John David Frankland, Emmanuelle Galichet, Tom Genard, Diégo Gruyer, Maxime Henri, Marco La Commara, Nicolas Le Neindre, Ivano Lombardo, Olivier Lopez, Marian Pârlog, Piotr Pawlowski, Giuseppe Verde, Emmanuel Vient, Mariano Vigilante	Light Cluster Production in Central Symmetric Heavy-Ion Reactions from Fermi to Gev Energies.	Symmetry	2021	DBLP DOI BibTeX RDF
47	Ion Ivan, Otilia Parlog, Petrisor Oprea, Gheroghe Nosca, Anca-Andreea Ivan	Data Metrics.	IQ	1998	DBLP BibTeX RDF
26	Nate Black	Nicolai Parlog on Java 9 Modules.	IEEE Softw.	2018	DBLP DOI BibTeX RDF
26	Man-lai Tse, Wing-hang Wong, Ho-fung Leung	P&P: A Combined Parlog and Prolog Concurrent Object-Oriented Logic Programming Language.	ILPS	1995	DBLP BibTeX RDF
26	Domenico Talia	A Survey of Parlog and Concurrent Prolog: The Integration of Logic and Parallelism.	Comput. Lang.	1993	DBLP DOI BibTeX RDF
26	Manuel Díaz, José M. Troya	A parlog based real-time distributed logic environment.	Future Gener. Comput. Syst.	1993	DBLP DOI BibTeX RDF
26	Steve Gregory	Experiments with Speculative Parallelism in Parlog.	ILPS	1993	DBLP BibTeX RDF
26	María-del-Mar Gallardo, José M. Troya	Parlog Programs Nontermination Analysis.	GULP	1993	DBLP BibTeX RDF
26	Jim A. Crammond	The Abstract Machine and Implementation of Parallel Parlog.	New Gener. Comput.	1992	DBLP DOI BibTeX RDF
26	Andrew Cheese	Parallel Execution of Parlog		1992	DOI RDF
26	Matthew M. Huntbach	Parallel branch-and-bound search in Parlog.	Int. J. Parallel Program.	1991	DBLP DOI BibTeX RDF
26	Henri E. Bal	Heuristic search in PARLOG using replicated worker style parallelism.	Future Gener. Comput. Syst.	1991	DBLP DOI BibTeX RDF
26	Egon Börger, Elvinia Riccobene	Logical Operational Semantics of Parlog, Part I: And-Parallelism.	PDK	1991	DBLP DOI BibTeX RDF
26	Domenico Talia	Survey and Comparison of PARLOG and Concurrent Prolog.	ACM SIGPLAN Notices	1990	DBLP DOI BibTeX RDF
26	Jim A. Crammond	Scheduling and Variable Assignment in the Parallel PARLOG Implementation.	NACLP	1990	DBLP BibTeX RDF
26	Robert J. Kuhns	A PARLOG Implementation of Government-Binding Theory.	COLING	1990	DBLP BibTeX RDF
26	Zhenzhong Li, Dingxing Wang	A high level compiling implementation of PARLOG based on extended graph rewriting.	TAI	1990	DBLP DOI BibTeX RDF
26	Andrew Cheese	Parallel execution of Parlog.		1990	RDF
26	Robert B. Scott, Rajiv Trehan	Translating from PARLOG to Occam2: A Methodology.	Concurr. Pract. Exp.	1989	DBLP DOI BibTeX RDF
26	Steve Gregory, Ian T. Foster, Alastair D. Burt, Graem A. Ringwood	An Abstract Machine for the Implementation of PARLOG on Uniprocessors.	New Gener. Comput.	1989	DBLP DOI BibTeX RDF
26	Matthew M. Huntbach	Meta-interpreters and Partial Evaluation in Parlog.	Formal Aspects Comput.	1989	DBLP DOI BibTeX RDF
26	Tom Conlon	Programming in PARLOG.		1989	RDF
26	Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten	Semantic Models for a Version of PARLOG. (long version: TCS 86(1): 3-33 (1991))	ICLP	1989	DBLP BibTeX RDF
26	Andrew Davison 0001	Polka: a parlog object oriented language.		1989	RDF
26	Kevin Steer	Testing Data Flow Diagrams with PARLOG.	ICLP/SLP	1988	DBLP BibTeX RDF
26	G. Richard, Antoine Rizk	Sémantique de Parlog, un langage logique parallèle.	SPLT	1988	DBLP BibTeX RDF
26	David R. Gilbert	A LOTOS to PARLOG Translator.	FORTE	1988	DBLP BibTeX RDF
26	David R. Gilbert	Specification and Implementation of Concurrent Systems using PARLOG.	Specification and Verification of Concurrent Systems	1988	DBLP BibTeX RDF
26	Ian T. Foster	Parallel Implementation of Parlog.	ICPP (2)	1988	DBLP BibTeX RDF
26	Ian T. Foster	Parlog as a systems programming language.		1988	RDF
26	Ian T. Foster, Stephen Taylor	Flat Parlog: A basis for comparison.	Int. J. Parallel Program.	1987	DBLP DOI BibTeX RDF
26	Steve Gregory	Parallel logic programming in PARLOG - the language and its implementation.		1987	RDF
26	Matthew M. Huntbach	Algorithmic PARLOG Debugging.	SLP	1987	DBLP BibTeX RDF
26	Melissa Lam, Steve Gregory	PARLOG and ALICE : A Marriage of Convenience.	ICLP	1987	DBLP BibTeX RDF
26	Keith L. Clark, Steve Gregory	PARLOG and PROLOG United.	ICLP	1987	DBLP BibTeX RDF
26	David R. Gilbert	Executable LOTOS: Using PARLOG to Implement an FDT.	PSTV	1987	DBLP BibTeX RDF
26	Ian T. Foster, Steve Gregory, Graem A. Ringwood, Ken Satoh	A Sequential Implementation of Parlog.	ICLP	1986	DBLP DOI BibTeX RDF
26	Keith L. Clark, Steve Gregory	Notes on the Implementation of Parlog.	J. Log. Program.	1985	DBLP DOI BibTeX RDF
26	Krysia Broda, Steve Gregory	Parlog for Discrete Event Simulation.	ICLP	1984	DBLP BibTeX RDF
26	Keith L. Clark, Steve Gregory	Notes on System Programming in Parlog.	FGCS	1984	DBLP BibTeX RDF
19	Catuscia Palamidessi	Concurrent Constraint Programming.	PLILP	1994	DBLP DOI BibTeX RDF
19	Enrique Alba 0001, José Francisco Aldana Montes, José M. Troya	Full Automatic ANN Design: A Genetic Approach.	IWANN	1993	DBLP DOI BibTeX RDF
19	Chris Fickert, Thomas A. Sudkamp	Unification based FP interpreters.	ACM SIGPLAN Notices	1992	DBLP DOI BibTeX RDF	FP
19	Seif Haridi, Catuscia Palamidessi	Structural Operational Semantics for Kernel Andorra Prolog.	PARLE (2)	1991	DBLP DOI BibTeX RDF
19	Mukhtar Hussain, Jatinder Singh Bedi	Parallel processing in knowledge-based diagnostic systems.	J. Intell. Robotic Syst.	1990	DBLP DOI BibTeX RDF	Parallel processing, database, artificial intelligence, knowledge engineering, production systems
19	Henri E. Bal	Languages for Parallel Programming.	PRISMA Workshop	1990	DBLP DOI BibTeX RDF
19	Akikazu Takeuchi, Kazuko Takahashi	An Operational Semantics of ANDOR-II, A Parallel Logic Programming Language with AND- and OR- Parallelism.	Concurrency: Theory, Language, And Architecture	1989	DBLP DOI BibTeX RDF
19	Kam-Fai Wong, M. Howard Williams	Limiting a Resolution Set in a Large Prolog Database Using Special Hardware.	SIGSMALL/PC	1988	DBLP DOI BibTeX RDF	Prolog
19	Koichi Furukawa, Kazunori Ueda	GHC - A Language for a New Age of Parallel Programming.	FSTTCS	1988	DBLP DOI BibTeX RDF
19	Raghu Ramakrishnan 0001, Abraham Silberschatz	Annotations for Distributed Programming in Logic.	POPL	1986	DBLP DOI BibTeX RDF
19	Vijay A. Saraswat	Partial correctness semantics for CP [ , \| , &].	FSTTCS	1985	DBLP DOI BibTeX RDF