Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Schonberg, Edmond
45  Ergebnisse:
Personensuche X
?
1

The Early Development of SETL:

, In: Lecture Notes in Computer Science; From Computational Logic to Computational Biology,
Schonberg, Edmond - p. 3-8 , 2024
Link: https://doi.org/10.1007/..
 
?
2

Ada 2012 Reference Manual. Language and Standard Libraries 

International Standard ISO/IEC 8652/2012 (E)  Lecture Notes in Computer Science ; 8339;SpringerLink, Bücher
Taft, S. Tucker ; Duff, Robert A. ; Brukardt, Randall L. ; Leroy, Pascal.. , 2013
Link: https://doi.org/10.1007/..
 
?
3

Implementation of a simple dimensionality checking system i..:

Schonberg, Edmond ; Pucci, Vincent
ACM SIGAda Ada Letters.  32 (2012)  3 - p. 35-42 , 2012
Link: https://doi.org/10.1145/..
 
?
4

Implementation of a simple dimensionality checking system i..:

, In: Proceedings of the 2012 ACM conference on High integrity language technology,
Schonberg, Edmond ; Pucci, Vincent - p. 35-42 , 2012
Link: https://dl.acm.org/doi/1..
 
?
5

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

Kanig, Johannes ; Schonberg, Edmond ; Dross, Claire
ACM SIGAda Ada Letters.  32 (2012)  3 - p. 27-34 , 2012
Link: https://doi.org/10.1145/..
 
?
6

Hi-Lite : the convergence of compiler technology and pro..:

, In: Proceedings of the 2012 ACM conference on High integrity language technology,
Kanig, Johannes ; Schonberg, Edmond ; Dross, Claire - p. 27-34 , 2012
Link: https://dl.acm.org/doi/1..
 
?
7

Towards Ada 2012 : an interim report:

, In: Proceedings of the ACM SIGAda annual international conference on SIGAda,
Schonberg, Edmond - p. 63-70 , 2010
Link: https://dl.acm.org/doi/1..
 
?
8

Towards Ada 2012: an interim report:

Schonberg, Edmond
ACM SIGAda Ada Letters.  30 (2010)  3 - p. 63-70 , 2010
Link: https://doi.org/10.1145/..
 
?
9

Abstract Interface Types in GNAT: Conversions, Discriminant..:

, In: Reliable Software Technologies – Ada-Europe 2006; Lecture Notes in Computer Science,
Miranda, Javier ; Schonberg, Edmond - p. 179-190 , 2006
Link: https://doi.org/10.1007/..
 
?
10

Abstract interface types in GNAT : conversions, discrimi..:

, In: Proceedings of the 11th Ada-Europe international conference on Reliable Software Technologies,
Miranda, Javier ; Schonberg, Edmond - p. 179-190 , 2006
Link: https://dl.acm.org/doi/1..
 
?
11

The implementation of ada 2005 interface types in the GNAT ..:

, In: Proceedings of the 10th Ada-Europe international conference on Reliable Software Technologies,
Miranda, Javier ; Schonberg, Edmond ; Dismukes, Gary - p. 208-219 , 2005
Link: https://dl.acm.org/doi/1..
 
?
12

The implementation of ada 2005 synchronized interfaces in t..:

Miranda, Javier ; Schonberg, Edmond ; Kirtchev, Hristian
ACM SIGAda Ada Letters.  XXV (2005)  4 - p. 41-48 , 2005
Link: https://doi.org/10.1145/..
 
?
13

The implementation of ada 2005 synchronized interfaces in t..:

, In: 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,
Miranda, Javier ; Schonberg, Edmond ; Kirtchev, Hristian - p. 41-48 , 2005
Link: https://dl.acm.org/doi/1..
 
?
14

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

, In: Reliable Software Technology – Ada-Europe 2005; Lecture Notes in Computer Science,
Miranda, Javier ; Schonberg, Edmond ; Dismukes, Gary - p. 208-219 , 2005
Link: https://doi.org/10.1007/..
 
?
15

GNAT : on the road to Ada 2005:

, In: 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,
Miranda, Javier ; Schonberg, Edmond - p. 51-60 , 2004
Link: https://dl.acm.org/doi/1..
 
1-15