Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

The elements of SETL style., and . ACM Annual Conference, page 24-32. ACM, (1979)Abstract Interface Types in GNAT: Conversions, Discriminants, and C++., and . Ada-Europe, volume 4006 of Lecture Notes in Computer Science, page 179-190. Springer, (2006)GNAT: on the road to Ada 2005., and . SIGAda, page 51-60. ACM, (2004)The implementation of ada 2005 synchronized interfaces in the GNAT compiler., , and . SIGAda, page 41-48. ACM, (2005)Implementation of a simple dimensionality checking system in Ada 2012., and . HILT, page 35-42. ACM, (2012)Towards Ada 2012: an interim report.. SIGAda, page 63-70. ACM, (2010)Hierarchical design and efficient implementation in SETL: a case study.. ACM SIGPLAN Notices, 14 (10): 69-74 (1979)Automatic Data Structure Selection in SETL., , and . POPL, page 197-210. ACM Press, (1979)Dynamic ceiling priorities in GNAT implementation report., , , , and . IRTAW, page 24-27. ACM, (2003)Dynamic Ceiling Priorities: A Proposal for Ada0Y., , , , and . Ada-Europe, volume 3063 of Lecture Notes in Computer Science, page 261-272. Springer, (2004)