A pragmatic approach to software synthesis

Authors:
Burkhard Freitag;Tiziana Margaria;Bernhard Steffen
Affiliations:
Technische Universitgt Miinchen, Orl6ansstr. 34, D-81667 Miinchen (Germany);Lehrstuhl fiir Informatik, Universitgt Passau, Innstr. 33, D-94032 Pa.~sau (Germany);Lehrstuhl fiir Informatik, Universitgt Passau, Innstr. 33, D-94032 Pa.~sau (Germany)
Venue:
IDL '94 Proceedings of the workshop on Interface definition languages
Year:
1994

Citing 7
Cited 1

Constraint logic programming

POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Constraint satisfaction in logic programming

Constraint satisfaction in logic programming
The concurrency workbench: a semantics-based tool for the verification of concurrent systems

ACM Transactions on Programming Languages and Systems (TOPLAS)
Communication and Concurrency

Communication and Concurrency
Extending Deductive Database Languages by Embedded Implications

LPAR '92 Proceedings of the International Conference on Logic Programming and Automated Reasoning
LOLA - A Logic Language for Deductive Databases and its Implementation

Proceedings of the Second International Symposium on Database Systems for Advanced Applications
The Concurrency Workbench

Proceedings of the International Workshop on Automatic Verification Methods for Finite State Systems

Quality engineering: leveraging heterogeneous information

VMCAI'11 Proceedings of the 12th international conference on Verification, model checking, and abstract interpretation

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present a practice oriented tool for software synthesis that supports the interface-correct configuration of complex systems from a library of reusable software components. Besides simply checking the interface-correctness of a link by means of type constraints, the tool is also designed to propose software components for solving a (loosely) specified problem within a certain context. In particular, it identifies possible interfacing modules that in case of an interface-conflict may serve for the right conversion, transformation or parameter configuration. We illustrate our tool, which is based on the deductive database system LOLA, in three application specific settings.