CLU reference manual
Computational geometry: an introduction
Computational geometry: an introduction
A 15 Year Perspective on Automatic Programming
IEEE Transactions on Software Engineering - Special issue on artificial intelligence and software engineering
Understanding and Automating Algorithm Design
IEEE Transactions on Software Engineering - Special issue on artificial intelligence and software engineering
An introduction to data types
ACM SIGPLAN Notices
IDL: sharing intermediate representations
ACM Transactions on Programming Languages and Systems (TOPLAS)
A note on Graham`s convex hull algorithm
Information Processing Letters
Algorithms
Information Processing Letters
The Modula-2 software component library: vol. 3
The Modula-2 software component library: vol. 3
Acta Informatica
The Ada Generic Library linear list processing packages
The Ada Generic Library linear list processing packages
Principles of parameterized programming
Software reusability: vol. 1, concepts and models
The templates approach to software reuse
Software reusability: vol. 1, concepts and models
Synthesizing programming environments from reusable features
Software reusability
The programmer's apprentice
Extending Objects to Support Multiple Interfaces and Access Control
IEEE Transactions on Software Engineering
KIDS: A Semiautomatic Program Development System
IEEE Transactions on Software Engineering
Module reuse by interface adaptation
Software—Practice & Experience
ML for the working programmer
The C++ programming language (2nd ed.)
The C++ programming language (2nd ed.)
Advances in computers
Enabling technology for knowledge sharing
AI Magazine
Mathematica: a system for doing mathematics by computer (2nd ed.)
Mathematica: a system for doing mathematics by computer (2nd ed.)
ACM Computing Surveys (CSUR)
The design and implementation of hierarchical software systems with reusable components
ACM Transactions on Software Engineering and Methodology (TOSEM)
Negotiated Interfaces for Software Reuse
IEEE Transactions on Software Engineering
Tutorial notes on partial evaluation
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Subject-oriented programming: a critique of pure objects
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Signature matching: a key to reuse
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Interfaces, protocols, and the semi-automatic construction of software adaptors
OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
Reengineering a complex application using a scalable data structure compiler
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
An Automatic Technique for Selection of Data Representations in SETL Programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Value Transmission Method for Abstract Data Types
ACM Transactions on Programming Languages and Systems (TOPLAS)
Abstraction and verification in Alphard: defining and specifying iteration and generators
Communications of the ACM
Data Abstraction and Program Development Using MODULA Two
Data Abstraction and Program Development Using MODULA Two
Functional Programming Using Standard ML
Functional Programming Using Standard ML
Software Component with ADA
The Denotational Description of Programming Languages: An Introduction
The Denotational Description of Programming Languages: An Introduction
A Discipline of Programming
Introduction to Discrete Structures for Computer Science and Engineering
Introduction to Discrete Structures for Computer Science and Engineering
Reusing Software: Issues and Research Directions
IEEE Transactions on Software Engineering
Conversion of Units of Measurement
IEEE Transactions on Software Engineering
Creation of Views for Reuse of Software with Different Data Representations
IEEE Transactions on Software Engineering
Views for Tools in Integrated Environments
Proceedings of an International Workshop on Advanced Programming Environments
Specifying Reusable Components Using Contracts
ECOOP '92 Proceedings of the European Conference on Object-Oriented Programming
SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
GLISP User''s Manual
A mathematical theory of global program optimization (Prentice-Hall series in automatic computation)
A mathematical theory of global program optimization (Prentice-Hall series in automatic computation)
Automated Software Synthesis: An Application in Mechanical CAD
IEEE Transactions on Software Engineering
Support of semantics recovery during code scavenging using repository classification
SSR '99 Proceedings of the 1999 symposium on Software reusability
Design Wizards and Visual Programming Environments for GenVoca Generators
IEEE Transactions on Software Engineering
Conversion of Units of Measurement
IEEE Transactions on Software Engineering
Using Patterns to Design Rules in Workflows
IEEE Transactions on Software Engineering
SARA '02 Proceedings of the 4th International Symposium on Abstraction, Reformulation, and Approximation
Interactions of Abstractions in Programming
SARA '02 Proceedings of the 4th International Symposium on Abstraction, Reformulation, and Approximation
Automatic Design Patterns Identification of C++ Programs
EurAsia-ICT '02 Proceedings of the First EurAsian Conference on Information and Communication Technology
Design Wizards and Visual Programming Environments for Generators
ICSR '98 Proceedings of the 5th International Conference on Software Reuse
Component-based workflow systems development
Decision Support Systems
Enabling Reuse-Based Software Development of Large-Scale Systems
IEEE Transactions on Software Engineering
Computer aided software design via inference and constraint propagation
Integrated Computer-Aided Engineering - Selected papers from the IEEE Conference on Information Reuse and Integration (IRI), July 13-15, 2008
Generation of geometric programs specified by diagrams
Proceedings of the 10th ACM international conference on Generative programming and component engineering
Hi-index | 0.00 |
A generic procedure can be specialized, by compilation through views, to operate directly on concrete data. A view is a computational mapping that describes how a concrete type implements an abstract type. Clusters of related views are needed for specialization of generic procedures that involve several types or several views of a single type. A user interface that reasons about relationships between concrete types and abstract types allows view clusters to be created easily. These techniques allow rapid specialization of generic procedures for applications.