default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHILT 2014: Portland, Oregon, USA
- Michael B. Feldman, S. Tucker Taft:
Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, HILT 2014, Portland, Oregon, USA, October 18-21, 2014. ACM 2014, ISBN 978-1-4503-3217-0
Monday keynote address
- Christine Anderson:
From Ada 9x to spaceport America: going where no one has gone before. 1-2
Enhancing and evolving embedded systems languages for safety
- John Barnes, S. Tucker Taft:
Ada 83 to Ada 2012: lessons learned over 30 years of language design. 3-4 - David Crocker:
Can C++ be made as safe as SPARK? 5-12 - Tamás Szabó, Markus Voelter, Bernd Kolb, Daniel Ratiu, Bernhard Schätz:
mbeddr: extensible languages for embedded software development. 13-16
Model-based engineering
- Peter H. Feiler:
AADL and model-based engineering. 17-18 - Andrew Gacek, John Backes, Darren D. Cofer, Konrad Slind, Mike Whalen:
Resolute: an assurance case language for architecture models. 19-28
Behavioral modeling and code generation
- Ehsan Ahmad
, Brian R. Larson, Stephen C. Barrett, Naijun Zhan, Yunwei Dong:
Hybrid annex: an AADL extension for continuous behavior and cyber-physical interaction modeling. 29-38 - Jérôme Hugues, Christophe Garion:
Leveraging Ada 2012 and SPARK 2014 for assessing generated code from AADL models. 39-46 - Brian R. Larson:
Formal semantics for the PACEMAKER system specification. 47-60 - Ed Seidewitz:
UML with meaning: executable modeling in foundational UML and the Alf action language. 61-68
Tuesday keynote address
- Thomas Ball:
Correctness via compilation to logic: a decade of verification at microsoft research. 69-70
Applying formal methods
- Anya Helene Bagge, Magne Haveraaen:
Specification of generic APIs, or: why algebraic may be better than pre/post. 71-80 - William Rathje, Brad Richards:
A framework for model checking UDP network programs with Java pathfinder. 81-86
Safe programming languages for the multicore era (I)
- S. Tucker Taft, Brad Moore, Luís Miguel Pinho, Stephen Michell:
Safe parallel programming in ada with language extensions. 87-96 - Robert L. Bocchino, Edward B. Gamble, Kim P. Gostelow, Raphael R. Some:
Spot: a programming language for verified flight software. 97-102 - Nicholas D. Matsakis, Felix S. Klock II:
The rust language. 103-104
Safe programming languages for the multicore era (II)
- Robert Bocchino, Nicholas D. Matsakis, S. Tucker Taft, Brian Larson, Ed Seidewitz:
Panel summary: finding safety in numbers: new languages for safe multicore programming and modeling. 105-106
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.
last updated on 2024-12-26 01:00 CET 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:
