On Parameterized Abstractions in Unrolling-Based Decision Procedure for Algebraic Data Types

Tuan-Hung Pham, Michael W Whalen

Research output: Working paper

Original languageUndefined/Unknown
StatePublished - 2013

Cite this

@techreport{40ea29d1869f4d5b8455ae3f67bcdaa3,
title = "On Parameterized Abstractions in Unrolling-Based Decision Procedure for Algebraic Data Types",
author = "Tuan-Hung Pham and Whalen, {Michael W}",
year = "2013",
language = "Undefined/Unknown",
type = "WorkingPaper",

}

TY - UNPB

T1 - On Parameterized Abstractions in Unrolling-Based Decision Procedure for Algebraic Data Types

AU - Pham, Tuan-Hung

AU - Whalen, Michael W

PY - 2013

Y1 - 2013

M3 - Working paper

BT - On Parameterized Abstractions in Unrolling-Based Decision Procedure for Algebraic Data Types

ER -