Generic procedures: An implementation and an undecidability result

DOI10.1016/0096-0551(80)90008-9MaRDI QIDQ3888503zbMATH OpenOpenAlexFDO

Authors Narain Gehani

Publication date 1980

Published in Computer Languages (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0096-0551(80)90008-9

zbMATH Keywords

abstractiongeneric proceduresmacrosprogramming languagestypesundecidabilityunits

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

This page was built for publication: Generic procedures: An implementation and an undecidability result

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3888503)