18 papers:
CIAA-2015-KutribW #capacity- Expressive Capacity of Concatenation Freeness (MK, MW), pp. 199–210.
STOC-2013-KawarabayashiY #graph #testing- Testing subdivision-freeness: property testing meets structural graph theory (KiK, YY), pp. 437–446.
LICS-2013-LerouxPS #on the #problem- On the Context-Freeness Problem for Vector Addition Systems (JL, VP, GS), pp. 43–52.
FM-2012-HeatherS #framework #modelling- A Formal Framework for Modelling Coercion Resistance and Receipt Freeness (JH, SS), pp. 217–231.
FoSSaCS-2011-CaucalH #term rewriting #word- Regularity and Context-Freeness over Word Rewriting Systems (DC, DTH), pp. 214–228.
LATA-2010-Lin #calculus #complexity- Modal Nonassociative Lambek Calculus with Assumptions: Complexity and Context-Freeness (ZL0), pp. 414–425.
FATES-2004-BordbarO #approach #formal method #realtime #testing- Testing Deadlock-Freeness in Real-Time Systems: A Formal Approach (BB, KO), pp. 95–109.
PEPM-2000-LeviS #analysis #linear #refinement- Non Pair-Sharing and Freeness Analysis Through Linear Refinement (GL, FS), pp. 52–61.
SAS-1999-HillS #analysis #linear #refinement- Freeness Analysis Through Linear Refinement (PMH, FS), pp. 85–100.
- SAS-1996-BruynoogheDBDM #analysis #logic programming #source code
- A Freeness and Sharing Analysis of Logic Programs Based on a Pre-interpretation (MB, BD, DB, MD, AM), pp. 128–142.
- SAS-1994-GrasH #independence #strict #using
- Extracting Non-Strict Independent And-Parallelism Using Sharing and Freeness Information (DCG, MVH), pp. 297–313.
ICLP-1994-KingS- Depth-k Sharing and Freeness (AK, PS), pp. 553–568.
- WSA-1993-BruynoogheC #correctness
- Freeness, Sharing, Linearity and Correctness — All at Once (MB, MC), pp. 153–164.
- ICLP-1993-CodishDFB #analysis #correctness #logic programming #question #source code
- Freeness Analysis for Logic Programs — And Correctness? (MC, DD, GF, MB), pp. 116–131.
- ICLP-1993-DumortierJBC #analysis #constraints
- Freeness Analysis in the Presence of Numerical Constraints (VD, GJ, MB, MC), pp. 100–115.
- WSA-1992-BandaH
- A Practical Application of Sharing and Freeness Inference (MJGdlB, MVH), pp. 118–125.
- PEPM-1991-CortesiF #abstract domain #abstract interpretation #analysis #logic programming #source code
- Abstract Interpretation of Logic Programs: An Abstract Domain for Groundness, Sharing, Freeness and Compoundness Analysis (AC, GF), pp. 52–61.
- ICLP-1991-MuthukumarH #abstract interpretation
- Combined Determination of Sharing and Freeness of Program Variables through Abstract Interpretation (KM, MVH), pp. 49–63.
