Improving Abstract Interpretations by Systematic Lifting to the Powerset (English)
- New search for: File, G.
- New search for: Ranzato, F.
- New search for: Association for Logic Programming
- New search for: File, G.
- New search for: Ranzato, F.
- New search for: Bruynooghe, M.
- New search for: Association for Logic Programming
In:
Logic programming
;
655-669
;
1994
-
ISBN:
-
ISSN:
- Conference paper / Print
-
Title:Improving Abstract Interpretations by Systematic Lifting to the Powerset
-
Contributors:
-
Conference:International symposium, Logic programming ; 1994
-
Published in:Logic programming ; 655-669
-
Publisher:
- New search for: MIT
-
Place of publication:Cambridge, MA
-
Publication date:1994-01-01
-
Size:15 pages
-
ISBN:
-
ISSN:
-
Type of media:Conference paper
-
Type of material:Print
-
Language:English
-
Keywords:
-
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Table of contents conference proceedings
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 3
-
Using Constraint Logic Programming in Services: A Few Short TalesCras, Y. / Association for Logic Programming et al. | 1994
- 17
-
Abstracts Interpretation and Partial Evaluation in Functional and Logic ProgrammingJones, N. D. / Association for Logic Programming et al. | 1994
- 23
-
Complexity and Expressive Power of Disjunctive Logic ProgrammingGottlob, G. / Association for Logic Programming et al. | 1994
- 43
-
Combining Functional and Logic Programming LanguagesLloyd, J. W. / Association for Logic Programming et al. | 1994
- 61
-
Signed Logic ProgramsTurner, H. / Association for Logic Programming et al. | 1994
- 76
-
A Syntactic Stratification Condition Using ConstraintsRoss, K. A. / Association for Logic Programming et al. | 1994
- 91
-
Characterization of Some Semantics for Logic Programs with Negation and Application to Program ValidationMalfon, B. / Association for Logic Programming et al. | 1994
- 109
-
Towards Practical Interval Constraint Solving in Logic ProgrammingChiu, C. K. / Lee, J. H. M. / Association for Logic Programming et al. | 1994
- 124
-
CLP(Intervals) RevisitedBenhamou, F. / McAllester, D. / Van Hentenryck, P. / Association for Logic Programming et al. | 1994
- 139
-
Redundancy, Variable Elimination and Linear DisequationsImbert, J.-J. J. / Association for Logic Programming et al. | 1994
- 157
-
An Abstract Interpretation Framework Which Accurately Handles Prolog Search-Rule and the CutLe Charlier, B. / Rossi, S. / Van Hentenryck, P. / Association for Logic Programming et al. | 1994
- 172
-
An Algebraic Theory of ObservablesComini, M. / Levi, G. / Association for Logic Programming et al. | 1994
- 189
-
Datalog with Integer Periodicity ConstraintsToman, D. / Chomicki, J. / Rogers, D. S. / Association for Logic Programming et al. | 1994
- 204
-
Efficient Incremental Evaluation of Queries with AggregationRamakrishnan, R. / Ross, K. A. / Srivastava, D. / Sudarshan, S. / Association for Logic Programming et al. | 1994
- 219
-
Analysis of SLG-WAM Evaluation of Definite ProgramsSwift, T. / Warren, D. S. / Association for Logic Programming et al. | 1994
- 239
-
Tractable Argumentation Semantics via Interative Belief RevisionYou, J.-H. / Cartwright, R. / Association for Logic Programming et al. | 1994
- 254
-
Probabilistic Deductive DatabasesLakshmanan, L. V. S. / Sadri, F. / Association for Logic Programming et al. | 1994
- 269
-
Combinatory Logic Programming: Computing in Relation CalculiBroome, P. / Lipton, J. / Association for Logic Programming et al. | 1994
- 289
-
Strategies for Scheduling And- and Or-Work in Parallel Logic Programming SystemsDe Castro Dutra, I. / Association for Logic Programming et al. | 1994
- 305
-
A Simple Program Transformation for ParallelismDebray, S. / Jain, M. / Association for Logic Programming et al. | 1994
- 320
-
Effectiveness of Global Analysis of Strict Independence-Based Automatic ParallelizationBueno, F. / De la Banda, M. G. / Hermenegildo, M. / Association for Logic Programming et al. | 1994
- 339
-
Conjunto: Constraint Logic Programming with Finite Set DomainsGervet, C. / Association for Logic Programming et al. | 1994
- 359
-
The Beauty and Beast Algorithm: Quasi-Linear Incremental Tests of Entailment and Disentailment over TreesPodelski, A. / Van Roy, P. / Association for Logic Programming et al. | 1994
- 377
-
Abductive Analysis of Modular Logic ProgramsGiacobazzi, R. / Association for Logic Programming et al. | 1994
- 392
-
Localizations of Unification Freedom through Matching DirectionsMarchiori, M. / Association for Logic Programming et al. | 1994
- 409
-
Intuitionistic Implication and ResolutionHui-Bon-Hoa, A. / Association for Logic Programming et al. | 1994
- 424
-
SLX-A Top-Down Derivation Procedure for Programs with Explicit NegationAlferes, J. J. / Viegas Damasio, C. / Pereira, L. M. / Association for Logic Programming et al. | 1994
- 439
-
LR Inference: Inference Systems for Fixed-Mode Logic Programs, Based on LR ParsingRosenblueth, D. A. / Peralta, J. C. / Association for Logic Programming et al. | 1994
- 457
-
Cardinality Analysis of PrologBraem, C. / Le Charlier, B. / Modart, S. / Van Hentenryck, P. / Association for Logic Programming et al. | 1994
- 472
-
Mutually Exclusive Rules in Logic ProgrammingPost, K. / Association for Logic Programming et al. | 1994
- 487
-
Detection and Optimization of Suspension-Free Logic ProgramsDebray, S. / Gudeman, D. / Bigot, P. / Association for Logic Programming et al. | 1994
- 505
-
Encapsulated Search for Higher-Order Concurrent Constraint ProgrammingSchulte, C. / Smolka, G. / Association for Logic Programming et al. | 1994
- 521
-
AKL(FD)-A Concurrent Language for FD ProgrammingCarlson, B. / Haridi, S. / Janson, S. / Association for Logic Programming et al. | 1994
- 539
-
The Situation Calculus and Event Calculus ComparedKowalski, R. / Sadri, F. / Association for Logic Programming et al. | 1994
- 554
-
SLD-Resolution with ReflectionBarklund, J. / Dell'Acqua, P. / Costantini, S. / Lanzarone, G. A. / Association for Logic Programming et al. | 1994
- 571
-
Approximating Interaction between Linear Arithmetic ConstraintsMarriott, K. / Stuckey, P. J. / Association for Logic Programming et al. | 1994
- 586
-
Optimizing Compilation of Linear Arithmetic in a Class of Constraint Logic ProgramsMichaylov, S. / Pippin, B. / Association for Logic Programming et al. | 1994
- 603
-
A Continuation-Passing Style for PrologLindgren, T. / Association for Logic Programming et al. | 1994
- 618
-
A Portable Method for Integrating SLG Resolution into Prolog SystemsRamesh, R. / Chen, W. / Association for Logic Programming et al. | 1994
- 633
-
An Abstract Machine for SLG Resolution: Definite ProgramsSwift, T. / Warren, D. S. / Association for Logic Programming et al. | 1994
- 655
-
Improving Abstract Interpretations by Systematic Lifting to the PowersetFile, G. / Ranzato, F. / Association for Logic Programming et al. | 1994
- 673
-
Declarative Error Diagnosis as Consistency-Based DiagnosisBond, G. W. / Pagurek, B. / Association for Logic Programming et al. | 1994
- 674
-
Avoiding Dynamic Type Checking in a Polymorphic Logic Programming LanguageBrisset, P. / Association for Logic Programming et al. | 1994
- 675
-
Modal Event CalculusCervesato, I. / Chittaro, L. / Montanari, A. / Association for Logic Programming et al. | 1994
- 676
-
Parsing with PTNDavison, A. / Haywood, E. / Association for Logic Programming et al. | 1994
- 677
-
On Stable Behaviour of Dynamic Deductive Data BasesDekhtyar, M. I. / Dikovsky, A. J. / Association for Logic Programming et al. | 1994
- 678
-
Data Alignment and Task Scheduling on Parallel Machines Using Concurrent Constraint Model-Based ProgrammingJourdan, J. / Fages, F. / Rozzonelli, D. / Demeure, A. / Association for Logic Programming et al. | 1994
- 679
-
Constraint Logic Programming for PlanningLever, J. / Association for Logic Programming et al. | 1994
- 680
-
Inferring Inheritance from Datalog ProgramsOros, M.-A. / Gloess, P. Y. / Association for Logic Programming et al. | 1994
- 681
-
Constraint Logic Programming on Strings: Theory and ApplicationsRajasekar, A. / Association for Logic Programming et al. | 1994
- 682
-
A Portable Compiler for Integrating HiLog into Prolog SystemsSagonas, K. F. / Warren, D. S. / Association for Logic Programming et al. | 1994
- 683
-
Last Parallel Call Optimization and Fast Backtracking in And-Parallel Logic Programming SystemsTang, D. / Pontelli, E. / Gupta, G. / Carro, M. / Association for Logic Programming et al. | 1994
- 685
-
A PROLOG Interpreter for First-Order Intuitionistic LogicMcCarty, L. T. / Shklar, L. A. / Association for Logic Programming et al. | 1994
- 686
-
A Simple but Effective Program Revision MethodYuan, L.-Y. / You, J.-H. / Association for Logic Programming et al. | 1994