Edmond Schonberg

According to our database, Edmond Schonberg authored at least 26 papers between 1979 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

The Early Development of SETL.

Edmond Schonberg

Proceedings of the From Computational Logic to Computational Biology, 2024

2013

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

Lecture Notes in Computer Science 8339, Springer, ISBN: 978-3-642-45418-9, 2013

2012

Implementation of a simple dimensionality checking system in Ada 2012.

Edmond Schonberg, Vincent Pucci

Proceedings of the 2012 ACM Conference on High Integrity Language Technology, 2012

Hi-Lite: the convergence of compiler technology and program verification.

Johannes Kanig, Edmond Schonberg, Claire Dross

Proceedings of the 2012 ACM Conference on High Integrity Language Technology, 2012

2010

Towards Ada 2012: An Interim Report.

Edmond Schonberg

Proceedings of the Reliable Software Technologiey, 2010

2006

Abstract Interface Types in GNAT: Conversions, Discriminants, and C++.

Javier Miranda, Edmond Schonberg

Proceedings of the Reliable Software Technologies, 2006

2005

The implementation of ada 2005 synchronized interfaces in the GNAT compiler.

Javier Miranda, Edmond Schonberg, Hristian Hristov Kirtchev

Proceedings of the 2005 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2005, 2005

The Implementation of Ada 2005 Interface Types in the GNAT Compiler.

Javier Miranda, Edmond Schonberg, Gary Dismukes

Proceedings of the Reliable Software Technology, 2005

2004

GNAT: on the road to Ada 2005.

Javier Miranda, Edmond Schonberg

Proceedings of the 2004 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2004, 2004

Dynamic Ceiling Priorities: A Proposal for Ada0Y.

Jorge Real, Alan Burns, Javier Miranda, Edmond Schonberg, Alfons Crespo

Proceedings of the Reliable Software Technologies, 2004

2003

Dynamic ceiling priorities in GNAT implementation report.

Javier Miranda, Edmond Schonberg, Miguel Masmano, Jorge Real, Alfons Crespo

Proceedings of the 12th International Workshop on Real-Time Ada, 2003

1994

The GNAT Project: A GNU-Ada 9X Compiler.

Edmond Schonberg, Bernard Banner

Proceedings of the 1994 Conference on TRI-Ada 1994, 1994

1992

A Technical Tour of Ada.

Edmond Schonberg, Mark Gerhard, Charlene Hayden

Commun. ACM, 1992

Teaching Ada 9X.

Edmond Schonberg

Proceedings of the Conference Proceedings on TRI-Ada 1992, 1992

Assessing Ada 9X OOP: Building a Reusable Components Library.

Bernard Banner, Edmond Schonberg

Proceedings of the Conference Proceedings on TRI-Ada 1992, 1992

1991

Efficient loop-level parallelism in Ada.

Michael Hind, Edmond Schonberg

Proceedings of the Conference on TRI-Ada 1991, 1991

1990

A program analysis tool for evaluating the Ada compiler validation suite.

Deborah Rennels, Edmond Schonberg

Proceedings of the First International Symposium on Environments and Tools for Ada, 1990

1985

Highly parallel Ada - Ada on an ultracomputer.

Edith Schonberg, Edmond Schonberg

Proceedings of the 1985 Annual ACM SIGAda International Conference on Ada, 1985

1984

Software Prototyping using the SETL Programming Language.

Philippe Kruchten, Edmond Schonberg, Jacob Schwart

IEEE Softw., 1984

1982

An efficient method for handling operator overloading in Ada.

Edmond Schonberg, Gerald A. Fisher

Proceedings of the AdaTEC Conference on Ada, 1982

1981

An Automatic Technique for Selection of Data Structures in SETL Programs.

Edmond Schonberg, Jacob T. Schwartz, Micha Sharir

ACM Trans. Program. Lang. Syst., 1981

1980

The NYU Ada translator and interpreter.

Robert B. K. Dewar, Gerald A. Fisher, Edmond Schonberg, Robert Fröhlich, Stephen Bryant, Clinton F. Goss, Michael G. Burke

Proceedings of the ACM-SIGPLAN symposium on The ADA programming language, 1980

1979

Programming by Refinement, as Exemplified by the SETL Representation Sublanguage.

Robert B. K. Dewar, Arthur Grand, Ssu-Cheng Liu, Jacob T. Schwartz, Edmond Schonberg

ACM Trans. Program. Lang. Syst., 1979

Hierarchical design and efficient implementation in SETL: a case study.

Edmond Schonberg

ACM SIGPLAN Notices, 1979

Automatic Data Structure Selection in SETL.

Edmond Schonberg, Jacob T. Schwartz, Micha Sharir

Proceedings of the Conference Record of the Sixth Annual ACM Symposium on Principles of Programming Languages, 1979

The elements of SETL style.

Robert B. K. Dewar, Edmond Schonberg

Proceedings of the 1979 Annual Conference, Detroit, Michigan, USA, October 29-31, 1979., 1979