Combinatory Logic Synthesizer

被引：0

作者：

Bessai, Jan ^{[1
]}

Dudenhefner, Andrej ^{[1
]}

Duedder, Boris ^{[1
]}

Martens, Moritz ^{[1
]}

Rehof, Jakob ^{[1
]}

机构：

[1] Tech Univ Dortmund, Dept Comp Sci, D-44221 Dortmund, Germany

来源：

LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: TECHNOLOGIES FOR MASTERING CHANGE, PT I | 2014年 / 8802卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

We present Combinatory Logic Synthesizer (CL)S, a type-based tool to automatically compose larger systems from repositories of components. We overview its underlying theory, combinatory logic with intersection types, and exemplify its application to synthesis. We describe features and architecture of the tool and our plans for its ongoing and future development. Finally, we present some use cases in ongoing work, especially in the context of synthesis for Object Oriented Software.

引用

页码：26 / 40

页数：15

共 21 条

[1] A FILTER LAMBDA-MODEL AND THE COMPLETENESS OF TYPE ASSIGNMENT [J].

BARENDREGT, H ;

COPPO, M ;

DEZANI-CIANCAGLINI, M .

JOURNAL OF SYMBOLIC LOGIC, 1983, 48 (04) :931-940

[2]

Bessai Jan, 2013, THESIS TU DORTMUND

[3] Algorithmic program synthesis: Introduction [J].

Bodik R. ;

Jobstmann B. .

International Journal on Software Tools for Technology Transfer, 2013, 15 (5-6) :397-411

[4]

BRACHA G, 1992, THESIS U UTAH SALT L

[5] A modal analysis of staged computation [J].

Davies, R ;

Pfenning, F .

JOURNAL OF THE ACM, 2001, 48 (03) :555-604

[6]

Dudder Boris, 2012, LIPICS, V16, P243, DOI [10.4230/ LIPIcs. CSL.2012.243, DOI 10.4230/LIPICS.CSL.2012.243]

[7]

Düdder B, 2014, LECT NOTES COMPUT SC, V8410, P67

[8]

Düdder B, 2013, LECT NOTES COMPUT SC, V7941, P125, DOI 10.1007/978-3-642-38946-7_11

[9]

FREEMAN T, 1991, SIGPLAN NOTICES, V26, P268, DOI 10.1145/113446.113468

[10]

Haack C., 2002, Algebraic Methodology and Software Technology. 9th International Conference, AMAST 2002. Proceedings (Lecture Notes in Computer Science Vol.2422), P83

← 1 2 3 →