Inference-based support for programming in the large

This publication has 11 references indexed in Scilit:

• A property-based method for selecting among multiple implementations of modules
  Published by Springer Nature ,2005
• The calculus of context relations
  Acta Informatica, 1991
• Incremental variant control
  Published by Association for Computing Machinery (ACM) ,1989
• Retrieving re-usable software components by polymorphic type
  Published by Association for Computing Machinery (ACM) ,1989
• Eine integrierte Softwareentwicklungs-Umgebung - ein alternativer konzeptioneller Ansatz
  Published by Springer Nature ,1989
• An integrated toolset for engineering software configurations
  ACM SIGPLAN Notices, 1988
• The PSG system: from formal language definitions to interactive programming environments
  ACM Transactions on Programming Languages and Systems, 1986
• Rcs — a system for version control
  Software: Practice and Experience, 1985
• Associative-Commutative Unification
  Published by Springer Nature ,1984
• Make — a program for maintaining computer programs
  Software: Practice and Experience, 1979