7 papers:
ICSE-v2-2015-MaplesdenRTHG #analysis #case study #industrial #performance #using- Performance Analysis Using Subsuming Methods: An Industrial Case Study (DM, KvR, EDT, JGH, JCG), pp. 149–158.
ASE-2014-HarmanJMP #effectiveness #empirical #higher-order #performance- Angels and monsters: an empirical investigation of potential test effectiveness and efficiency improvement from strongly subsuming higher order mutation (MH, YJ, PRM, MP), pp. 397–408.
ICLP-2010-SantosM10 #named #prolog- Subsumer: A Prolog theta-subsumption engine (JS, SM), pp. 172–181.
RTA-2010-NeurauterM #integer #polynomial- Polynomial Interpretations over the Reals do not Subsume Polynomial Interpretations over the Integers (FN, AM), pp. 243–258.
- CL-2000-Gennari #algorithm #consistency
- Arc Consistency Algorithms via Iterations of Subsumed Functions (RG), pp. 358–372.
TLCA-1999-Levy #call-by #named #paradigm- Call-by-Push-Value: A Subsuming Paradigm (PBL), pp. 228–242.
LICS-1987-BidoitF #logic programming- Minimalism subsumes Default Logic and Circumscription in Stratified Logic Programming (NB, CF), pp. 89–97.
