BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Schonberg:Edmond

Contributed to:

HILT 20122012
Ada-Europe 20102010
SIGAda 20102010
Ada-Europe 20062006
Ada-Europe 20052005
SIGAda 20052005
Ada-Europe 20042004
SIGAda 20042004
TRI-Ada 19941994
TRI-Ada 19921992
POPL 19791979

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.