default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBenjamin M. Brosgol
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2019
[j2]Benjamin M. Brosgol
:
How to Succeed in the Software Business While Giving Away the Source Code: The AdaCore Experience. IEEE Softw. 36(6): 17-22 (2019)- [c40]Benjamin M. Brosgol, Claire Dross, Yannick Moy:
Tutorial: A Practical Introduction to Formal Development and Verification of High-Assurance Software with SPARK. SecDev 2019: 1-2 - 2012
- [e3]Ben Brosgol, Jeff Boleng, S. Tucker Taft:
Proceedings of the 2012 ACM Conference on High Integrity Language Technology, HILT '12, December 2-6, 2012, Boston, Massachusetts, USA. ACM 2012, ISBN 978-1-4503-1505-0 [contents] - 2011
- [c39]Benjamin M. Brosgol:
Do-178c: the next avionics safety standard. SIGAda 2011: 5-6 - 2010
- [c38]Benjamin M. Brosgol:
A Comparison of Generic Template Support: Ada, C++, C#, and JavaTM. Ada-Europe 2010: 222-237
2000 – 2009
- 2009
- [c37]Ben Brosgol:
An introduction to the C# language and .NET infrastructure. SIGAda 2009: 3-4 - 2008
- [c36]Benjamin M. Brosgol:
A Comparison of the Object-Oriented Features of Ada 2005 and JavaTM. Ada-Europe 2008: 115-129 - [c35]Benjamin M. Brosgol:
MP1: languages for safety-critical software: issues and assessment. SIGAda 2008: 7-8 - [c34]Benjamin M. Brosgol:
From strawman to Ada 2005: a socio-technical retrospective. SIGAda 2008: 13-14 - [c33]Greg Gicca, Benjamin M. Brosgol:
GNAT BoF: where would you like to see GNAT go? SIGAda 2008: 139-140 - 2007
- [c32]Benjamin M. Brosgol:
Languages for Safety-Critical Software: Issues and Assessment. ICSE Companion 2007: 180-181 - [c31]Ben Brosgol, Mario Aldea Rivas:
Introduction. IRTAW 2007: 88-89 - [c30]Andy J. Wellings, Alan Burns, Osmar Marchi dos Santos, Benjamin M. Brosgol:
Integrating Priority Inheritance Algorithms in the Real-Time Specification for Java. ISORC 2007: 115-123 - [c29]Benjamin M. Brosgol:
SA2: languages for safety-critical software: issues and assessment. SIGAda 2007: 2 - 2006
- [c28]Benjamin M. Brosgol, Andy J. Wellings:
A Comparison of Ada and Real-Time JavaTM for Safety-Critical Applications. Ada-Europe 2006: 13-26 - 2005
- [c27]Benjamin M. Brosgol:
A Comparison of the Mutual Exclusion Features in Ada and the Real-Time Specification for Java TM. Ada-Europe 2005: 129-143 - 2003
- [c26]Benjamin M. Brosgol, Andy J. Wellings:
A Comparison of the Asynchronous Transfer of Control Features in Ada and the Real-Time Speci.cation for Java. Ada-Europe 2003: 113-128 - 2002
- [c25]Benjamin M. Brosgol, Ricardo J. Hassan II, Scott Robbins:
Asynchronous transfer of control in the real-time specification for java™. IRTAW 2002: 95-112 - [c24]Alan Burns, Ben Brosgol:
Session summary: future of the Ada language and language changes such as the Ravenscar profile. IRTAW 2002: 113-119 - [c23]Ben Brosgol, Michael González Harbour:
Session summary: update on the real-time specification for java. IRTAW 2002: 128-130 - [c22]Joyce L. Tokar, Ben Brosgol:
Session summary: summary and plans for next IRTAW. IRTAW 2002: 131 - [c21]Benjamin M. Brosgol, Scott Robbins, Ricardo J. Hassan II:
Asynchronous Transfer of Control in the Real-Time Specification for Java. Symposium on Object-Oriented Real-Time Distributed Computing 2002: 101-108 - 2001
- [c20]Benjamin M. Brosgol, Brian Dobbing:
Can Java Meet Its Real-Time Deadlines? Ada-Europe 2001: 68-87 - [c19]Benjamin M. Brosgol, Brian Dobbing:
Real-time convergence of Ada and Java™. SIGAda 2001: 11-26 - [c18]Benjamin M. Brosgol:
A Survey and Comparison of Concurrency and Real-Time Programming Support in Java, Ada, and Posix. TOOLS (39) 2001: 362 - [e2]Benjamin M. Brosgol, Michael González Harbour:
Proceedings of the 10th International Workshop on Real-Time Ada, IRTAW 2000, Ávila, Spain, 2000. ACM 2001, ISBN 978-1-4503-7327-2 [contents] - 2000
- [c17]Benjamin M. Brosgol:
Real-Time Programming in Java. TOOLS (34) 2000: 487-488
1990 – 1999
- 1999
- [c16]Benjamin M. Brosgol:
Ada and the Objects. TOOLS (30) 1999: 438 - 1998
- [c15]Benjamin M. Brosgol:
A Comparison of the Concurrency Features of Ada 95 and Java. SIGAda 1998: 175-192 - [c14]Benjamin M. Brosgol:
Ada and the Objects. TOOLS (26) 1998: 404 - 1997
- [c13]Benjamin M. Brosgol:
A Comparison of the Object-Oriented Features of Ada 95 and Java. TRI-Ada 1997: 213-229 - 1996
- [c12]Benjamin M. Brosgol:
The Dining Philosophers in Ada 95. Ada-Europe 1996: 247-261 - 1994
- [c11]Ben Brosgol, Robert I. Eachus, David E. Emery:
Information systems development in Ada. WADAS 1994: 2-16 - 1993
- [c10]Benjamin M. Brosgol:
Information Systems Support in Ada 9X. Ada-Europe 1993: 36-53 - 1992
- [j1]Benjamin M. Brosgol:
Ada - Preface to the Special Section. Commun. ACM 35(11): 41-42 (1992) - [c9]Benjamin M. Brosgol, Robert I. Eachus, David E. Emery:
Decimal Arithmetic in Ada. Ada-Europe 1992: 138-149 - [c8]Benjamin M. Brosgol:
Ada 9X and Information Systems. TRI-Ada 1992: 97-99 - [c7]Kenneth Fussichen, Pete Jeffcoat, Robert I. Eachus, Benjamin M. Brosgol, Jeffrey T. Stevenson, Jeffrey P. Hustad, David E. Emery:
Panel theme: Ada and management information systems. WADAS 1992: 181-186 - 1991
- [c6]Ben Brosgol, Stephen Faris, Marc H. Graham, James W. Moore, Jean-Pierre Rosen, S. Tucker Taft:
Ada and SQL. TRI-Ada 1991: 257-266
1980 – 1989
- 1987
- [e1]Benjamin M. Brosgol:
Proceedings of the 1987 Annual ACM SIGAda International Conference on Ada, SIGAda 1987, Boston, Massachusetts, USA, 1987. ACM 1987, ISBN 978-0-89791-243-3 [contents] - 1986
- [c5]Benjamin M. Brosgol:
Tutorial on exception handling in Ada. WADAS 1986: 179-228 - 1985
- [c4]Rene Beretz, Benjamin M. Brosgol:
Developing an automated Ada training product. SIGAda 1985: 229-240 - 1980
- [c3]Benjamin M. Brosgol:
TCOLAda and the "middle end" of the PQCC Ada compiler. SIGPLAN 1980: 101-112
1970 – 1979
- 1976
- [c2]Benjamin M. Brosgol:
Some issues in data types and type checking. Design and Implementation of Programming Languages 1976: 102-130 - 1973
- [b1]Benjamin M. Brosgol:
Deterministic Translation Grammars. Outstanding Dissertations in the Computer Sciences, Garland Publishing, New York 1973, ISBN 0-8240-4400-2 - 1971
- [c1]Benjamin M. Brosgol:
An implementation of ECL data types. International Symposium on Extensible Languages 1971: 87-95
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:10 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
