Search results for "fixpoint"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
9	Ahmed Bouajjani, Peter Habermehl	Symbolic Reachability Analysis of FIFO Channel Systems with Nonregular Sets of Configurations (Extended Abstract).	ICALP	1997	DBLP DOI BibTeX RDF
9	Leonid Libkin, Juha Nurmonen	Counting and Locality over Finite Structures: A Survey.	ESSLLI	1997	DBLP DOI BibTeX RDF
9	Rajeev Alur, Thomas A. Henzinger	Modularity for Timed and Hybrid Systems.	CONCUR	1997	DBLP DOI BibTeX RDF
9	Rajeev Alur, Thomas A. Henzinger, Pei-Hsin Ho	Automatic Symbolic Verification of Embedded Systems.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	real-time and hybrid systems, model checking, temporal logic, symbolic analysis, Specification and verification
9	Maria J. García de la Banda, Manuel V. Hermenegildo, Maurice Bruynooghe, Veroniek Dumortier, Gerda Janssens, Wim Simoens	Global Analysis of Constraint Logic Programs.	ACM Trans. Program. Lang. Syst.	1996	DBLP DOI BibTeX RDF	global program analysis, program analysis, abstract interpretation, constraint logic programming
9	Inderpal Singh Mumick, Sheldon J. Finkelstein, Hamid Pirahesh, Raghu Ramakrishnan 0001	Magic Conditions.	ACM Trans. Database Syst.	1996	DBLP DOI BibTeX RDF	Starburst, relational databases, constraints, query optimization, deductive databases, constraint logic programming, magic sets, bottom-up evaluation
9	Nita Goyal, Charles Hoch, Ravi Krishnamurthy, Brian Meckler, Michael Suckow	Is GUI Programming a Database Research Problem?	SIGMOD Conference	1996	DBLP DOI BibTeX RDF
9	Kwangkeun Yi, Sukyoung Ryu, Kihyun Pyun	Estimating Uncaught Exceptions in Standard ML Programs from Type-Based Equations.	COMPSAC	1996	DBLP DOI BibTeX RDF
9	Igor Walukiewicz	Monadic Second Order Logic on Tree-Like Structures.	STACS	1996	DBLP DOI BibTeX RDF
9	Boumediene Belkhouche, R. Raymond Lang, Chung Wa Ng	A Branching Time Semantics for the Ada Rendezvous Mechanism.	HICSS (1)	1996	DBLP DOI BibTeX RDF
9	Georg Gottlob, Guido Moerkotte, V. S. Subrahmanian	The PARK Semantics for Active Rules.	EDBT	1996	DBLP DOI BibTeX RDF
9	Carlos Viegas Damásio, Luís Moniz Pereira	Default Negated Conclusions: Why Not?	ELP	1996	DBLP DOI BibTeX RDF
9	Bengt Jonsson 0001, Lars Kempe	Verifying Safety Properties of a Class of Infinite-State Distributed Algorithms.	CAV	1995	DBLP DOI BibTeX RDF
9	John Harrison 0001	Inductive Definitions: Automation and Application.	TPHOLs	1995	DBLP DOI BibTeX RDF
9	Alan Mycroft, Kirsten Lackner Solberg	Uniform PERs and Comportment Analysis	PLILP	1995	DBLP DOI BibTeX RDF
9	Isambo Karali, Constantin Halatsis	A Refinement of Import/Export Declarations in Modular Logic Programming and its Semantics.	TAPSOFT	1995	DBLP DOI BibTeX RDF
9	Peter Niebert	A v-Calculus with Local Views for Systems of Sequential Agents.	MFCS	1995	DBLP DOI BibTeX RDF
9	Stéphane Grumbach, Tova Milo	An Algebra for Pomsets.	ICDT	1995	DBLP DOI BibTeX RDF
9	Roope Kaivola	Axiomatising Linear Time Mu-calculus.	CONCUR	1995	DBLP DOI BibTeX RDF
9	Serge Abiteboul, Jan Van den Bussche	Deep Equality Revisited.	DOOD	1995	DBLP DOI BibTeX RDF
9	Martin Staudt 0001, Hans W. Nissen, Manfred A. Jeusfeld	Query by class, rule, and concept.	Appl. Intell.	1994	DBLP DOI BibTeX RDF	intensional updates, Query languages, object-oriented databases, deductive databases, view maintenance, subsumption
9	Laks V. S. Lakshmanan, Fereidoon Sadri	Modeling Uncertainty in Deductive Databases.	DEXA	1994	DBLP DOI BibTeX RDF
9	Mirian Halfeld Ferrari Alves, Dominique Laurent 0001, Nicolas Spyratos	Passive and Active Rules in Deductive Databases.	MFCS	1994	DBLP DOI BibTeX RDF
9	Gerd G. Hillebrand, Paris C. Kanellakis	Functional Database Query Languages as Typed Lambda Calculi of Fixed Order.	PODS	1994	DBLP DOI BibTeX RDF
9	Kirack Sohn	Constraints among Argument Sizes in Logic Programs.	PODS	1994	DBLP DOI BibTeX RDF
9	Dan Suciu, Jan Paredaens	Any Algorithm in the Complex Object Algebra with Powerset Needs Exponential Space to Compute Transitive Closure.	PODS	1994	DBLP DOI BibTeX RDF
9	Laurent Fribourg, Marcos Veloso Peixoto	Bottom-up Evaluation of Datalog Programs with Arithmetic Constraints.	CADE	1994	DBLP DOI BibTeX RDF
9	Pascal Van Hentenryck, Agostino Cortesi, Baudouin Le Charlier	Type Analysis of Prolog Using Type Graphs. (long version: JLP 22(3): 179-209 (1995))	PLDI	1994	DBLP DOI BibTeX RDF	Prolog
9	Paola Bruscoli, Francesca Levi, Giorgio Levi, Maria Chiara Meo	Compilative Constructive Negation in Constraint Logic Programs.	CAAP	1994	DBLP DOI BibTeX RDF
9	Werner Kießling, Ulrich Güntzer	Database Reasoning - A Deductive Framework for Solving Large and Complex Problems by Means of Subsumption.	IS/KI	1994	DBLP DOI BibTeX RDF
9	Jack Minker, Carolina Ruiz	On Extended Disjunctive Logic Programs.	ISMIS	1993	DBLP DOI BibTeX RDF
9	Stephen Weeks, Matthias Felleisen	On the Orthogonality of Assignments and Procedures in Algol.	POPL	1993	DBLP DOI BibTeX RDF	ALGOL-60, ALGOL
9	Surajit Chaudhuri	Finding Nonrecursive Envelopes for Datalog Predicates.	PODS	1993	DBLP DOI BibTeX RDF	Datalog
9	Joachim Niehren, Andreas Podelski, Ralf Treinen	Equational and Membership Constraints for Finite Trees.	RTA	1993	DBLP DOI BibTeX RDF
9	François Fages	On the Semantics of Optimization Predicates in CLP Languages.	FSTTCS	1993	DBLP DOI BibTeX RDF
9	Laks V. S. Lakshmanan, Fereidoon Sadri, Iyer N. Subramanian	On the Logical Foundations of Schema Integration and Evolution in Heterogeneous Database Systems.	DOOD	1993	DBLP DOI BibTeX RDF
9	Dominique Laurent 0001, Viet Phan Luong, Nicolas Spyratos	Database Updating Revisited.	DOOD	1993	DBLP DOI BibTeX RDF
9	José Alberto Fernández, Jack Minker	Disjunctive Deductive Databases.	LPAR	1992	DBLP DOI BibTeX RDF
9	Burkhard Freitag	Extending Deductive Database Languages by Embedded Implications.	LPAR	1992	DBLP DOI BibTeX RDF
9	Francisco Javier López-Fraguas	A General Scheme for Constraint Functional Logic Programming.	ALP	1992	DBLP DOI BibTeX RDF
9	Mads Rosendahl	Strictness Analysis for Attribute Grammars.	PLILP	1992	DBLP DOI BibTeX RDF
9	Wim H. Hesselink, Ronald Reinds	Temporal Preconditions of Recursive Procedures.	REX Workshop	1992	DBLP DOI BibTeX RDF	leads-to, eventually, healthiness law, guarded recursion, unfolding, weakest precondition, recursive procedure
9	Maurizio Gabbrielli, Giorgio Levi, Maurizio Martelli	New Semantic Tools for Logic Programming.	REX Workshop	1992	DBLP DOI BibTeX RDF	logic programming, operational semantics, declarative semantics
9	Sergio Greco, Carlo Zaniolo, Sumit Ganguly	Greedy by Choice.	PODS	1992	DBLP DOI BibTeX RDF
9	Anthony J. Bonner	The Complexity of Reusing and Modifying Rulebases.	PODS	1992	DBLP DOI BibTeX RDF	Datalog
9	Katsumi Inoue, Miyuki Koshimura, Ryuzo Hasegawa	Embedding Negation as Failure into a Model Generation Theorem Prover.	CADE	1992	DBLP DOI BibTeX RDF
9	Stéphane Grumbach, Christophe Tollu	Query Languages with Counters.	ICDT	1992	DBLP DOI BibTeX RDF
9	Baudouin Le Charlier, Pascal Van Hentenryck	Experimental evaluation of a generic abstract interpretation algorithm for Prolog.	ICCL	1992	DBLP DOI BibTeX RDF
9	Ulrich Furbach	Computing Answers for Disjunctive Logic Programs.	JELIA	1992	DBLP DOI BibTeX RDF
9	Ed Brinksma	On the Uniqueness of Fixpoints Modulo Observation Congruence.	CONCUR	1992	DBLP DOI BibTeX RDF
9	Philippe Chatalic, Christine Froidevaux	Graded Logics: A Framework for Uncertain and Defeasible Knowledge.	ISMIS	1991	DBLP DOI BibTeX RDF	Graded Logic, Knowledge Representation, Uncertainty, Default Logic, Defeasible Reasoning
9	Susumu Yamasaki	Extraction of Functional from Logic Program.	PLILP	1991	DBLP DOI BibTeX RDF
9	Arnd Poetzsch-Heffter	Logic-Based Specification of Visibility Rules.	PLILP	1991	DBLP DOI BibTeX RDF
9	Maurizio Gabbrielli, Giorgio Levi	On the Semantics of Logic Programs.	ICALP	1991	DBLP DOI BibTeX RDF
9	Erich Grädel	The Expressive Power of Second Order Horn Logic.	STACS	1991	DBLP DOI BibTeX RDF
9	Li-Yan Yuan	On Semantics, Syntactics and Fixpoints of General Programs.	ICCI	1991	DBLP DOI BibTeX RDF
9	John G. Thistle, Walter Murray Wonham	Control of omega-Automata, Church's Problem, and the Emptiness Problem for Tree omega-Automata.	CSL	1991	DBLP DOI BibTeX RDF
9	Fosca Giannotti, Dino Pedreschi, Domenico Saccà, Carlo Zaniolo	Non-Determinism in Deductive Databases.	DOOD	1991	DBLP DOI BibTeX RDF
9	David W. Reed, Donald W. Loveland, Bruce T. Smith	The Near-Horn Approach to Disjunctive Logic Programming.	ELP	1991	DBLP DOI BibTeX RDF
9	David W. Stemple, Tim Sheard	A Recursive Base for Database Programming Primitives.	East/West Database Workshop	1990	DBLP DOI BibTeX RDF
9	Satish R. Thatte	Quasi-Static Typing.	POPL	1990	DBLP DOI BibTeX RDF
9	Domenico Saccà, Carlo Zaniolo	Stable Models and Non-Determinism in Logic Programs with Negation.	PODS	1990	DBLP DOI BibTeX RDF
9	Inderpal Singh Mumick, Sheldon J. Finkelstein, Hamid Pirahesh, Raghu Ramakrishnan 0001	Magic Conditions.	PODS	1990	DBLP DOI BibTeX RDF	Datalog
9	Chitta Baral, Jorge Lobo 0001, Jack Minker	Generalized Well-founded Semantics for Logic Programs (Extended Abstract).	CADE	1990	DBLP DOI BibTeX RDF
9	Mads Rosendahl	Abstract Interpretation Using Attribute Grammar.	WAGA	1990	DBLP DOI BibTeX RDF
9	Andrea Corradini 0001, Ugo Montanari	Towards a Process Semantics in the Logic Programming Style.	STACS	1990	DBLP DOI BibTeX RDF
9	Ron van der Meyden	Recursively Indefinite Databases.	ICDT	1990	DBLP DOI BibTeX RDF
9	Patrick Doherty 0001	NM3 - A Three-Valued Cumulative Non-Monotonic Formalism.	JELIA	1990	DBLP DOI BibTeX RDF
9	Anthony J. Bonner, Tomasz Imielinski	The Reuse and Modification of Rulebases by Predicate Substituation.	EDBT	1990	DBLP DOI BibTeX RDF
9	Danette Chimenti, Ruben Gamboa, Ravi Krishnamurthy	Abstract Machine for LDL.	EDBT	1990	DBLP DOI BibTeX RDF
9	Susumu Yamasaki	Dataflow for Logic Program as Substitution Manipulator.	ISSAC	1990	DBLP DOI BibTeX RDF
9	Greg Nelson	A Generalization of Dijkstra's Calculus.	ACM Trans. Program. Lang. Syst.	1989	DBLP DOI BibTeX RDF
9	James H. Andrews	Proof-Theoretic Characterisations of Logic Programs.	MFCS	1989	DBLP DOI BibTeX RDF
9	François Bry	Logic Programming as Constructivism: A Formalization and its Application to Databases.	PODS	1989	DBLP DOI BibTeX RDF
9	Samson Abramsky	A Generalized Kahn Principle for Abstract Asynchronous Networks.	Mathematical Foundations of Programming Semantics	1989	DBLP DOI BibTeX RDF
9	Christoph Beierle, Udo Pletat	Integrating Logic Programming and Equational Specification of Abstract Data Types.	ALP	1988	DBLP DOI BibTeX RDF
9	Ravi Krishnamurthy, Raghu Ramakrishnan 0001, Oded Shmueli	A Framework for Testing Safety and Effective Computability of Extended Datalog (Extended Abstract).	SIGMOD Conference	1988	DBLP DOI BibTeX RDF	DATALOG
9	Domenico Saccà, Carlo Zaniolo	Magic Counting Methods.	SIGMOD Conference	1987	DBLP DOI BibTeX RDF
9	Oded Shmueli	Decidability and Expressiveness of Logic Queries.	PODS	1987	DBLP DOI BibTeX RDF
9	Robert E. Kent	The Metric Closure Powerspace Construction.	MFPS	1987	DBLP DOI BibTeX RDF
9	François Bancilhon	A Logic-Programming/Object-Oriented Cocktail.	SIGMOD Rec.	1986	DBLP DOI BibTeX RDF
9	Tomasz Imielinski	Query Processing in Deductive Databases with Incomplete Information.	SIGMOD Conference	1986	DBLP DOI BibTeX RDF
9	Tadashi Kanamori, Hiroshi Fujita	Formulation of Induction Formulas in Verification of Prolog Programs.	CADE	1986	DBLP DOI BibTeX RDF	Prolog, Program Transformation, Program Verification, Induction
9	M. A. Nait Abdallah	Icons and Local Definitions in Logic Programming.	STACS	1986	DBLP DOI BibTeX RDF
9	Paris C. Kanellakis	Logic Programming and Parallel Complexity.	ICDT	1986	DBLP DOI BibTeX RDF
9	Robert S. Streett, E. Allen Emerson	The Propositional Mu-Calculus is Elementary.	ICALP	1984	DBLP DOI BibTeX RDF
9	M. A. Nait Abdallah	On the Interpretation of Infinite Computations in Logic Programming.	ICALP	1984	DBLP DOI BibTeX RDF
9	Marc H. Graham, Moshe Y. Vardi	On the Complexity and Axiomatizability of Consistent Database States.	PODS	1984	DBLP DOI BibTeX RDF
9	David Harel, Dexter Kozen	A Programming Language for the Inductive Sets, and Applications.	ICALP	1982	DBLP DOI BibTeX RDF
9	David Michael Ritchie Park	Concurrency and Automata on Infinite Sequences.	Theoretical Computer Science	1981	DBLP DOI BibTeX RDF
9	Edmund M. Clarke	Synthesis of Resource Invariants for Concurrent Programs.	ACM Trans. Program. Lang. Syst.	1980	DBLP DOI BibTeX RDF
9	Edmund M. Clarke	Synthesis of Resource Invariants for Concurrent Programs.	POPL	1979	DBLP DOI BibTeX RDF
9	Christoph M. Hoffmann, Michael J. O'Donnell	Interpreter Generation Using Tree Pattern Matching.	POPL	1979	DBLP DOI BibTeX RDF
9	Jean H. Gallier	Recursion Schemes and Generalized Interpretations (Extended Abstract).	ICALP	1979	DBLP DOI BibTeX RDF
9	Irène Guessarian	Some Applications of Algebraic Semantics.	MFCS	1978	DBLP DOI BibTeX RDF
9	Willem P. de Roever	On Backtracking and Greatest Fixpoints.	ICALP	1977	DBLP DOI BibTeX RDF
9	George T. Ligler	A Mathematical Approach to Language Design.	POPL	1975	DBLP DOI BibTeX RDF
9	Alberto Martelli, Ugo Montanari	Dynamic Programming Schemata.	ICALP	1974	DBLP DOI BibTeX RDF