Proceedings of the Joint International Fifth Conference and Symposium on Logic Programming, 2 Volumes
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Robert A. Kowalski, Kenneth A. Bowen
Proceedings of the Joint International Fifth Conference and Symposium on Logic Programming, 2 Volumes
ICLP/SPL, 1988.

TEST
DBLP
Scholar
Full names Links ISxN
@proceedings{JICSLP-1988,
	address       = "Seattle, Washington, USA",
	editor        = "Robert A. Kowalski and Kenneth A. Bowen",
	isbn          = "0-262-61056-6",
	publisher     = "{MIT Press}",
	title         = "{Proceedings of the Joint International Fifth Conference and Symposium on Logic Programming, 2 Volumes}",
	year          = 1988,
}

Contents (104 items)

JICSCP-1988-BoscoCM88 #functional #logic #power of #programming
Exploiting the Full Power of Logic Plus Functional Programming (PGB, CC, CM), pp. 3–17.
JICSCP-1988-McCroskyK88 #array #prolog #using
Improving First-Class Array Expressions Using Prolog (CM, AJK), pp. 18–25.
JICSCP-1988-Shintani88 #performance #prolog
A Fast Prolog-Based Production System KORE/IE (TS), pp. 26–41.
JICSCP-1988-DincbasSH88 #constraints #logic programming #problem
Solving a Cutting-Stock Problem in Constraint Logic Programming (MD, HS, PVH), pp. 42–58.
JICSCP-1988-HuynhL88 #analysis
A CLP(R) Options Trading Analysis System (TH, CL), pp. 59–69.
JICSCP-1988-Reintjes88 #design #prolog
A VLSI Design Environment in PROLOG (PBR), pp. 70–81.
JICSCP-1988-Docker88 #analysis #implementation #named #prolog
SAME — A Structured Analysis Tool and its Implementation in Prolog (TWGD), pp. 82–95.
JICSCP-1988-Steer88 #data flow #diagrams #testing
Testing Data Flow Diagrams with PARLOG (KS), pp. 96–110.
JICSCP-1988-Chan88 #database
Constructive Negation Based on the Completed Database (DC), pp. 111–125.
JICSCP-1988-FooRTW88 #deduction
Deduced Relevant Types and Constructive Negation (NYF, ASR, AT, AW), pp. 126–139.
JICSCP-1988-Ramakrishnan88 #approach #logic programming #source code
Magic Templates: A Spellbinding Approach to Logic Programs (RR), pp. 140–159.
JICSCP-1988-AttilaF88 #attribute grammar #execution #semantics #source code
Unification-Free Execution of TYPOL Programs by Semantic Attribute Evaluation (IA, PFZ), pp. 160–177.
JICSCP-1988-KempT88 #database #evaluation #query #top-down
Completeness of a Top-Down Query Evaluation Procedure for Stratified Databases (DBK, RWT), pp. 178–194.
JICSCP-1988-SekiI88 #evaluation #query #source code
A Query Evaluation Method for Stratified Programs Under the Extended CWA (HS, HI), pp. 195–211.
JICSCP-1988-TrehanW88 #commit #logic #nondeterminism #parallel #parsing
A Parallel Chart Parser for the Committed Choice Non-Deterministic Logic Languages (RT, PFW), pp. 212–232.
JICSCP-1988-Abramson88 #approach #aspect-oriented #definite clause grammar #metaprogramming
Metarules and an Approach to Conjunction in Definite Clause Translation Grammars: Some Aspects of Grammatical Metaprogramming (HA), pp. 233–248.
JICSCP-1988-Dahl88 #logic programming #representation
Representing Linguistic Knowledge through Logic Programming (VD), pp. 249–262.
JICSCP-1988-HirschmanHS88 #case study #natural language
OR-Parallel Speed-Up in Natural Language Processing: A Case Study (LH, WCH, RCS), pp. 263–279.
JICSCP-1988-GallierI88 #equation #logic #order
Rewriting in Order-sorted Equational Logic (JHG, TI), pp. 280–294.
JICSCP-1988-Zachary88 #approach #equation #logic programming
A Pragmatic Approach to Equational Logic Programming (JLZ), pp. 295–310.
JICSCP-1988-BonnierM88 #logic programming #source code #towards
Towards a Clean Amalgamation of Logic Programs with External Procedures (SB, JM), pp. 311–326.
JICSCP-1988-Holldobler88
From Paramodulation to Narrowing (SH), pp. 327–342.
JICSCP-1988-BruffaertsH88 #prolog #proving
Proof Trees for Negation as Failure: Yet Another Prolog Meta-Interpreter (AB, EH), pp. 343–358.
JICSCP-1988-CosciaFLST88 #compilation #logic programming
Meta-Level Definition and Compilation of Inference Engines in the Epsilon Logic Programming Environment (PC, PF, GL, GS, LT), pp. 359–373.
JICSCP-1988-KwokS88 #logic programming #source code
Implicit Definition of Logic Programs (CSK, MJS), pp. 374–385.
JICSCP-1988-SterlingL88 #prolog
Composing Prolog Meta-Interpreters (LS, AL), pp. 386–403.
JICSCP-1988-ChenW88
Objects as Intensions (WC, DSW), pp. 404–419.
JICSCP-1988-Conery88 #logic
Logical Objects (JSC), pp. 420–434.
JICSCP-1988-BarklundHW88 #graph
Condition Graphs (JB, NH, MW), pp. 435–446.
JICSCP-1988-CodognetCF88 #backtracking
Yet Another Intelligent Backtracking Method (CC, PC, GF), pp. 447–465.
JICSCP-1988-KondohC88 #metaprogramming #prolog
Macro Processing in Prolog (SiK, TC), pp. 466–480.
JICSCP-1988-PereiraC88 #debugging #framework #prolog
A Framework for Prolog Debugging (LMP, MC), pp. 481–495.
JICSCP-1988-Plummer88 #debugging #named #prolog
Coda: An Extended Debugger for PROLOG (DP), pp. 496–511.
JICSCP-1988-LichtensteinS88 #algorithm #debugging
Abstract Algorithmic Debugging (YL, EYS), pp. 512–531.
JICSCP-1988-BrayshawE88 #abstraction #prolog
Adding Data and Procedure Abstraction to the Transparent Prolog Machine TPM (MB, ME), pp. 532–547.
JICSCP-1988-GorlickK88 #analysis #logic programming #named #performance #source code
Gauge: A Workbench for the Performance Analysis of Logic Programs (MMG, CK), pp. 548–561.
JICSCP-1988-Eshghi88 #abduction #calculus
Abductive Planning with Event Calculus (KE), pp. 562–579.
JICSCP-1988-Voda88
Types of Trilogy (PJV), pp. 580–589.
JICSCP-1988-Emden88 #polymorphism #type inference
Conditional Answers for Polymorphic Type Inference (MHvE), pp. 590–603.
JICSCP-1988-XuW88 #prolog #type inference
A Type Inference System for Prolog (JX, DSW), pp. 604–619.
JICSCP-1988-ParkerM88 #formal method #logic programming #source code
A Theory of Directed Logic Programs and Streams (DSPJ, RRM), pp. 620–650.
JICSCP-1988-Port88 #approach #using
A Simple Approach to Finding the Cause of Non-Unifiability (GSP), pp. 651–665.
JICSCP-1988-BruynoogheJ88 #abstract interpretation
An Instance of Abstract Interpretation Integrating Type and Mode Inferencing (MB, GJ), pp. 669–683.
JICSCP-1988-WarrenHD88 #analysis #logic programming #on the #source code
On the Practicality of Global Flow Analysis of Logic Programs (RW, MVH, SKD), pp. 684–699.
JICSCP-1988-Waern88 #abstract interpretation #implementation #prolog
An Implementation Technique for the Abstract Interpretation of Prolog (AW), pp. 700–710.
JICSCP-1988-Debray88 #logic programming #parallel #source code #static analysis
Static Analysis of Parallel Logic Programs (SKD), pp. 711–732.
JICSCP-1988-MarriottS88 #abstract interpretation #bottom-up #logic programming #source code
Bottom-up Abstract Interpretation of Logic Programs (KM, HS), pp. 733–748.
JICSCP-1988-WinsboroughW88
Transparent And-Parallelism in the Presence of Shared Free Variables (WHW, AW), pp. 749–764.
JICSCP-1988-AptB88 #classification #modelling #source code
Arithmetic Classification of Perfect Models of Stratified Programs (KRA, HAB), pp. 765–779.
JICSCP-1988-Kaplan88 #algorithm #complexity #logic programming #source code
Algorithmic Complexity of Logic Programs (SK), pp. 780–793.
JICSCP-1988-SmithL88 #interpreter #prolog
A Simple Near-Horn Prolog Interpreter (BTS, DWL), pp. 794–809.
JICSCP-1988-NadathurM88 #overview #prolog
An Overview of λ-PROLOG (GN, DM), pp. 810–827.
JICSCP-1988-LoboMR88 #source code
Weak Completion Theory for Non-Horn Programs (JL, JM, AR), pp. 828–842.
JICSCP-1988-JayaramanN88 #implementation #logic programming
Subset-Logic Programming: Application and Implementation (BJ, AN), pp. 843–858.
JICSCP-1988-Abdallah88 #heuristic #logic #process
Heuristic Logic and the Process of Discovery (MANA), pp. 859–875.
JICSCP-1988-ElkanM88 #automation #induction #logic programming #reasoning #source code
Automated Inductive Reasoning about Logic Programs (CE, DAM), pp. 876–892.
JICSCP-1988-Fribourg88 #induction #prolog #source code
Equivalence-Preserving Transformations of Inductive Properties of Prolog Programs (LF), pp. 893–908.
JICSCP-1988-MarriottNL88 #logic programming #source code
Most Specific Logic Programs (KM, LN, JLL), pp. 909–923.
JICSCP-1988-FujitaOF88 #constraints #haskell #partial evaluation #source code
Partial Evaluation of GHC Programs Based on the UR-set with Constraints (HF, AO, KF), pp. 924–941.
JICSCP-1988-HannanM88 #higher-order #implementation #unification
Uses of Higher-Order Unification for Implementing Program Transformers (JH, DM), pp. 942–959.
JICSCP-1988-BatarekhS88 #logic programming #semantics #source code
Semantical Equivalences of (Non-Classical) Logic Programs (AB, VSS), pp. 960–977.
JICSCP-1988-Kunen88 #database
Some Remarks on the Completed Database (KK), pp. 978–992.
JICSCP-1988-FalaschiLMP88 #declarative #logic #semantics
A New Declarative Semantics for Logic Languages (MF, GL, MM, CP), pp. 993–1005.
JICSCP-1988-MancarellaP88 #algebra #logic programming #source code
An Algebra of Logic Programs (PM, DP), pp. 1006–1023.
JICSCP-1988-RaatzG88 #logic programming #relational #semantics
A Relational Semantics for Logic Programming (SR, JHG), pp. 1024–1035.
JICSCP-1988-Subrahmanian88 #semantics #set
Intuitive Semantics for Quantitative Rule Sets (VSS), pp. 1036–1053.
JICSCP-1988-FittingB88 #logic programming #semantics
Stratified and Three-valued Logic Programming Semantics (MF, MBJ), pp. 1054–1069.
JICSCP-1988-GelfondL88 #logic programming #semantics
The Stable Model Semantics for Logic Programming (MG, VL), pp. 1070–1080.
JICSCP-1988-Przymusinski88 #semantics
Perfect Model Semantics (TCP), pp. 1081–1096.
JICSCP-1988-Moinard88
Pointwise Circumscription is Equivalent to Predicate Completion (Sometimes) (YM), pp. 1097–1105.
JICSCP-1988-PrzymusinskaP88 #logic programming #semantics #source code
Weakly Perfect Model Semantics for Logic Programs (HP, TCP), pp. 1106–1120.
JICSCP-1988-LinK88 #execution #logic programming #memory management #multi #source code #summary
AND-Parallel Execution of Logic Programs on a Shared Memory Multiprocessor: A Summary of Results (YJL, VK), pp. 1123–1141.
JICSCP-1988-SomogyiRV88 #algorithm #backtracking #execution
A Stream AND-Parallel Execution Algorithm with Backtracking (ZS, KR, JV), pp. 1142–1159.
JICSCP-1988-BiswasSY88 #automaton #logic programming #parallel #scalability #source code #strict
A Scalable Abstract Machine Model to Support Limited-OR (LOR) / Restricted-AND Parallelism (RAP) in Logic Programs (PB, SCS, DYYY), pp. 1160–1179.
JICSCP-1988-NgL88 #contest #execution #logic programming #parallel #source code
The Competition Model for Parallel Execution of Logic Programs (KWN, HfL), pp. 1180–1187.
JICSCP-1988-RamanS88 #distributed #execution #logic #problem
Fully Distributed, AND/OR-Parallel Execution of Logic Problems (PR, EWS), pp. 1188–1203.
JICSCP-1988-TsengB88 #data-driven #execution #logic programming #parallel #source code
A Data-Driven Parallel Execution Model for Logic Programs (CCT, PB), pp. 1204–1222.
JICSCP-1988-KaleRS88 #execution #independence #logic programming #memory management #parallel #source code
A Memory Organization Independent Binding Environment for AND and OR Parallel Execution of Logic Programs (LVK, RR, WWS), pp. 1223–1240.
JICSCP-1988-GotoKNC88 #garbage collection #incremental #lazy evaluation #parallel
Lazy Reference Counting: An Incremental Garbage Collection Method for Parallel Inference Machines (AG, YK, TN, TC), pp. 1241–1256.
JICSCP-1988-Taylor88 #haskell
Localizing the GHC Suspension Test (HT), pp. 1257–1271.
JICSCP-1988-Wu88 #data flow
An Extended Dataflow Model of FGHC (HW), pp. 1272–1276.
JICSCP-1988-AlkalajS88 #architecture #concurrent #prolog
An Architectural Model for a Flat Concurrent Prolog Processor (LA, EYS), pp. 1277–1297.
JICSCP-1988-Saraswat88 #logic
A Somewhat Logical Formulation of CLP Synchronisation Primitives (VAS), pp. 1298–1314.
JICSCP-1988-KlingerS88 #algorithm #compilation #exclamation
A Decision Tree Compilation Algorithm for FCP(!, : , ?) (SK, EYS), pp. 1315–1336.
JICSCP-1988-NilssonT88 #haskell #implementation
A Flat GHC Implementation for Supercomputers (MN, HT), pp. 1337–1350.
JICSCP-1988-Nystrom88 #horn clause
Control Structures for Guarded Horn Clauses (SON), pp. 1351–1370.
JICSCP-1988-Bacha88 #design #implementation #prolog
Meta Prolog Design and Implementation (HB), pp. 1371–1387.
JICSCP-1988-JanssensDM88 #unification
Improving the Register Allocation of WAM by Recording Unification (GJ, BD, AM), pp. 1388–1402.
JICSCP-1988-MillsB88
Assertive Demons (JWM, KAB), pp. 1403–1414.
JICSCP-1988-ChuM88 #named
SWIFT: A New Symbolic Processor (DAC, FGM), pp. 1415–1427.
JICSCP-1988-Shankar88 #architecture #logic programming #memory management #unification
A Hierarchical Associative Memory Architecture for Logic Programming Unification (SS), pp. 1428–1447.
JICSCP-1988-StormonBOR88 #agile #architecture #execution #memory management #prolog
An Architecture Based on Content-Addressable Memory for the Rapid Execution of Prolog (CDS, MRB, JVO, DFR), pp. 1448–1473.
JICSCP-1988-Hemmendinger88 #compilation #semantics
A Compiler and Semantic Analyzer Based on Categorial Grammar (DH), pp. 1474–1489.
JICSCP-1988-Kluzniak88 #garbage collection #prolog
Compile Time Garbage Collection for Ground Prolog (FK), pp. 1490–1505.
JICSCP-1988-KurosawaYAB88 #architecture #performance #prolog
Instruction Architecture for a High Performance Integrated Prolog Processor IPP (KiK, SY, SA, TB), pp. 1506–1530.
JICSCP-1988-Ali88 #execution #prolog
OR-Parallel Execution of Prolog on BC-Machine (KAMA), pp. 1531–1545.
JICSCP-1988-Naish88 #prolog
Parallelizing NU-Prolog (LN), pp. 1546–1564.
JICSCP-1988-CarlssonDO88 #approach #implementation
A Simplified Approach to the Implementation of AND-Parallelism in an OR-Parallel Environment (MC, KJD, RAO), pp. 1565–1577.
JICSCP-1988-AlshawiM88 #delphi
The Delphi Model and Some Preliminary Experiments (HA, DBM), pp. 1578–1589.
JICSCP-1988-ButlerDLOOS88 #perspective #scheduling
Scheduling OR-Parallelism: An Argonne Perspective (RB, TD, ELL, RO, RAO, RLS), pp. 1590–1605.
JICSCP-1988-AllenS88 #logic #multi #question
Multiple Interpretations of the Logical Structure of Legal Rules: Impediment or Boon to Legal Expert Systems? (LEA, CSS), pp. 1609–1623.
JICSCP-1988-Bundy88 #logic programming
A Broader Interpretation of Logic in Logic Programming (AB), pp. 1624–1648.
JICSCP-1988-Levi88 #fixpoint #modelling #semantics
Models, Unfolding Rules and Fixpoint Semantics (GL), pp. 1649–1665.
JICSCP-1988-Zaniolo88 #data-driven #design #implementation #logic
Design and Implementation of a Logic Based Language for Data Intensive Applications (CZ), pp. 1666–1687.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.