Stem fixpoint$ (all stems)

74 papers:

CSL-2015-CranenLW #fixpoint #logic

Evidence for Fixpoint Logic (SC, BL, TACW), pp. 78–93.

ICLP-J-2015-BogaertsB #approximate #compilation #fixpoint #logic programming #source code #using

Knowledge compilation of logic programs using approximation fixpoint theory (BB, GVdB), pp. 464–480.

LICS-2015-BenediktCB #decidability #fixpoint #logic

Interpolation with Decidable Fixpoint Logics (MB, BtC, MVB), pp. 378–389.

CIAA-2014-EsparzaLS #equation #fixpoint #named

FPsolve: A Generic Solver for Fixpoint Equations over Semirings (JE, ML, MS), pp. 1–15.

KR-2014-StrassW #approximate #complexity #fixpoint #framework

Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory (HS, JPW).

IJCAR-2014-Gore #fixpoint #logic #ltl

And-Or Tableaux for Fixpoint Logics with Converse: LTL, CTL, PDL and CPDL (RG), pp. 26–45.

LICS-CSL-2014-ChaudhuriG #calculus #fixpoint #similarity

Equality and fixpoints in the calculus of structures (KC, NG), p. 10.

VMCAI-2013-SeladjiB #abstract domain #analysis #fixpoint #tool support #using

Fixpoint Computation in the Polyhedra Abstract Domain Using Convex and Numerical Analysis Tools (YS, OB), pp. 149–168.

KR-2012-Grossi #fixpoint

Fixpoints and Iterated Updates in Abstract Argumentation (DG).

SAS-2011-MonniauxG #bound #fixpoint #model checking #using

Using Bounded Model Checking to Focus Fixpoint Iterations (DM, LG), pp. 369–385.

CAV-2011-PhamTTC #constraints #fixpoint #named #quantifier

FixBag: A Fixpoint Calculator for Quantified Bag Constraints (THP, MTT, AHT, WNC), pp. 656–662.

PODS-2010-DeutchKM #fixpoint #markov #on the #probability #query

On probabilistic fixpoint and Markov chain query languages (DD, CK, TM), pp. 215–226.

ICLP-J-2010-HouCD #fixpoint #logic #rule-based

FO(FD): Extending classical logic with rule-based fixpoint definitions (PH, BdC, MD), pp. 581–596.

FoSSaCS-2009-Clairambault #fixpoint #game studies #semantics

Least and Greatest Fixpoints in Game Semantics (PC), pp. 16–31.

CIAA-2009-GantyMR #abstraction #automaton #fixpoint #refinement

Fixpoint Guided Abstraction Refinement for Alternating Automata (PG, NM, JFR), pp. 155–164.

CAV-2009-GawlitzaS #fixpoint #game studies

Games through Nested Fixpoints (TG, HS), pp. 291–305.

KR-2008-Cortes-CalabuigDAB #approximate #database #fixpoint #performance #query

Accuracy and Efficiency of Fixpoint Methods for Approximate Query Answering in Locally Complete Databases (ACC, MD, OA, MB), pp. 81–91.

ESOP-2007-GawlitzaS #fixpoint #precise

Precise Fixpoint Computation Through Strategy Iteration (TG, HS), pp. 300–315.

SAS-2007-CousotGR #abstraction

Fixpoint-Guided Abstraction Refinements (PC, PG, JFR), pp. 333–348.

POPL-2006-AlurCM #calculus #fixpoint

A fixpoint calculus for local and global program flows (RA, SC, PM), pp. 153–165.

VMCAI-2006-RanzatoT #abstract interpretation

Strong Preservation of Temporal Fixpoint-Based Operators by Abstract Interpretation (FR, FT), pp. 332–347.

IFM-2005-BarradasB #fixpoint #semantics

A Fixpoint Semantics of Event Systems With and Without Fairness Assumptions (HRB, DB), pp. 327–346.

CSL-2005-BradfieldK #complexity #fixpoint #logic

The Complexity of Independence-Friendly Fixpoint Logic (JCB, SK), pp. 355–368.

DATE-v2-2004-LinZ #fixpoint

Wire Retiming for System-on-Chip by Fixpoint Computation (CL, HZ), pp. 1092–1097.

PPDP-2003-ZhouS #fixpoint #linear #performance

Efficient fixpoint computation in linear tabling (NFZ, TS), pp. 275–283.

TLCA-2003-Montelatici #fixpoint #proving #semantics

Polarized Proof Nets with Cycles and Fixpoints Semantics (RM), pp. 256–270.

CSL-2002-Chen #fixpoint #parallel

A Fixpoint Theory for Non-monotonic Parallelism (YC), pp. 120–134.

DAC-2001-ZhouSN #analysis #fixpoint

Timing Analysis with Crosstalk as Fixpoints on Complete Lattice (HZ, NVS, WN), pp. 714–719.

CL-2000-WangZL #fixpoint #logic programming #source code

Alternating Fixpoint Theory for Logic Programs with Priority (KW, LZ, FL), pp. 164–178.

FM-v1-1999-DeharbeM #fixpoint #model checking

Symbolic Model Checking with Fewer Fixpoint Computations (DD, AMM), pp. 272–288.

ICFP-1999-SplawskiU #fixpoint #recursion

Type Fixpoints: Iteration vs. Recursion (ZS, PU), pp. 102–113.

CSL-1999-Bradfield #fixpoint #game studies #quantifier

Fixpoint Alternation and the Game Quantifier (JCB), pp. 350–361.

CSL-1999-SeidlN #fixpoint #on the

On Guarding Nested Fixpoints (HS, AN), pp. 484–498.

ESOP-1998-FechtS #algorithm #constraints #difference #fixpoint #performance

Propagating Differences: An Efficient New Fixpoint Algorithm for Distributive Constraint Systems (CF, HS), pp. 90–104.

CADE-1998-Crary #fixpoint #induction

Admissibility of Fixpoint Induction over Partial Types (KC), pp. 270–285.

LICS-1997-Janin #automaton #calculus #fixpoint #reduction #theorem

Automata, Tableaus and a Reduction Theorem for Fixpoint Calculi in Arbitrary Complete Lattices (DJ), pp. 172–182.

LICS-1997-Rathke #fixpoint #induction #process

Unique Fixpoint Induction for Value-Passing Processes (Extended Abstract) (JR), pp. 140–148.

ICALP-1996-Kaivola #automaton #fixpoint

Fixpoints for Rabin Tree Automata Make Complementation Easy (RK), pp. 312–323.

CC-1996-GeserKLRS #fixpoint #higher-order

Non-monotone Fixpoint Iterations to Resolve Second Order Effects (AG, JK, GL, OR, BS), pp. 106–120.

CSL-1996-Dziembowski #bound #fixpoint #query

Bounded-Variable Fixpoint Queries are PSPACE-complete (SD), pp. 89–105.

CAV-1995-CousotC #composition #constraints #equation #fixpoint #game studies #induction #rule-based #semantics

Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-condition, Rule-based and Game-Theoretic Form (PC, RC), pp. 293–308.

ILPS-1995-LeoneS #declarative #fixpoint #modelling

Declarative and Fixpoint Characterizations of Disjunctive Stable Models (NL, FS), pp. 399–413.

EDAC-1994-GhatrajuAM #fixpoint #synthesis

High-Level Synthesis of Digital Circuits by Finding Fixpoints (LG, MHAEB, CM), pp. 94–98.

SAS-1994-Consel #analysis #fixpoint #performance #strict

Fast Strictness Analysis Via Symbolic Fixpoint Iteration (CC), pp. 423–431.

SAS-1994-Jorgensen #analysis #finite #fixpoint #using

Finding Fixpoints in Finite Function Spaces Using Neddedness Analysis and Chaotic Iteration (NJ), pp. 329–345.

CAV-1994-LongBCJM #algorithm #evaluation #fixpoint

An Improved Algorithm for the Evaluation of Fixpoint Expressions (DEL, AB, EMC, SJ, WRM), pp. 338–350.

PODS-1993-Morishita #fixpoint #source code

An Alternating Fixpoint Tailored to Magic Programs (SM), pp. 123–134.

WSA-1993-CharlierDMH #abstract interpretation #algorithm #fixpoint #optimisation #performance #prolog

Optimization Techniques for General Purpose Fixpoint Algorithms — Practical Efficiency for the Abstract Interpretation of Prolog (BLC, OD, LM, PVH), pp. 15–26.

WSA-1993-Jorgensen #dependence #fixpoint

Chaotic Fixpoint Iteration Guided by Dynamic Dependency (NJ), pp. 27–44.

ICLP-1993-BossiBF #fixpoint #prolog #semantics

A New Fixpoint Semantics for Prolog (AB, MB, MF), pp. 374–389.

ILPS-1993-MartelliMP #fixpoint #semantics

Fixpoint Semantics of L-λ (MM, AM, CP), p. 666.

ILPS-1993-NystromJ #concurrent #constraints #fixpoint #programming #semantics

Indeterminate Concurrent Constraint Programming: A Fixpoint Semantics for Non-Terminating Computations (SON, BJ), pp. 335–352.

ALP-1992-GabbrielliM #fixpoint #semantics

Fixpoint Semantics for Partial Computed Answer Substitutions and Call Patterns (MG, MCM), pp. 84–99.

CSL-1992-Bosse #fixpoint #game studies #logic

An “Ehrenfeucht-Fraïssé Game” for Fixpoint Logic and Stratified Fixpoint Logic (UB), pp. 100–114.

LICS-1992-KolaitisV #fixpoint #logic

Fixpoint Logic vs. Infinitary Logic in Finite-Model Theory (PGK, MYV), pp. 46–57.

WSA-1991-DenisD #fixpoint #logic programming #semantics #source code

Unfolding, Procedural and Fixpoint Semantics of Logic Programs (FD, JPD), pp. 157–164.

VLDB-1990-RamakrishnanSS #bottom-up #evaluation #fixpoint #logic programming #source code

Rule Ordering in Bottom-Up Fixpoint Evaluation of Logic Programs (RR, DS, SS), pp. 359–371.

ALP-1990-Batarekh #fixpoint

Fixpoint Techniques for Non-Monotone Maps (AB), pp. 132–143.

ALP-1990-GabbrielliL #concurrent #constraints #fixpoint #logic programming #semantics #source code

Unfolding and Fixpoint Semantics of Concurrent Constraint Logic Programs (MG, GL), pp. 204–216.

CLP-1990-Fages90 #fixpoint #logic programming #semantics #source code

A New Fixpoint Semantics for General Logic Programs Compared with the Well-Founded and the Stable Model Semantics (FF), pp. 441–458.

CSL-1990-Stark #fixpoint #logic #on the

On the Existence of Fixpoints in Moore’s Autoepistemic Logic and the Non-Monotonic Logic of McDermott and Doyle (RFS), pp. 354–365.

LICS-1990-CroleP #fixpoint

New Foundations for Fixpoint Computations (RLC, AMP), pp. 489–497.

PODS-1989-Gelder #fixpoint #logic programming #source code

The Alternating Fixpoint of Logic Programs with Negation (AVG), pp. 1–10.

LICS-1989-AbiteboulV #first-order #fixpoint #logic

Fixpoint Extensions of First-Order Logic and Datalog-Like Languages (SA, VV), pp. 71–79.

NACLP-1989-DungK89a #approach #declarative #fixpoint #logic programming #semantics #source code

A Fixpoint Approach to Declarative Semantics of Logic Programs (PMD, KK), pp. 604–625.

NACLP-1989-MaherR #fixpoint #logic programming #source code

Déjà Vu in Fixpoints of Logic Programs (MJM, RR), pp. 963–980.

PODS-1988-KolaitisP #fixpoint #question #why

Why Not Negation by Fixpoint? (PGK, CHP), pp. 231–239.

POPL-1988-Vardi #calculus #fixpoint

A Temporal Fixpoint Calculus (MYV), pp. 250–259.

JICSCP-1988-Levi88 #fixpoint #modelling #semantics

Models, Unfolding Rules and Fixpoint Semantics (GL), pp. 1649–1665.

PODS-1982-ChandraH #fixpoint #horn clause #query

Horn Clauses and the Fixpoint Query Hierarchy (AKC, DH), pp. 158–163.

ICALP-1980-EmersonC #correctness #fixpoint #parallel #source code #using

Characterizing Correctness Properties of Parallel Programs Using Fixpoints (EAE, EMC), pp. 169–181.

ICALP-1977-Roever #backtracking #fixpoint #on the

On Backtracking and Greatest Fixpoints (WPdR), pp. 412–429.

POPL-1977-CousotC #abstract interpretation #approximate #fixpoint #source code #static analysis

Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints (PC, RC), pp. 238–252.

ICALP-1972-MannaV #approach #fixpoint #formal method

Fixpoint Approach to the Theory of Computation (ZM, JV), pp. 273–291.