Travelled to:1 × Portugal
1 × United Kingdom
2 × Spain
7 × USA
Collaborated with:J.Miranda ∅ B.Banner V.Pucci J.Kanig C.Dross G.Dismukes H.H.Kirtchev J.T.Schwartz M.Sharir J.Real A.Burns F.J.M.González A.Crespo
Talks about:ada (10) gnat (5) compil (4) implement (3) interfac (3) interim (2) toward (2) report (2) type (2) technolog (1)
Person: Edmond Schonberg
DBLP: Schonberg:Edmond
Contributed to:
2012
2010
20102006200520052004200419941992
1979Wrote 13 papers:
- HILT-2012-KanigSD #compilation #convergence #named #verification
- Hi-Lite: the convergence of compiler technology and program verification (JK, ES, CD), pp. 27–34.
- HILT-2012-SchonbergP #ada #implementation
- Implementation of a simple dimensionality checking system in Ada 2012 (ES, VP), pp. 35–42.
- AdaEurope-2010-Schonberg #ada #towards
- Towards Ada 2012: An Interim Report (ES), pp. 238–250.
- SIGAda-2010-Schonberg #ada #towards
- Towards Ada 2012: an interim report (ES), pp. 63–70.
- AdaEurope-2006-MirandaS #c++ #interface
- Abstract Interface Types in GNAT: Conversions, Discriminants, and C++ (JM, ES), pp. 179–190.
- AdaEurope-2005-MirandaSD #ada #compilation #implementation #interface
- The Implementation of Ada 2005 Interface Types in the GNAT Compiler (JM, ES, GD), pp. 208–219.
- SIGAda-2005-MirandaSK #ada #compilation #implementation #interface
- The implementation of ada 2005 synchronized interfaces in the GNAT compiler (JM, ES, HHK), pp. 41–48.
- AdaEurope-2004-RealBGSC #ada
- Dynamic Ceiling Priorities: A Proposal for Ada0Y (JR, AB, FJMG, ES, AC), pp. 261–272.
- SIGAda-2004-MirandaS #ada #named
- GNAT: on the road to Ada 2005 (JM, ES), pp. 51–60.
- TRI-Ada-1994-SchonbergB #compilation
- The GNAT Project: A GNU-Ada 9X Compiler (ES, BB), pp. 48–57.
- TRI-Ada-C-1992-BannerS #ada #component #library #object-oriented #reuse
- Assessing Ada 9X OOP: Building a Reusable Components Library (BB, ES), pp. 79–90.
- TRI-Ada-C-1992-Schonberg #ada #education
- Teaching Ada 9X (ES), pp. 101–106.
- POPL-1979-SchonbergSS #automation #data type
- Automatic Data Structure Selection in SETL (ES, JTS, MS), pp. 197–210.