Search results for "fixpoints"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
23	Élodie-Jane Sims	Extending Separation Logic with Fixpoints and Postponed Substitution.	AMAST	2004	DBLP DOI BibTeX RDF
23	Julian C. Bradfield	Fixpoints, games and the difference hierarchy.	RAIRO Theor. Informatics Appl.	2003	DBLP DOI BibTeX RDF
23	Raphaël Montelatici	Polarized Proof Nets with Cycles and Fixpoints Semantics.	TLCA	2003	DBLP DOI BibTeX RDF
23	Torsten Schaub, Kewen Wang 0001	Preferred well-founded semantics for logic programming by alternating fixpoints: Preliminary report	CoRR	2002	DBLP BibTeX RDF
23	Torsten Schaub, Kewen Wang 0001	Preferred well-founded semantics for logic programming by alternating fixpoints: preliminary report.	NMR	2002	DBLP BibTeX RDF
23	Nikolay V. Shilov 0002, Natalya Olegovna Garanina	Model checking knowledge and fixpoints.	FICS	2002	DBLP BibTeX RDF
23	Hai Zhou 0001, Narendra V. Shenoy, William Nicholls	Timing Analysis with Crosstalk as Fixpoints on Complete Lattice.	DAC	2001	DBLP DOI BibTeX RDF
23	Srinath Srinivasa	An algebra of fixpoints for characterizing interactive behavior of information systems.		2001	RDF
23	Zdzislaw Splawski, Pawel Urzyczyn	Type Fixpoints: Iteration vs. Recursion.	ICFP	1999	DBLP DOI BibTeX RDF
23	Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini	Reasoning in Expressive Description Logics with Fixpoints based on Automata on Infinite Trees.	IJCAI	1999	DBLP BibTeX RDF
23	Dan Suciu	Bounded Fixpoints for Complex Objects.	Theor. Comput. Sci.	1997	DBLP DOI BibTeX RDF
23	David Lesens	Invariants of Parameterized Binary Tree Networks as Greatest Fixpoints.	AMAST	1997	DBLP DOI BibTeX RDF
23	Peter Niebert, Barbara Sprick	A Tableau Proof System for a Mazurkiewicz Trace Logic with Fixpoints.	TABLEAUX	1997	DBLP DOI BibTeX RDF
23	Pavlos Peppas, Maurice Pagnucco, Mikhail Prokopenko, Norman Y. Foo	Preferential Semantics for Causal Fixpoints.	Australian Joint Conference on Artificial Intelligence	1997	DBLP DOI BibTeX RDF
23	Helmut Seidl	Fast and Simple Nested Fixpoints	Universität Trier, Mathematik/Informatik, Forschungsbericht	1996	RDF
23	Helmut Seidl	Fast and Simple Nested Fixpoints.	Inf. Process. Lett.	1996	DBLP DOI BibTeX RDF
23	Roberto Di Cosmo, Delia Kesner	Combining Algebraic Rewriting, Extensional Lambda Calculi, and Fixpoints.	Theor. Comput. Sci.	1996	DBLP DOI BibTeX RDF
23	Tsong Yueh Chen	On the Structural Properties of the Set of Fixpoints for Nondeterministic Recursive Definitions.	J. Comput. Syst. Sci.	1996	DBLP DOI BibTeX RDF
23	Melvin Fitting	A Program to Compute Gödel-Löb Fixpoints.	Bull. EATCS	1996	DBLP BibTeX RDF
23	Roope Kaivola	Fixpoints for Rabin Tree Automata Make Complementation Easy.	ICALP	1996	DBLP DOI BibTeX RDF
23	Harald Søndergaard	Immediate Fixpoints and Their Use in Groundness Analysis.	FSTTCS	1996	DBLP DOI BibTeX RDF
23	Li-Ling Chen, Williams Ludwell Harrison III, Kwangkeun Yi	Efficient computation of fixpoints that arise in complex program analysis.	J. Program. Lang.	1995	DBLP BibTeX RDF
23	Giuseppe De Giacomo, Maurizio Lenzerini	Concept Language with Number Restrictions and Fixpoints, and its Relationship with Mu-calculus.	ECAI	1994	DBLP BibTeX RDF
23	Lakshmikanth Ghatraju, Mostafa I. H. Abd-El-Barr, Carl McCrosky	High-Level Synthesis of Digital Circuits by Finding Fixpoints.	EDAC-ETC-EUROASIC	1994	DBLP DOI BibTeX RDF
23	Niels Jörgensen	Finding Fixpoints in Finite Function Spaces Using Neddedness Analysis and Chaotic Iteration.	SAS	1994	DBLP DOI BibTeX RDF
23	Joachim Lambek	Least Fixpoints of Endofunctors of Cartesian Closed Categories.	Math. Struct. Comput. Sci.	1993	DBLP DOI BibTeX RDF
23	Dan Suciu	Bounded Fixpoints for Complex Objects.	DBPL	1993	DBLP BibTeX RDF
23	Ed Brinksma	On the Uniqueness of Fixpoints Modulo Observation Congruence.	CONCUR	1992	DBLP DOI BibTeX RDF
23	Bernhard Banaschewski	Fixpoints Without the Natural Numbers.	Math. Log. Q.	1991	DBLP DOI BibTeX RDF
23	Irène Guessarian	About Algebras, Fixpoints and Semantics.	AMAST	1991	DBLP BibTeX RDF
23	Hagen Huwig, Axel Poigné	A Note on Inconsistencies Caused by Fixpoints in a Cartesian Closed Category.	Theor. Comput. Sci.	1990	DBLP DOI BibTeX RDF
23	Irène Guessarian	About Fixpoints for Concurrency.	Semantics of Systems of Concurrent Processes	1990	DBLP DOI BibTeX RDF
23	Michael J. Maher, Raghu Ramakrishnan 0001	Déjà Vu in Fixpoints of Logic Programs.	NACLP	1989	DBLP BibTeX RDF
23	Robert S. Streett	Fixpoints and Program Looping: Reductions form the Propositional MU-Calculus into Propositional Dynamic Logics of Looping.	Logic of Programs	1985	DBLP DOI BibTeX RDF
23	Tsong Yueh Chen	On the Fixpoints of Nondeterministic Recursive Definitions.	J. Comput. Syst. Sci.	1984	DBLP DOI BibTeX RDF
23	Tsong Yueh Chen	On the Relationship between Computed Functions and Fixpoints of Nondeterministic Recursive Definitions	Inf. Control.	1981	DBLP DOI BibTeX RDF
23	Axel Poigné	Context-Free Languages of Infinite Words As Least Fixpoints.	FCT	1981	DBLP DOI BibTeX RDF
23	Jean H. Gallier	On The Existence of Optimal Fixpoints.	Math. Syst. Theory	1980	DBLP DOI BibTeX RDF
23	Patrick Cousot, Radhia Cousot	Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints.	POPL	1977	DBLP DOI BibTeX RDF
23	Willem P. de Roever	On Backtracking and Greatest Fixpoints.	ICALP	1977	DBLP DOI BibTeX RDF
23	Willem P. de Roever	On Backtracking and Greatest Fixpoints.	Formal Description of Programming Concepts	1977	DBLP BibTeX RDF
14	Walter Guttmann	General Correctness Algebra.	RelMiCS	2009	DBLP DOI BibTeX RDF
14	Corina Cîrstea, Clemens Kupke, Dirk Pattinson	EXPTIME Tableaux for the Coalgebraic µ-Calculus.	CSL	2009	DBLP DOI BibTeX RDF
14	Christian Schulte 0001, Peter J. Stuckey	Efficient constraint propagation engines.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	Constraint (logic) programming, fixpoint reasoning, events, priorities, constraint propagation, finite domain constraints
14	Ti Zhou, Mengjun Li, Zhoujun Li 0001	Local abstract verification and refinement of security protocols.	FMSE	2008	DBLP DOI BibTeX RDF	verification, refinement, abstraction, security protocols
14	Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger	Loop Summarization Using Abstract Transformers.	ATVA	2008	DBLP DOI BibTeX RDF
14	Bhargav S. Gulavani, Supratik Chakraborty, Aditya V. Nori, Sriram K. Rajamani	Automatically Refining Abstract Interpretations.	TACAS	2008	DBLP DOI BibTeX RDF
14	Francesco Ranzato, Olivia Rossi-Doria, Francesco Tapparo	A Forward-Backward Abstraction Refinement Algorithm.	VMCAI	2008	DBLP DOI BibTeX RDF
14	Thomas Colcombet, Christof Löding	The Nesting-Depth of Disjunctive µ-Calculus for Tree Languages and the Limitedness Problem.	CSL	2008	DBLP DOI BibTeX RDF
14	Sasidhar Sunkari, Supratik Chakraborty, Vivekananda M. Vedula, Kailasnath Maneparambil	A Scalable Symbolic Simulator for Verilog RTL.	MTV	2007	DBLP DOI BibTeX RDF
14	Patrick Baillot, Paolo Coppola 0001, Ugo Dal Lago	Light Logics and Optimal Reduction: Completeness and Complexity.	LICS	2007	DBLP DOI BibTeX RDF
14	Stephane Gaubert, Eric Goubault, Ankur Taly, Sarah Zennou	Static Analysis by Policy Iteration on Relational Domains.	ESOP	2007	DBLP DOI BibTeX RDF
14	Frédéric Besson, Thomas P. Jensen, Tiphaine Turpin	Small Witnesses for Abstract Interpretation-Based Proofs.	ESOP	2007	DBLP DOI BibTeX RDF
14	Pierre Genevès, Nabil Layaïda, Alan Schmitt	Efficient static analysis of XML paths and types.	PLDI	2007	DBLP DOI BibTeX RDF	satisfiability, modal logic, XPath, type checking
14	Farn Wang, Geng-Dian Huang, Fang Yu 0001	TCTL Inevitability Analysis of Dense-Time Systems: From Theory to Engineering.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	inevitability, non-Zeno, greatest fixpoint, real-time systems, model-checking, abstraction, TCTL
14	James Laird	Bidomains and Full Abstraction for Countable Nondeterminism.	FoSSaCS	2006	DBLP DOI BibTeX RDF
14	Axel Simon, Andy King	Widening Polyhedra with Landmarks.	APLAS	2006	DBLP DOI BibTeX RDF
14	Peter Gärdenfors, Massimo Warglien	Cooperation, Conceptual Spaces and the Evolution of Semantics.	EELC	2006	DBLP DOI BibTeX RDF
14	Bhargav S. Gulavani, Sriram K. Rajamani	Counterexample Driven Refinement for Abstract Interpretation.	TACAS	2006	DBLP DOI BibTeX RDF
14	Francesco Ranzato, Francesco Tapparo	Strong Preservation of Temporal Fixpoint-Based Operators by Abstract Interpretation.	VMCAI	2006	DBLP DOI BibTeX RDF
14	Huimin Lin	A Predicate Spatial Logic and Model Checking for Mobile Processes.	ICTAC	2004	DBLP DOI BibTeX RDF
14	Patricia Johann, Janis Voigtländer	Free theorems in the presence of seq.	POPL	2004	DBLP DOI BibTeX RDF	controlling strict evaluation, short cut fusion, theorems for free, program transformations, Haskell, denotational semantics, parametricity, correctness proofs, logical relations
14	Christian Schulte 0001, Peter J. Stuckey	Speeding Up Constraint Propagation.	CP	2004	DBLP DOI BibTeX RDF
14	Sava Krstic, John Matthews	Inductive Invariants for Nested Recursion.	TPHOLs	2003	DBLP DOI BibTeX RDF
14	Michael Gordon Abbott, Thorsten Altenkirch, Neil Ghani, Conor McBride	Derivatives of Containers.	TLCA	2003	DBLP DOI BibTeX RDF
14	Orna Kupferman, Moshe Y. Vardi	Π2 ∩ Σ2 ≡ AFMC.	ICALP	2003	DBLP DOI BibTeX RDF
14	Ben C. Moszkowski	A Hierarchical Completeness Proof for Propositional Temporal Logic.	Verification: Theory and Practice	2003	DBLP DOI BibTeX RDF
14	Farn Wang, Geng-Dian Hwang, Fang Yu 0001	TCTL Inevitability Analysis of Dense-Time Systems.	CIAA	2003	DBLP DOI BibTeX RDF	Branching temporal logics, inevitability, greatest fixpoint, real-time systems, model-checking, abstraction, TCTL
14	Marsha Chechik, Wendy MacCaull	CTL Model-Checking over Logics with Non-Classical Negations.	ISMVL	2003	DBLP DOI BibTeX RDF
14	Damien Massé	Property Checking Driven Abstract Interpretation-Based Static Analysis.	VMCAI	2003	DBLP DOI BibTeX RDF
14	Akira Mori, Kokichi Futatsugi	CafeOBJ as a Tool for Behavioral System Verification.	ISSS	2002	DBLP DOI BibTeX RDF
14	Benjamin Grégoire, Xavier Leroy	A compiled implementation of strong reduction.	ICFP	2002	DBLP DOI BibTeX RDF	beta-equivalence, calculus of constructions, normalization by evaluation, strong reduction, virtual machine, abstract machine, Coq
14	Luca de Alfaro	Model Checking the World Wide Web.	CAV	2001	DBLP DOI BibTeX RDF
14	Eugene Asarin, Gerardo Schneider, Sergio Yovine	On the Decidability of the Reachability Problem for Planar Differential Inclusions.	HSCC	2001	DBLP DOI BibTeX RDF
14	Marc Denecker, Nikolay Pelov, Maurice Bruynooghe	Ultimate Well-Founded and Stable Semantics for Logic Programs with Aggregates.	ICLP	2001	DBLP DOI BibTeX RDF
14	Rastislav Kralovic	On Majority Voting Games in Trees.	SOFSEM	2001	DBLP DOI BibTeX RDF
14	Mathieu Jaume	Logic Programming and Co-inductive Definitions.	CSL	2000	DBLP DOI BibTeX RDF
14	Patrick Cousot	Partial Completeness of Abstract Fixpoint Checking.	SARA	2000	DBLP DOI BibTeX RDF
14	Roderick Bloem, Kavita Ravi, Fabio Somenzi	Efficient Decision Procedures for Model Checking of Linear Time Logic Properties.	CAV	1999	DBLP DOI BibTeX RDF
14	Andreas Abel 0001, Thorsten Altenkirch	A Predicative Strong Normalisation Proof for a lambda-Calculus with Interleaving Inductive Types.	TYPES	1999	DBLP DOI BibTeX RDF
14	Kavita Ravi, Fabio Somenzi	Efficient Fixpoint Computation for Invariant Checking.	ICCD	1999	DBLP DOI BibTeX RDF
14	Roberto Giacobazzi	A Tutorial on Domain Theory in Abstract Interpretation.	SAS	1998	DBLP DOI BibTeX RDF
14	Ben C. Moszkowski	Compositional Reasoning Using Interval Temporal Logic and Tempura.	COMPOS	1997	DBLP DOI BibTeX RDF
14	Stefan Brass, Jürgen Dix	Characterizing D-WFS: Confluence and Iterated GCWA.	JELIA	1996	DBLP DOI BibTeX RDF
14	Michaela Huhn	Action Refinement and Property Inheritance in Systems of Sequential Agents.	CONCUR	1996	DBLP DOI BibTeX RDF
14	Pawel Urzyczyn	Positive Recursive Type Assignment.	MFCS	1995	DBLP DOI BibTeX RDF
14	Bernhard Steffen, Andreas Claßen, Marion Klein, Jens Knoop, Tiziana Margaria	The Fixpoint-Analysis Machine.	CONCUR	1995	DBLP DOI BibTeX RDF
14	Serge Abiteboul, Jan Van den Bussche	Deep Equality Revisited.	DOOD	1995	DBLP DOI BibTeX RDF
14	David E. Long, Anca Browne, Edmund M. Clarke, Somesh Jha, Wilfredo R. Marrero	An Improved Algorithm for the Evaluation of Fixpoint Expressions.	CAV	1994	DBLP DOI BibTeX RDF
14	Delia Kesner	Reasoning about Layered, Wildcard and Product Patterns.	ALP	1994	DBLP DOI BibTeX RDF
14	Roberto Di Cosmo, Delia Kesner	Combining First Order Algebraic Rewriting Systems, Recursion and Extensional Lambda Calculi.	ICALP	1994	DBLP DOI BibTeX RDF
14	Gerhard Köstler, Werner Kießling, Helmut Thöne, Ulrich Güntzer	The Differential Fixpoint Operator with Subsumption.	DOOD	1993	DBLP DOI BibTeX RDF
14	Rance Cleaveland, Marion Klein, Bernhard Steffen	Faster Model Checking for the Modal Mu-Calculus.	CAV	1992	DBLP DOI BibTeX RDF
14	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
14	Suresh Jagannathan, Gul Agha	A Reflective Model of Inheritance.	ECOOP	1992	DBLP DOI BibTeX RDF
14	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
14	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
14	François Denis, Jean-Paul Delahaye	Unfolding, Procedural and Fixpoint Semantics of Logic Programs.	STACS	1991	DBLP DOI BibTeX RDF
14	Aïda Batarekh	Fixpoint Techniques for Non-Monotone Maps.	ALP	1990	DBLP DOI BibTeX RDF
14	Jean-Paul Delahaye, V. Thibau	The Optimal Model of a Program with Negation.	JELIA	1990	DBLP DOI BibTeX RDF