Edmond Schonberg

27 papers A* 1C 1Misc 4Journal 5Unranked 15
YearRankTypeTitle / Venue / Authors
2024 — conf
The Early Development of SETL.
From Computational Logic to Computational Biology
Edmond Schonberg
2013 — book
Ada 2012 Reference Manual. Language and Standard Libraries - International Standard ISO/IEC 8652/2012 (E)
S. Tucker Taft, Robert A. Duff, Randall Brukardt, Erhard Plödereder, Pascal Leroy, Edmond Schonberg
2012 — conf
Hi-Lite: the convergence of compiler technology and program verification.
HILT
Johannes Kanig, Edmond Schonberg, Claire Dross
2012 — conf
Implementation of a simple dimensionality checking system in Ada 2012.
HILT
Edmond Schonberg, Vincent Pucci
2010 Misc conf
Towards Ada 2012: An Interim Report.
Ada-Europe
Edmond Schonberg
2010 — conf
Towards Ada 2012: an interim report.
SIGAda
Edmond Schonberg
2006 Misc conf
Abstract Interface Types in GNAT: Conversions, Discriminants, and C++.
Ada-Europe
Javier Miranda, Edmond Schonberg
2005 Misc conf
The Implementation of Ada 2005 Interface Types in the GNAT Compiler.
Ada-Europe
Javier Miranda, Edmond Schonberg, Gary Dismukes
2005 — conf
The implementation of ada 2005 synchronized interfaces in the GNAT compiler.
SIGAda
Javier Miranda, Edmond Schonberg, Hristian Hristov Kirtchev
2004 Misc conf
Dynamic Ceiling Priorities: A Proposal for Ada0Y.
Ada-Europe
Jorge Real, Alan Burns, Javier Miranda, Edmond Schonberg, Alfons Crespo
2004 — conf
GNAT: on the road to Ada 2005.
SIGAda
Javier Miranda, Edmond Schonberg
2003 — conf
Dynamic ceiling priorities in GNAT implementation report.
IRTAW
Javier Miranda, Edmond Schonberg, Miguel Masmano, Jorge Real, Alfons Crespo
1994 — conf
The GNAT Project: A GNU-Ada 9X Compiler.
TRI-Ada
Edmond Schonberg, Bernard Banner
1992 J jnl
A Technical Tour of Ada.
Commun. ACM
Edmond Schonberg, Mark Gerhard, Charlene Hayden
1992 — conf
Assessing Ada 9X OOP: Building a Reusable Components Library.
TRI-Ada
Bernard Banner, Edmond Schonberg
1992 — conf
Teaching Ada 9X.
TRI-Ada
Edmond Schonberg
1991 — conf
Efficient loop-level parallelism in Ada.
TRI-Ada
Michael Hind, Edmond Schonberg
1990 C conf
A program analysis tool for evaluating the Ada compiler validation suite.
SETA
Deborah Rennels, Edmond Schonberg
1985 — conf
Highly parallel Ada - Ada on an ultracomputer.
SIGAda
Edith Schonberg, Edmond Schonberg
1984 J jnl
Software Prototyping using the SETL Programming Language.
IEEE Softw.
Philippe Kruchten, Edmond Schonberg, Jacob Schwart
1982 — conf
An efficient method for handling operator overloading in Ada.
AdaTEC Conference on Ada
Edmond Schonberg, Gerald A. Fisher
1981 J jnl
An Automatic Technique for Selection of Data Structures in SETL Programs.
ACM Trans. Program. Lang. Syst.
Edmond Schonberg, Jacob T. Schwartz, Micha Sharir
1980 — conf
The NYU Ada translator and interpreter.
SIGPLAN
Robert B. K. Dewar, Gerald A. Fisher, Edmond Schonberg, Robert Fröhlich, Stephen Bryant, Clinton F. Goss, Michael G. Burke
1979 A* conf
Automatic Data Structure Selection in SETL.
POPL
Edmond Schonberg, Jacob T. Schwartz, Micha Sharir
1979 J jnl
Hierarchical design and efficient implementation in SETL: a case study.
ACM SIGPLAN Notices
Edmond Schonberg
1979 J jnl
Programming by Refinement, as Exemplified by the SETL Representation Sublanguage.
ACM Trans. Program. Lang. Syst.
Robert B. K. Dewar, Arthur Grand, Ssu-Cheng Liu, Jacob T. Schwartz, Edmond Schonberg
1979 — conf
The elements of SETL style.
ACM Annual Conference
Robert B. K. Dewar, Edmond Schonberg