FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
On the type structure of standard ML
ACM Transactions on Programming Languages and Systems (TOPLAS)
Isomorphisms of types: from &lgr;-calculus to information retrieval and language design
Isomorphisms of types: from &lgr;-calculus to information retrieval and language design
The definition of extended ML: a gentle introduction
Theoretical Computer Science - Special issue: algebraic development techniques
Specification matching of software components
ACM Transactions on Software Engineering and Methodology (TOSEM)
The Definition of Standard ML
AMPHION: Automatic Programming for Scientific Subroutine Libraries
ISMIS '94 Proceedings of the 8th International Symposium on Methodologies for Intelligent Systems
Type Isomorphisms for Module Signatures
PLILP '96 Proceedings of the 8th International Symposium on Programming Languages: Implementations, Logics, and Programs
A Lambda-Calculus Structure Isomorphic to Gentzen-Style Sequent Calculus Structure
CSL '94 Selected Papers from the 8th International Workshop on Computer Science Logic
Higher-Order Unification, Polymorphism, and Subsorts (Extended Abstract)
Proceedings of the 2nd International CTRS Workshop on Conditional and Typed Rewriting Systems
Deductive Composition of Astronomical Software from Subroutine Libraries
CADE-12 Proceedings of the 12th International Conference on Automated Deduction
Linear higher-order pre-unification
LICS '97 Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science
Specification-Based Retrieval Strategies for Module Reuse
ASWEC '01 Proceedings of the 13th Australian Conference on Software Engineering
Foundations for a tool for the automatic adaptation of software components based on semantic specifications
Achieving seamless component composition through scenario-based deep adaptation and generation
Science of Computer Programming - Special issue on new software composition concepts
Rethinking software connectors
International workshop on Synthesis and analysis of component connectors: in conjunction with the 6th ESEC/FSE joint meeting
Poplar: Java composition with labels and AI planning
Proceedings of the 2nd workshop on Free composition @ onward! 2011
Graph-based proof counting and enumeration with applications for program fragment synthesis
LOPSTR'04 Proceedings of the 14th international conference on Logic Based Program Synthesis and Transformation
Automated creation and assessment of component adapters with test cases
CBSE'10 Proceedings of the 13th international conference on Component-Based Software Engineering
Hi-index | 0.00 |
We describe the design and methods of a tool that, based on behavioral specifications in interfaces, generates simple adaptation code to overcome incompatibilities between Standard ML modules.