Software construction using typed fragments

This publication has 9 references indexed in Scilit:

• Visibility aspects of programmed dynamic data structures
  Communications of the ACM, 1984
• Viewing a programming environment as a single tool
  Published by Association for Computing Machinery (ACM) ,1984
• Graphical program development with PECAN program development systems
  Published by Association for Computing Machinery (ACM) ,1984
• Programming in Modula-2
  Published by Springer Nature ,1982
• The Programmer's Apprentice: Knowledge Based Program Editing
  IEEE Transactions on Software Engineering, 1982
• Dynamically structured data
  Software: Practice and Experience, 1981
• The Cornell program synthesizer
  Communications of the ACM, 1981
• Transformational Implementation: An Example
  IEEE Transactions on Software Engineering, 1981
• The programmer's workbench—a machine for software development
  Communications of the ACM, 1977