Edmond Schonberg

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
The Early Development of SETL.
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)
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.
Proceedings of the 2012 ACM Conference on High Integrity Language Technology, 2012

Hi-Lite: the convergence of compiler technology and program verification.
Proceedings of the 2012 ACM Conference on High Integrity Language Technology, 2012

2010
Towards Ada 2012: An Interim Report.
Proceedings of the Reliable Software Technologiey, 2010

2006
Abstract Interface Types in GNAT: Conversions, Discriminants, and C++.
Proceedings of the Reliable Software Technologies, 2006

2005
The implementation of ada 2005 synchronized interfaces in the GNAT compiler.
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.
Proceedings of the Reliable Software Technology, 2005

2004
GNAT: on the road to Ada 2005.
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.
Proceedings of the Reliable Software Technologies, 2004

2003
Dynamic ceiling priorities in GNAT implementation report.
Proceedings of the 12th International Workshop on Real-Time Ada, 2003

1994
The GNAT Project: A GNU-Ada 9X Compiler.
Proceedings of the 1994 Conference on TRI-Ada 1994, 1994

1992
A Technical Tour of Ada.
Commun. ACM, 1992

Teaching Ada 9X.
Proceedings of the Conference Proceedings on TRI-Ada 1992, 1992

Assessing Ada 9X OOP: Building a Reusable Components Library.
Proceedings of the Conference Proceedings on TRI-Ada 1992, 1992

1991
Efficient loop-level parallelism in Ada.
Proceedings of the Conference on TRI-Ada 1991, 1991

1990
A program analysis tool for evaluating the Ada compiler validation suite.
Proceedings of the First International Symposium on Environments and Tools for Ada, 1990

1985
Highly parallel Ada - Ada on an ultracomputer.
Proceedings of the 1985 Annual ACM SIGAda International Conference on Ada, 1985

1984
Software Prototyping using the SETL Programming Language.
IEEE Softw., 1984

1982
An efficient method for handling operator overloading in Ada.
Proceedings of the AdaTEC Conference on Ada, 1982

1981
An Automatic Technique for Selection of Data Structures in SETL Programs.
ACM Trans. Program. Lang. Syst., 1981

1980
The NYU Ada translator and interpreter.
Proceedings of the ACM-SIGPLAN symposium on The ADA programming language, 1980

1979
Programming by Refinement, as Exemplified by the SETL Representation Sublanguage.
ACM Trans. Program. Lang. Syst., 1979

Hierarchical design and efficient implementation in SETL: a case study.
ACM SIGPLAN Notices, 1979

Automatic Data Structure Selection in SETL.
Proceedings of the Conference Record of the Sixth Annual ACM Symposium on Principles of Programming Languages, 1979

The elements of SETL style.
Proceedings of the 1979 Annual Conference, Detroit, Michigan, USA, October 29-31, 1979., 1979


  Loading...