Search results for "fixpoint"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
27	Julian Gutierrez 0001, Julian C. Bradfield	Model-Checking Games for Fixpoint Logics with Partial Order Models.	CONCUR	2009	DBLP DOI BibTeX RDF	Model-checking games, Hintikka game semantics, Partial order models of concurrency, Process algebras, Modal and temporal logics
27	Roland Axelsson, Martin Lange	Model Checking the First-Order Fragment of Higher-Order Fixpoint Logic.	LPAR	2007	DBLP DOI BibTeX RDF
27	Patrick Cousot, Pierre Ganty, Jean-François Raskin	Fixpoint-Guided Abstraction Refinements.	SAS	2007	DBLP DOI BibTeX RDF
27	Laura Bozzelli	Alternating Automata and a Temporal Fixpoint Calculus for Visibly Pushdown Languages.	CONCUR	2007	DBLP DOI BibTeX RDF
27	Peter Lammich, Markus Müller-Olm	Precise Fixpoint-Based Analysis of Programs with Thread-Creation and Procedures.	CONCUR	2007	DBLP DOI BibTeX RDF
27	Andreas Behrend	A Fixpoint Approach to State Generation for Stratifiable Disjunctive Deductive Databases.	ADBIS	2007	DBLP DOI BibTeX RDF	Deductive Databases, View Updating, Disjunctive Datalog
27	Andrzej Szalas, Jerzy Tyszkiewicz	On the Fixpoint Theory of Equality and Its Applications.	RelMiCS	2006	DBLP DOI BibTeX RDF
27	Rajeev Alur, Swarat Chaudhuri, P. Madhusudan	A fixpoint calculus for local and global program flows.	POPL	2006	DBLP DOI BibTeX RDF	infinite-state, model-checking, verification, games, specification, logic, ?-calculus, pushdown systems
27	Chuan Lin 0002, Hai Zhou 0001	Wire retiming as fixpoint computation.	IEEE Trans. Very Large Scale Integr. Syst.	2005	DBLP DOI BibTeX RDF
27	Naijun Zhan, Jinzhao Wu	Compositionality of Fixpoint Logic with Chop.	ICTAC	2005	DBLP DOI BibTeX RDF
27	Martin Lange, Rafal Somla	The Complexity of Model Checking Higher Order Fixpoint Logic.	MFCS	2005	DBLP DOI BibTeX RDF
27	Héctor Ruíz Barradas, Didier Bert	A Fixpoint Semantics of Event Systems With and Without Fairness Assumptions.	IFM	2005	DBLP DOI BibTeX RDF	unity logic, weak fairness, minimal progress, set transformer, fairness, action systems, Liveness properties, fixpoints, event systems
27	Julian C. Bradfield, Stephan Kreutzer	The Complexity of Independence-Friendly Fixpoint Logic.	CSL	2005	DBLP DOI BibTeX RDF
27	Stefan Göller, Markus Lohrey	Fixpoint Logics on Hierarchical Structures.	FSTTCS	2005	DBLP DOI BibTeX RDF
27	Chuan Lin 0002, Hai Zhou 0001	Wire Retiming for System-on-Chip by Fixpoint Computation.	DATE	2004	DBLP DOI BibTeX RDF
27	Markus Müller-Olm	A Modal Fixpoint Logic with Chop.	STACS	1999	DBLP DOI BibTeX RDF
27	Kavita Ravi, Fabio Somenzi	Efficient Fixpoint Computation for Invariant Checking.	ICCD	1999	DBLP DOI BibTeX RDF
27	Huimin Lin	Unique Fixpoint Induction for Mobile Processes.	CONCUR	1995	DBLP DOI BibTeX RDF
27	Shinichi Morishita	An Alternating Fixpoint Tailored to Magic Programs.	PODS	1993	DBLP DOI BibTeX RDF	Datalog
27	Gerhard Köstler, Werner Kießling, Helmut Thöne, Ulrich Güntzer	The Differential Fixpoint Operator with Subsumption.	DOOD	1993	DBLP DOI BibTeX RDF
27	Phokion G. Kolaitis, Christos H. Papadimitriou	Why Not Negation by Fixpoint?	PODS	1988	DBLP DOI BibTeX RDF
27	Ashok K. Chandra, David Harel	Horn Clauses and the Fixpoint Query Hierarchy.	PODS	1982	DBLP DOI BibTeX RDF	logic program, PROLOG, query language, horn clause, relational data base
19	Raymond R. Devillers, Maciej Koutny	Recursive Nets in the Box Algebra.	ACSD	1998	DBLP DOI BibTeX RDF	box algebra, limit construction, guardedness, Petri nets, refinement, recursion, fixpoint
19	Weidong Chen 0005, David Scott Warren	Computation of Stable Models and Its Integration with Logical Query Processing.	IEEE Trans. Knowl. Data Eng.	1996	DBLP DOI BibTeX RDF	Alternating fixpoint logic, logical query evaluation, logic programming, deductive database, nonmonotonic reasoning, well-founded semantics, stable model semantics
19	Irène Guessarian, Jean-Eric Pin	Linearizing Some Recursive Logic Programs.	IEEE Trans. Knowl. Data Eng.	1995	DBLP DOI BibTeX RDF	Datalog program, chain rule program, rational languages and functions, semantics, linear program, linearization, fixpoint
19	Baudouin Le Charlier, Pascal Van Hentenryck	Experimental Evaluation of a Generic Abstract Interpretation Algorithm for PROLOG.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	fixpoint algorithm, PROLOG, Prolog, abstract interpretation
19	Li-Ling Chen, Williams Ludwell Harrison III	An efficient approach to computing fixpoints for complex program analysis.	International Conference on Supercomputing	1994	DBLP DOI BibTeX RDF	fixpoint computation, program analysis, abstract interpretation, optimizing compilers
19	A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn	Type Reconstruction in the Presence of Polymorphic Recursion.	ACM Trans. Program. Lang. Syst.	1993	DBLP DOI BibTeX RDF	fixpoint operator, polymorphic abstraction, polymorphic recursion, semiunification
19	Serge Abiteboul, Stéphane Grumbach	A Rule-Based Language with Functions and Sets.	ACM Trans. Database Syst.	1991	DBLP DOI BibTeX RDF	object-oriented databases, knowledge bases, deductive databases, rule based, complex objects, fixpoint semantics
19	Yuejun Jiang	Another View of Autoepistemic Logic and Truth Maintenance System.	ISMIS	1991	DBLP DOI BibTeX RDF	Fixpoint Nonmonotonic reasoning, Minimum Stable sets, Autoepistemic Logic and Truth-maintenance Systems, Knowledge Representation
19	Michael Kifer, Eliezer L. Lozinskii	On Compile-Time Query Optimization in Deductive Databases by Means of Static Filtering.	ACM Trans. Database Syst.	1990	DBLP DOI BibTeX RDF	recursive rules, filtering, projection, selection, inference, deductive databases, dataflow, graph representation, fixpoint
19	Véronique Royer	Backward Chaining Evaluation in Stratified Disjunctive Theories.	PODS	1990	DBLP DOI BibTeX RDF	deductive data bases, negation by default, stratified data bases, query evaluation, fixpoint semantics, backward chaining
19	Tadao Murata, Du Zhang	A Predicate-Transition Net Model for Parallel Interpretation of Logic Programs.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	AND/OR parallelisms, deduction process, Horn clause logic programs, Petri nets, logic programming, communicating processes, fixpoint semantics, predicate/transition nets, relational operations
19	Thomas Gawlitza, Helmut Seidl	Games through Nested Fixpoints.	CAV	2009	DBLP DOI BibTeX RDF
19	Julian Gutierrez 0001	Logics and Bisimulation Games for Concurrency, Causality and Conflict.	FoSSaCS	2009	DBLP DOI BibTeX RDF	Bisimulation games, Behavioural equivalences, Concurrent and reactive systems, Petri nets, Modal and temporal logics
19	Rafael del Vado Vírseda	A higher-order logical framework for the algorithmic debugging and verification of declarative programs.	PPDP	2009	DBLP DOI BibTeX RDF	algorithmic debugging, declarative verification, multiparadigm declarative programming, lambda calculus
19	Amélie Gheerbrant, Balder ten Cate	Craig Interpolation for Linear Temporal Languages.	CSL	2009	DBLP DOI BibTeX RDF	Propositional Linear Temporal Logic, Linear Time ?-Calculus, Craig Interpolation
19	Paqui Lucio, Fernando Orejas, Edelmira Pasarella, Elvira Pino	A Functorial Framework for Constraint Normal Logic Programming.	Appl. Categorical Struct.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68N17, 18C50, 68Q55
19	Marco Bakera, Stefan Edelkamp, Peter Kissmann, Clemens D. Renner	Solving µ-Calculus Parity Games by Symbolic Planning.	MoChArt	2008	DBLP DOI BibTeX RDF
19	Michael Hanus	Call pattern analysis for functional logic programs.	PPDP	2008	DBLP DOI BibTeX RDF	program analysis, functional logic programming
19	Francesco Ranzato, Olivia Rossi-Doria, Francesco Tapparo	A Forward-Backward Abstraction Refinement Algorithm.	VMCAI	2008	DBLP DOI BibTeX RDF
19	Radhia Cousot	Abstract Interpretation of Non-monotone Bi-inductive Semantic Definitions.	VMCAI	2008	DBLP DOI BibTeX RDF
19	Andreas Behrend, Rainer Manthey	A Transformation-Based Approach to View Updating in Stratifiable Deductive Databases.	FoIKS	2008	DBLP DOI BibTeX RDF
19	Bengt Jonsson 0001, Mayank Saksena	Systematic Acceleration in Regular Model Checking.	CAV	2007	DBLP DOI BibTeX RDF
19	Hong-Cheu Liu, Jeffrey Xu Yu, John Zeleznikow, Ying Guan	A Logic-Based Approach to Mining Inductive Databases.	International Conference on Computational Science (1)	2007	DBLP DOI BibTeX RDF
19	Taolue Chen, Tingting Han 0001, Jian Lu 0001	On Behavioral Metric for Probabilistic Systems: Definition and Approximation Algorithm.	FSKD (2)	2007	DBLP DOI BibTeX RDF
19	Lucas Bordeaux, Youssef Hamadi, Moshe Y. Vardi	An Analysis of Slow Convergence in Interval Propagation.	CP	2007	DBLP DOI BibTeX RDF
19	Thomas Gawlitza, Helmut Seidl	Precise Relational Invariants Through Strategy Iteration.	CSL	2007	DBLP DOI BibTeX RDF
19	Farn Wang	Symbolic Simulation-Checking of Dense-Time Automata.	FORMATS	2007	DBLP DOI BibTeX RDF	simulation, model-checking, verification, real-time, refinement, implementation, embedded, events, timed automata, bisimulation, equivalence, bisimilarity, dense-time
19	Elvira Albert, Puri Arenas, Germán Puebla	An Incremental Approach to Abstraction-Carrying Code.	LPAR	2006	DBLP DOI BibTeX RDF
19	Christel Baier, Nathalie Bertrand 0001, Philippe Schnoebelen	On Computing Fixpoints in Well-Structured Regular Model Checking, with Applications to Lossy Channel Systems.	LPAR	2006	DBLP DOI BibTeX RDF
19	Paqui Lucio, Fernando Orejas, Edelmira Pasarella, Elvira Pino	A Functorial Framework for Constraint Normal Logic Programming.	Essays Dedicated to Joseph A. Goguen	2006	DBLP DOI BibTeX RDF
19	Thomas Lukasiewicz	Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web.	RuleML	2006	DBLP DOI BibTeX RDF
19	Christian Dax, Martin Hofmann 0001, Martin Lange	A Proof System for the Linear Time µ-Calculus.	FSTTCS	2006	DBLP DOI BibTeX RDF
19	Roberto Sebastiani, Stefano Tonetta, Moshe Y. Vardi	Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking.	CAV	2005	DBLP DOI BibTeX RDF
19	Jan Friso Groote, Misa Keinänen	A Sub-quadratic Algorithm for Conjunctive and Disjunctive Boolean Equation Systems.	ICTAC	2005	DBLP DOI BibTeX RDF
19	Sebastian Brandt, Jörg Model	Subsumption in w.r.t. Hybrid TBoxes.	KI	2005	DBLP DOI BibTeX RDF
19	Bertrand Jeannet, Thierry Jéron, Vlad Rusu, Elena Zinovieva	Symbolic Test Selection Based on Approximate Analysis.	TACAS	2005	DBLP DOI BibTeX RDF
19	Manuel V. Hermenegildo, Elvira Albert, Pedro López-García 0001, Germán Puebla	Abstraction carrying code and resource-awareness.	PPDP	2005	DBLP DOI BibTeX RDF	granularity control, mobile code certification, programming languages, abstract interpretation, program verification, distributed programming, program debugging, cost analysis, resource awareness
19	Hasan M. Jamil, Gillian Dobbie	On Logical Foundations of Multilevel Secure Databases.	J. Intell. Inf. Syst.	2004	DBLP DOI BibTeX RDF	MLS databases, belief assertion, inheritance and overriding, security, reasoning, deductive databases, declarative language, soundness and completeness
19	Yifeng Chen, Jeff W. Sanders	Logic of global synchrony.	ACM Trans. Program. Lang. Syst.	2004	DBLP DOI BibTeX RDF	PRAM, reactive programming, Bulk-Synchronous Parallelism
19	Helmut Seidl, Thomas Schwentick, Anca Muscholl, Peter Habermehl	Counting in Trees for Free.	ICALP	2004	DBLP DOI BibTeX RDF
19	Peter Morris, Thorsten Altenkirch, Conor McBride	Exploring the Regular Tree Types.	TYPES	2004	DBLP DOI BibTeX RDF
19	V. Wiktor Marek, Jeffrey B. Remmel	Set Constraints in Logic Programming.	LPNMR	2004	DBLP DOI BibTeX RDF
19	Klaus Schneider 0001, Jens Brandt 0001, Tobias Schüle	Causality analysis of synchronous programs with delayed actions.	CASES	2004	DBLP DOI BibTeX RDF	causality, synchronous languages, ternary logic, fixpoints
19	E. V. Kouzmin, Nikolay V. Shilov 0002, Valery A. Sokolov	Model Checking mu-Calculus in Well-Structured Transition Systems.	TIME	2004	DBLP DOI BibTeX RDF
19	Sandeep S. Kulkarni, Borzoo Bonakdarpour, Ali Ebnenasir	Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs.	LOPSTR	2004	DBLP DOI BibTeX RDF	Addition of faulttolerance, Fault-tolerance, Program transformation, Theorem proving, Program synthesis, PVS, Mechanical verification
19	Sebastian Brand	A Note on Redundant Rules in Rule-Based Constraint Programming.	International Workshop on Constraint Solving and Constraint Logic Programming	2002	DBLP DOI BibTeX RDF
19	Andreas Behrend	Efficient Computation of the Well-Founded Model Using Update Propagation.	LPAR	2001	DBLP DOI BibTeX RDF
19	Fernando Orejas, Edelmira Pasarella, Elvira Pino	Semantics of Normal Logic Programs with Embedded Implications.	ICLP	2001	DBLP DOI BibTeX RDF
19	Hasan M. Jamil	On the Equivalence of Top-Down and Bottom-Up Data Mining in Relational Databases.	DaWaK	2001	DBLP DOI BibTeX RDF
19	Mathieu Jaume	Logic Programming and Co-inductive Definitions.	CSL	2000	DBLP DOI BibTeX RDF
19	Alexei P. Stolboushkin, Michael A. Taitslin	Normalizable linear orders and generic computations in finite models.	Arch. Math. Log.	1999	DBLP DOI BibTeX RDF
19	Roderick Bloem, Kavita Ravi, Fabio Somenzi	Efficient Decision Procedures for Model Checking of Linear Time Logic Properties.	CAV	1999	DBLP DOI BibTeX RDF
19	Zdzislaw Splawski, Pawel Urzyczyn	Type Fixpoints: Iteration vs. Recursion.	ICFP	1999	DBLP DOI BibTeX RDF
19	Victor Vianu	Topological Queries in Spatial Databases.	CSL	1999	DBLP DOI BibTeX RDF
19	Yoshinao Isobe, Yutaka Sato, Kazuhito Ohmaki	Eventuality in LOTOS with a Disjunction Operator.	ASIAN	1998	DBLP DOI BibTeX RDF
19	Willem C. Mallon, Jan Tijmen Udding	Using Metrics for Proof Rules for Recursively Defined Delay-insensitive Specifications.	ASYNC	1997	DBLP DOI BibTeX RDF	delay-insensitive specifications, recursive definition, linear proofs, intuitive induction rule, algebraic specification, algebraic specifications, theorem provers, correctness proofs, proof rules, proof rule
19	Ingbert Kupka	Unique Fixpoints in Complete Lattices with Applications to Formal Languages and Semantics.	Foundations of Computer Science: Potential - Theory - Cognition	1997	DBLP DOI BibTeX RDF
19	Roope Kaivola	Fixpoints for Rabin Tree Automata Make Complementation Easy.	ICALP	1996	DBLP DOI BibTeX RDF
19	Vilas Wuwongse, Ekawit Nantajeewarawat	Declarative Program Theory with Implicit Information.	PRICAI	1996	DBLP DOI BibTeX RDF
19	Livio Colussi, Elena Marchiori, Massimo Marchiori	A Dataflow Semantics for Constraint Logic Programs	PLILP	1995	DBLP DOI BibTeX RDF
19	Eike Best, Maciej Koutny	Solving Recursive Net Equations.	ICALP	1995	DBLP DOI BibTeX RDF	Petri nets, Recursion, Denotational semantics
19	James J. Lu, Guido Moerkotte, Joachim Schü, V. S. Subrahmanian	Efficient Maintenance of Materialized Mediated Views.	SIGMOD Conference	1995	DBLP DOI BibTeX RDF
19	Cristian Papp	A Bottom-Up Reconstruction of the Well-founded Semantics for Disjunctive Logic Programs.	LPAR	1994	DBLP DOI BibTeX RDF
19	Nacéra Bensaou, Irène Guessarian	Transforming Constraint Logic Programs.	STACS	1994	DBLP DOI BibTeX RDF
19	Roberto Barbuti, Roberto Giacobazzi, Giorgio Levi	A General Framework for Semantics-Based Bottom-Up Abstract Interpretation of Logic Programs.	ACM Trans. Program. Lang. Syst.	1993	DBLP DOI BibTeX RDF	logic programming, program analysis, abstract interpretation
19	Patrick Cousot, Radhia Cousot	Galois Connection Based Abstract Interpretations for Strictness Analysis (Invited Paper).	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF	Relational semantics, Dependence-free and dependence-sensitive analysis, Widening, Abstract interpretation, Galois connection, Strictness analysis
19	Jerzy Tyszkiewicz	On Asymptotic Probabilities in Logics That Capture DSPACE(log n) in Presence of Ordering.	TAPSOFT	1993	DBLP DOI BibTeX RDF
19	Eike Best, Raymond R. Devillers, Javier Esparza	General Refinement and Recursion Operators for the Petri Box Calculus.	STACS	1993	DBLP DOI BibTeX RDF
19	Chitta Baral	Generalized Negation As Failure and Semantics of Normal Disjunctive Logic Programs.	LPAR	1992	DBLP DOI BibTeX RDF
19	Serge Abiteboul, Kevin J. Compton, Victor Vianu	Queries Are Easier Than You Thought (Probably).	PODS	1992	DBLP DOI BibTeX RDF
19	Serge Abiteboul, Moshe Y. Vardi, Victor Vianu	Computing with Infinitary Logic.	ICDT	1992	DBLP DOI BibTeX RDF
19	Laks V. S. Lakshmanan, Daniel A. Nonen	Superfiniteness of Query Answers in Deductive Databases: An Automata-Theoretic Approach.	FSTTCS	1992	DBLP DOI BibTeX RDF
19	Yuli Zhou, Robert Muller	Domain Theory for Nonmonotonic Functions.	ALP	1990	DBLP DOI BibTeX RDF
19	Allen Van Gelder	Deriving Constraints Among Argument Sizes in Logic Programs.	PODS	1990	DBLP DOI BibTeX RDF
19	Serge Abiteboul, Eric Simon, Victor Vianu	Non-Deterministic Languages to Express Deterministic Transformations.	PODS	1990	DBLP DOI BibTeX RDF
19	Jean-Paul Delahaye, V. Thibau	The Optimal Model of a Program with Negation.	JELIA	1990	DBLP DOI BibTeX RDF
19	Marianne Baudinet	Temporal Logic Programming is Complete and Expressive.	POPL	1989	DBLP DOI BibTeX RDF
19	Larry G. Jones, Janos Simon	Hierarchical VLSI Design Systems Based on Attribute Grammars.	POPL	1986	DBLP DOI BibTeX RDF