Stem mint$ (all stems)

5 papers:

FoSSaCS-2015-SchubertUZ #first-order #logic #on the

On the Mints Hierarchy in First-Order Intuitionistic Logic (AS, PU, KZ), pp. 451–465.

ICSE-2014-KaleeswaranTKO #automation #named #synthesis

MintHint: automated synthesis of repair hints (SK, VT, AK, AO), pp. 266–276.

PLDI-2010-WestbrookRIYAT #java #multi #named #programming #using

Mint: Java multi-stage programming using weak separability (EMW, MR, JI, YY, TA, WT), pp. 400–411.

ICSE-2009-HsuO #framework #named #testing

MINTS: A general framework and tool for supporting test-suite minimization (HYH, AO), pp. 419–429.

TLCA-1993-Akama #calculus #on the #reduction

On Mints’ Reduction for ccc-Calculus (YA), pp. 1–12.