Inference-based overloading resolution for ADA

This publication has 5 references indexed in Scilit:

• Natural semantics
  Published by Springer Nature ,2005
• The PSG system: from formal language definitions to interactive programming environments
  ACM Transactions on Programming Languages and Systems, 1986
• Unification in many-sorted algebras as a device for incremental semantic analysis
  Published by Association for Computing Machinery (ACM) ,1986
• Executable specification of static semantics
  Published by Springer Nature ,1984
• Incremental Context-Dependent Analysis for Language-Based Editors
  ACM Transactions on Programming Languages and Systems, 1983