Title: The FD-MCP framework
Authors: Wuille, Pieter
Schrijvers, Tom
Issue Date: Aug-2009
Publisher: Department of Computer Science, K.U.Leuven
Series Title: CW Reports vol:CW562
Abstract: This report presents FD-MCP, a finite domain modeling language on top of the Monadic Constraint Programming framework for Haskell. FD-MCP leverages Haskell's rich static type system and powerful abstraction mechanisms for implementing syntactic sugar, model transformations and compilation to solver backends. Two backends are provided: a basic Haskell solver and a Gecode code generator.
Publication status: published
KU Leuven publication type: IR
Appears in Collections:Informatics Section

Files in This Item:
File Description Status SizeFormat
CW562.pdfDocument Published 305KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.