Paper Info
Title
The METAFrame'95 Environment
Abstract
programs whose implementation is supported by the automatic,library-based synthesis of linear compositions of modules. More complex controlstructures glueing the linear portions together must be programmed byhand. Still, being able to synthesize linear program fragments drastically improvesover other methods where only single components can be retrieved fromthe underlying repository. This is already true in cases where one is only interestedin the functionality of single components,...
Year
DOI
Venue
1996
10.1007/3-540-61474-5_100
CAV
Keywords
Field
DocType
linear program
Software engineering,Computer science,Data-flow analysis,Theoretical computer science,Intelligent Network,Formal methods
Conference
ISBN
Citations 
PageRank 
3-540-61474-5
15
1.26
References 
Authors
7
4
Name
Order
Citations
PageRank
Bernhard Steffen14239423.70
Tiziana Margaria22098247.17
Andreas Claßen314014.14
Volker Braun4839.86