|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1503 occurrences of 750 keywords
|
|
|
Results
Found 3802 publication records. Showing 3802 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
19 | Grazyna Brzykcy |
Data Integration in a System with Agents' Models. |
KES-AMSTA |
2008 |
DBLP DOI BibTeX RDF |
Prolog-like computations, unification, schema mapping, query rewriting, P2P system, XML data |
19 | William C. Benton, Charles N. Fischer |
Interactive, scalable, declarative program analysis: from prototype to implementation. |
PPDP |
2007 |
DBLP DOI BibTeX RDF |
tabled prolog, java, logic programming, prototyping, program analysis, bytecodes |
19 | Grazyna Brzykcy, Jerzy Bartoszek |
Context in Rules Used in P2P Semantic Data Integration System. |
RR |
2007 |
DBLP DOI BibTeX RDF |
context-aware processes, Prolog-like computations, operational semantics, P2P system, situation theory |
19 | Susana Muñoz-Hernández, José Manuél Gómez-Pérez |
Solving Collaborative Fuzzy Agents Problems with CLP(FD). |
PADL |
2005 |
DBLP DOI BibTeX RDF |
Fuzzy Prolog, Constraint Programming Application, Multi-Agent Systems, Finite Domains, Collaborative Agents, Modeling Uncertainty, (Constraint) Logic Programming |
19 | Paul Tarau |
Agent oriented logic programming in Jinni 2004. |
SAC |
2005 |
DBLP DOI BibTeX RDF |
agent programming constructs, agents and logic programming, multi-threaded prolog systems, distributed AI, agent communication protocols |
19 | Hai-Feng Guo, Bharat Jayaraman, Gopal Gupta 0001, Miao Liu |
Optimization with mode-directed preferences. |
PPDP |
2005 |
DBLP DOI BibTeX RDF |
preference logic programming, tabled prolog, mode |
19 | Augustin Lux |
The Imalab method for vision systems. |
Mach. Vis. Appl. |
2004 |
DBLP DOI BibTeX RDF |
Vision library, C + +, Prolog, Lisp, Computer vision systems |
19 | Jesús Correas, José M. Gómez, Manuel Carro, Daniel Cabeza, Manuel V. Hermenegildo |
A Generic Persistence Model for (C)LP Systems (and Two Useful Implementations). |
PADL |
2004 |
DBLP DOI BibTeX RDF |
Databases, Prolog, Query Optimization, Persistency |
19 | Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan, Samuel S. P. Shen, Qiang Yang 0001 |
A dynamic approach to characterizing termination of general logic programs. |
ACM Trans. Comput. Log. |
2003 |
DBLP DOI BibTeX RDF |
dynamic characterization, Prolog, Termination analysis |
19 | Neng-Fa Zhou, Taisuke Sato |
Efficient fixpoint computation in linear tabling. |
PPDP |
2003 |
DBLP DOI BibTeX RDF |
linear tabling, prolog, recursion, tabling, optimization techniques, memoization |
19 | G. Michael McGrath |
A Process Modelling Framework: Capturing Key Aspects of Organizational Behavior. |
Australian Software Engineering Conference |
1997 |
DBLP DOI BibTeX RDF |
software process modelling framework, organisational behaviour capture, organisation management, social science literature, formal modelling approaches, evaluation environments, persistent process models, software engineering process modelling framework, behavioural aspects, highly abstracted conceptual model, systems dynamics modelling tool, human factors, Prolog, rapid prototyping, systems analysis, modelling formalisms, user views |
19 | Zdenek Kotásek, F. Zboril |
RT level testability analysis to reduce test application time. |
EUROMICRO |
1997 |
DBLP DOI BibTeX RDF |
register transfer level testability analysis, RTL element classification, RTL circuit transformation, labelled directed graph, PROLOG environment, implementation principles, logic testing, test application time reduction |
19 | Yi Tao 0001, William I. Grosky, Chunnian Liu |
An Automatic Partial Deduction System for Constraint Logic Programs. |
ICTAI |
1997 |
DBLP DOI BibTeX RDF |
partial deduction(partial evaluation), CLP(Bool), CLP(R), Prolog, constraint logic programming |
19 | Todd A. Proebsting |
Simple Translation of Goal-Directed Evaluation. |
PLDI |
1997 |
DBLP DOI BibTeX RDF |
Prolog |
19 | Peter Van Roy, Michael Mehl, Ralf Scheidhauer |
Integrating Efficient Records into Concurrent Constraint Programming. |
PLILP |
1996 |
DBLP DOI BibTeX RDF |
Concurrent Constraint, Natural-Language Processing, Logic Programming, Prolog, Implementation, Record |
19 | Nancy S. Eickelmann, Debra J. Richardson |
An Evaluation of Software Test Environment Architectures. |
ICSE |
1996 |
DBLP BibTeX RDF |
CITE, CONVEX Integrated Test Environment, PROLOG Test Environment, Version II, PROTest II, Software Architectural Analysis Method, TAOS, Testing with Analysis and Oracle Support, architecturally imposed constraints, environment functions allocation, implementation structures, processing algorithms, software test environment architectures, test development, test failure analysis, test measurement, test process automation, performance, software architecture, programming environments, program testing, software reusability, extensibility, reusability, software performance evaluation, portability, functionality, computer aided software engineering, software portability, testing tools, data representation, reference architecture, modifiability, test management, modifications, test planning, test execution, SAAM |
19 | Bruce G. Batchelor, Paul F. Whelan |
Real-time colour recognition in symbolic programming for machine vision systems. |
Mach. Vis. Appl. |
1995 |
DBLP DOI BibTeX RDF |
Teaching by showing, Real-time colour recognition, PROLOG, Systems engineering, Machine vision |
19 | Enrico Pontelli, Gopal Gupta 0001 |
On the Duality Between Or-parallelism and And-parallelism in Logic Programming. |
Euro-Par |
1995 |
DBLP DOI BibTeX RDF |
Optimizations, Prolog, Or-parallelism, And-parallelism |
19 | Zahava Scherz, Bruria Haberman |
Logic programming based curriculum for high school students: the use of abstract data types. |
SIGCSE |
1995 |
DBLP DOI BibTeX RDF |
Prolog |
19 | Shinichi Honiden, Kazuhiko Nishimura, Naoshi Uchihira, Kiyoshi Itoh |
An Application of Artificial Intelligence to Object-Oriented Performance Design for Real-Time Systems. |
IEEE Trans. Software Eng. |
1994 |
DBLP DOI BibTeX RDF |
object-oriented performance design, rapid prototyping method, OOPD, prototyping phases, prototype construction, prototype execution, artificial intelligence based methods, rapid construction mechanism, hybrid inference mechanism, declarative knowledge representation, MENDEL, Prolog based concurrent object-oriented language, prototype construction tool, real-time systems, real-time systems, artificial intelligence, object-oriented programming, knowledge representation, expert systems, expert system, software reusability, inference mechanisms, object-oriented languages, parallel languages, software prototyping, qualitative reasoning, reusable software components, prototype evaluation |
19 | William W. McMillan, Michael Zeiger, Lech Wisniewski |
A rule-based system that suggests computer adaptations for users with special needs. |
ASSETS |
1994 |
DBLP DOI BibTeX RDF |
Prolog |
19 | Henrik Arro, Jonas Barklund, Johan Bevemyr |
Parallel Bounded Quantification - Preliminary Results. |
ACM SIGPLAN Notices |
1993 |
DBLP DOI BibTeX RDF |
Prolog |
19 | Éric Villemonte de la Clergerie |
Layer Sharing: An Improved Structure-Sharing Framework. |
POPL |
1993 |
DBLP DOI BibTeX RDF |
Prolog |
19 | Louis-François Pau, T. Götzsche |
Explanation facility for neural networks. |
J. Intell. Robotic Syst. |
1992 |
DBLP DOI BibTeX RDF |
explanation facilities, input characterization grammar, Neural networks, Prolog, text generation |
19 | Tom Routen |
Reusing formalisations of legislation in a tutoring system. |
Artif. Intell. Rev. |
1992 |
DBLP DOI BibTeX RDF |
reusing knowledge, statutes, prolog, intelligent tutoring systems, legislation |
19 | Michel Billaud |
Axiomatizations of Backtracking. |
STACS |
1992 |
DBLP DOI BibTeX RDF |
foundations of logic programming, equivalence of program schemes, Prolog, backtracking, depth-first search, algebraic semantics, semantics of programming languages |
19 | Joxan Jaffar, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap |
An Abstract Machine for CLP(R). |
PLDI |
1992 |
DBLP DOI BibTeX RDF |
Prolog |
19 | David Ben-Arieh, Oded Maimon |
Multiple robot programming using a concurrent logic language. |
J. Intell. Robotic Syst. |
1991 |
DBLP DOI BibTeX RDF |
logic programming, programming languages, concurrent programming, Multi-robot system, concurrent Prolog |
19 | Gerald M. Karam, Raymond J. A. Buhr |
Temporal Logic-Based Deadlock Analysis For Ada. |
IEEE Trans. Software Eng. |
1991 |
DBLP DOI BibTeX RDF |
temporal logic-based specification language, deadlock analyzer, Timebench, concurrent system-design environment, COL, linear-time temporal logic, formal basis, axiomatic reasoning, deadlock analysis tool, reasoning power, Ada designs, systemwide deadlock-free, deadlock algorithm, finite systems, worst-case computational complexity, gas station, layered communications system, computational complexity, Ada, logic programming, temporal logic, Prolog, specification language, specification languages, inference mechanisms, system recovery, theorem prover, readers, dining philosophers, writers |
19 | Annalisa Bossi, Nicoletta Cocco, Massimo Fabris |
Proving Termination of Logic Programs by Exploiting Term Properties. |
TAPSOFT, Vol.2 |
1991 |
DBLP DOI BibTeX RDF |
Prolog programs, norm on terms, pre/post specifications, termination |
19 | David Hemmendinger |
Specifying Ada Server Tasks with Executable Formal Grammars. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
Ada server tasks specification, executable formal grammars, concurrent programming problems, synchronization constructs, Prolog programs, formal specification, parallel programming, Ada, grammars |
19 | David Hildum, Jacques Cohen |
A Language for Specifying Program Transformations. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
Prolog, program transformations, specification language, specification languages, language constructs |
19 | Philip T. Cox |
Using Object-Orientation to Implement Logic Programming. |
SIGSMALL/PC Symposium |
1990 |
DBLP DOI BibTeX RDF |
PROGRAPH, Prolog |
19 | Richard Rankin, Hal Berghel, T. Xu |
Efficient Generation of Lexically Proper Palindromes. |
SIGSMALL/PC Symposium |
1990 |
DBLP DOI BibTeX RDF |
Prolog |
19 | Ehud Gudes, Tsvi Kuflik, Amnon Meisels |
An Expert Systems Based Methodology for Solving Resource Allocation Problems. |
IEA/AIE (Vol. 1) |
1990 |
DBLP DOI BibTeX RDF |
Prolog |
19 | Evan Tick, Nobuyuki Ichiyoshi |
Programming Techniques for Efficiently Exploiting Parallelism in Logic Programming Languages. |
PPoPP |
1990 |
DBLP DOI BibTeX RDF |
Prolog |
19 | Grantham K. H. Pang |
A blackboard system for the off-line programming of Robots. |
J. Intell. Robotic Syst. |
1989 |
DBLP DOI BibTeX RDF |
PROLOG, Robot programming, blackboard systems |
19 | Raymond J. A. Buhr, Gerald M. Karam, Carol J. Hayes, C. Murray Woodside |
Software CAD: A Revolutionary Approach. |
IEEE Trans. Software Eng. |
1989 |
DBLP DOI BibTeX RDF |
software CAD environment, Carleton embedded system design environment, CAEDE, visual paradigm, semantic depth, syntactic shallowness, skeleton Ada code, software engineering, embedded systems, performance analysis, Ada, Ada, CAD, software tools, Prolog, programming environments, automatic programming, automatic programming, abstract machines, temporal analysis, research project, tool development |
19 | Celal Batur, Vicken Kasparian |
Application of a self tuner using fuzzy control technique. |
IEA/AIE (1) |
1989 |
DBLP DOI BibTeX RDF |
Prolog |
19 | Claude Jard, Jean-François Monin, Roland Groz |
Development of Véda, a Prototyping Tool for Distributed Algorithms. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
Veda, International Organisation for Standardization, simulator, protocols, distributed algorithms, distributed processing, software tool, software tools, Prolog, ISO, Estelle, prototyping tool |
19 | Shun-En Xie, Thomas W. Calvert |
CSG-EESI: A New Solid Representation Scheme and a Conversion Expert System. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1988 |
DBLP DOI BibTeX RDF |
3D solid object representation, enhanced spherical image representation, pictorial models, C-PROLOG, VAX 11/750, CSG-EESI, computer vision, computer vision, expert system, expert systems, computerised pattern recognition, trees (mathematics), relational models, constructive solid geometry, geometric information |
19 | Jeffrey D. Ullman, Allen Van Gelder |
Efficient tests for top-down termination of logical rules. |
J. ACM |
1988 |
DBLP DOI BibTeX RDF |
Prolog |
19 | Goh Wee Leng |
An Expert Autonomous Vacuum Cleaner Robot. |
IEA/AIE (Vol. 1) |
1988 |
DBLP DOI BibTeX RDF |
Intel 8086, Prolog |
19 | Kit Po Wong, Chi Ping Tsang, Wan Yee Chan |
Sherlock - a System for Diagnosing Power Distribution Ring Network Faults. |
IEA/AIE (Vol. 1) |
1988 |
DBLP DOI BibTeX RDF |
Prolog, Smalltalk |
19 | Keith L. Clark, Steve Gregory |
Parlog: Parallel Programming in Logic. |
ACM Trans. Program. Lang. Syst. |
1986 |
DBLP DOI BibTeX RDF |
Prolog, PARLOG |
19 | José Carlos Ferreira Maia Neves |
A logic interpreter to handle time and negation in logic data bases. |
ACM Annual Conference |
1984 |
DBLP DOI BibTeX RDF |
Logic data base, Open world, Prolog, Query-by-example, Time stamping, Assumption, Negative information |
19 | Hasan Ural, Robert L. Probert |
Automated testing of protocol specifications and their implementations. |
Comput. Commun. Rev. |
1984 |
DBLP DOI BibTeX RDF |
Prolog |
19 | Verónica Dahl |
On Database Systems Development Through Logic. |
ACM Trans. Database Syst. |
1982 |
DBLP DOI BibTeX RDF |
rational database, Prolog |
18 | Pierpaolo Di Bitonto, Teresa Roselli, Veronica Rossano |
Formative evaluation of a didactic software for acquiring problem solving abilities using Prolog. |
IDC |
2009 |
DBLP DOI BibTeX RDF |
didactic software, user centred design, formative evaluation |
18 | Mohammed Fellahi, Albert Cohen 0001 |
Software Pipelining in Nested Loops with Prolog-Epilog Merging. |
HiPEAC |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Luc De Raedt, Kristian Kersting, Angelika Kimmig, Kate Revoredo, Hannu Toivonen |
Compressing probabilistic Prolog programs. |
Mach. Learn. |
2008 |
DBLP DOI BibTeX RDF |
Network mining, Compression, Inductive logic programming, Statistical relational learning, Probabilistic logic, Theory revision, Biological applications |
18 | Wang Yu-gang, Ge Yin-mao, Yang Jian-xin |
Research on Packet Filter Rules of the Firewall Based on Visual Prolog. |
CSSE (1) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Lingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai |
A Novel Test Case Generation Method for Prolog Programs Based on Call Patterns Semantics. |
APLAS |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Chitta Baral, Juraj Dzifcak, Luis Tari |
Towards Overcoming the Knowledge Acquisition Bottleneck in Answer Set Prolog Applications: Embracing Natural Language Inputs. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Ricardo Rocha 0001, Cláudio Silva 0001, Ricardo Lopes |
On Applying Program Transformation to Implement Suspension-Based Tabling in Prolog. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Diptikalyan Saha, C. R. Ramakrishnan 0001 |
Incremental Evaluation of Tabled Prolog: Beyond Pure Logic Programs. |
PADL |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Gergely Lukácsy |
Description Logic Reasoning in Prolog. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Andy King, Lunjin Lu, Samir Genaim |
Detecting Determinacy in Prolog Programs. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Benjamin Devèze, Caroline Chopinaud, Patrick Taillibert |
ALBA: A Generic Library for Programming Mobile Agents with Prolog. |
PROMAS |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Luc De Raedt, Kristian Kersting, Angelika Kimmig, Kate Revoredo, Hannu Toivonen |
Revising Probabilistic Prolog Programs. |
ILP |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Victor Dubinin, Valeriy Vyatkin, Hans-Michael Hanisch |
Modelling and Verification of IEC 61499 Applications using Prolog. |
ETFA |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Oskar Bartenstein |
ubiCMS - A Prolog Based Content Management System. |
INAP |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Hiroshi Sakai |
On a Rough Sets Based Data Mining Tool in Prolog: An Overview. |
INAP |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Ricardo Rocha 0001, Ricardo Lopes, Fernando M. A. Silva, Vítor Santos Costa |
IMPACT: Innovative Models for Prolog with Advanced Control and Tabling. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Claudia Zepeda, Mauricio Osorio 0001, David Sol |
Modeling Evacuation Planning Using A-Prolog. |
CONIELECOMP |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Vinay D. Shet, David Harwood, Larry S. Davis |
VidMAP: video monitoring of activity with Prolog. |
AVSS |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Kenneth A. Hawick, Heath A. James, C. J. Scogings |
A Virtual Prolog Approach to Implementing Beliefs, Desires and Intentions in Animat Agents. |
Australian Conference on Artificial Intelligence |
2005 |
DBLP DOI BibTeX RDF |
Animat agents, desires and intentions, physical navigation and reasoning, beliefs |
18 | Stephen-John Craig, Michael Leuschel |
LIX: an Effective Self-applicable Partial Evaluator for Prolog. |
FLOPS |
2004 |
DBLP DOI BibTeX RDF |
Logic Programming, Partial Evaluation, Tupling, Deforestation, Partial Deduction, Self-application |
18 | Germán Puebla, Elvira Albert, Manuel V. Hermenegildo |
Efficient Local Unfolding with Ancestor Stacks for Full Prolog. |
LOPSTR |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Ricardo Rocha 0001, Fernando M. A. Silva, Rolando Martins |
YapDss: An Or-Parallel Prolog System for Scalable Beowulf Clusters. |
EPIA |
2003 |
DBLP DOI BibTeX RDF |
Stack Splitting, Or-Parallelism, Parallel Logic Programming |
18 | Bernd Fischer 0002, Eelco Visser |
Adding Concrete Syntax to a Prolog-Based Program Synthesis System (Extended Abstract). |
LOPSTR |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Andrés Cordón-Franco, Miguel A. Gutiérrez-Naranjo, Mario J. Pérez-Jiménez, Agustin Riscos-Núñez, Fernando Sancho-Caparrini |
Implementing in Prolog an Effective Cellular Solution to the Knapsack Problem. |
Workshop on Membrane Computing |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Ruben Vandeginste, Konstantinos Sagonas, Bart Demoen |
Segment Order Preserving and Generational Garbage Collection for Prolog. |
PADL |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Petr Olmer, Petr Stepánek |
Schema-Based Transformations of Logic Programs in lambda-Prolog. |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Mauricio Osorio 0001, Juan Antonio Navarro Pérez, José Arrazola |
Debugging in A-Prolog: A Logical Approach. |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Frederick Maier, Donald Nute, Walter D. Potter, Jin Wang, Mark J. Twery, H. Michael Rauscher, Peter Knopp, Scott Thomasma, Mayukh Dass, Hajime Uchiyama |
PROLOG/RDBMS Integration in the NED Intelligent Information System. |
OTM |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Monica L. Nogueira, Marcello Balduccini, Michael Gelfond, Richard Watson 0003, Matthew Barry |
An A-Prolog Decision Support System for the Space Shuttle. |
PADL |
2001 |
DBLP DOI BibTeX RDF |
logic programming, planning, answer set programming |
18 | Bruno Blanchet |
An Efficient Cryptographic Protocol Verifier Based on Prolog Rules. |
CSFW |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Karen Villaverde, Enrico Pontelli, Hai-Feng Guo, Gopal Gupta 0001 |
PALS: An Or-Parallel Implementation of Prolog on Beowulf Architectures. |
ICLP |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Giorgio Delzanno |
Specifying and Debugging Security Protocols via Hereditary Harrop Formulas and \lambda Prolog - A Case-study. |
FLOPS |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Bruno Blanchet |
Abstracting Cryptographic Protocols by Prolog Rules. |
SAS |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Xining Li |
IMAGO: A Prolog-Based System for Intelligent Mobile Agents. |
MATA |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Donald Nute |
Defeasible Logic. |
INAP (LNCS Volume) |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Paulo Quaresma, Irene Pimenta Rodrigues |
PGR: Portuguese Attorney General's Office Decisions on the Web. |
INAP (LNCS Volume) |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Kathrin Böttger, Rolf Schwitter, Diego Mollá Aliod, Debbie Richards 0001 |
Towards Reconciling Use Cases via Controlled Language and Graphical Models. |
INAP (LNCS Volume) |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Paul Tarau |
Fluents: A Refactoring of Prolog for Uniform Reflection an Interoperation with External Objects. |
Computational Logic |
2000 |
DBLP DOI BibTeX RDF |
logic programming language design and implementation, interoperation of declarative and stateful languages, meta- programming and reflection |
18 | Nikolay Pelov, Maurice Bruynooghe |
Proving Failure of Queries for Definite Logic Programs Using XSB-Prolog. |
LPAR |
1999 |
DBLP DOI BibTeX RDF |
|
18 | John Hannan |
Program Analysis in Lambda-Prolog. |
PLILP/ALP |
1998 |
DBLP DOI BibTeX RDF |
|
18 | Julian Richardson, Norbert E. Fuchs |
Development of Correct Transformation Schemata for Prolog Programs. |
LOPSTR |
1997 |
DBLP DOI BibTeX RDF |
|
18 | Geoffrey Weyer, William H. Winsborough |
Annotated Structure Shape Graphs for Abstract Analysis of Prolog. |
PLILP |
1996 |
DBLP DOI BibTeX RDF |
Abstract Analysis, Structure Shape Graph, Unify Set, Compile-Time Garbage Collection, Update-In-Place, Structure Sharing, Sharing, Liveness, Aliasing, Type Graph |
18 | Bijan Arbab, Daniel M. Berry |
Some Comments on "A Denotational Semantics for Prolog". |
ACM Trans. Program. Lang. Syst. |
1994 |
DBLP DOI BibTeX RDF |
logic programming, operational semantics, denotational semantics |
18 | José Paulo Leal |
A System to Visualize and Interact with Prolog Programs. |
PLILP |
1994 |
DBLP DOI BibTeX RDF |
|
18 | Christine Solnon, Michel Rueher |
Extracting Inheritance Hierarchies from Prolog Programs: A System Based on the Inference of Type Relations. |
LPAR |
1993 |
DBLP DOI BibTeX RDF |
|
18 | Krzysztof R. Apt, Sandro Etalle |
On the Unification Free Prolog Programs. |
MFCS |
1993 |
DBLP DOI BibTeX RDF |
|
18 | Hans Nilsson |
The External Database in SICStus Prolog. |
LPAR |
1992 |
DBLP DOI BibTeX RDF |
|
18 | Vincenzo Loia, Giuseppe Cattaneo, Michel Quaggetto |
Incremental, High Level Implementation of Prolog in an Open System Framework. |
SEKE |
1992 |
DBLP DOI BibTeX RDF |
|
18 | H. Bourzoufi, Gilles Goncalves, Bernard Toursel |
A Time-Bounded Binding Access with Low Task-Switching Cost in an OR-Parallel Prolog. |
CONPAR |
1992 |
DBLP DOI BibTeX RDF |
|
18 | Keehang Kwon, Gopalan Nadathur, Debra Sue Wilson |
Implementing a Notion of Modules in the Logic Programming Language Lambda-Prolog. |
ELP |
1992 |
DBLP DOI BibTeX RDF |
|
18 | Egon Börger, Bart Demoen |
A Framework to Specify Database Update Views for Prolog. |
PLILP |
1991 |
DBLP DOI BibTeX RDF |
|
18 | Pierre De Boeck, Baudouin Le Charlier |
Static Type Analysis of Prolog Procedures for Ensuring Correctness. |
PLILP |
1990 |
DBLP DOI BibTeX RDF |
|
Displaying result #601 - #700 of 3802 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ 16][ >>] |
|