A One-Pass Algorithm for Overload Resolution in Ada
From MaRDI portal
Publication:3954813
DOI10.1145/69622.69623zbMath0492.68030MaRDI QIDQ3954813
Publication date: 1982
Published in: ACM Transactions on Programming Languages and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/69622.69623
68Q60: Specification and verification (program logics, model checking, etc.)
68N01: General topics in the theory of software
68N25: Theory of operating systems
Uses Software