Michael Feldman, S. Tucker Taft
Proceedings of the ACM SIGAda Annual Conference on High Integrity Language Technology
HILT, 2014.

@proceedings{HILT-2014,
	address       = "Portland, Oregon, USA",
	doi           = "10.1145/2663171",
	editor        = "Michael Feldman and S. Tucker Taft",
	isbn          = "978-1-4503-3217-0",
	publisher     = "{ACM}",
	title         = "{Proceedings of the ACM SIGAda Annual Conference on High Integrity Language Technology}",
	year          = 2014,
}

Contents (16 items)

5 ×#modelling
4 ×#ada
3 ×#named
2 ×#specification

HILT-2014-Anderson #ada

From Ada 9x to spaceport America: going where no one has gone before (CA), pp. 1–2.

HILT-2014-BarnesT #ada #design #lessons learnt

Ada 83 to Ada 2012: lessons learned over 30 years of language design (JB, STT), pp. 3–4.

HILT-2014-Crocker #c++ #question

Can C++ be made as safe as SPARK? (DC), pp. 5–12.

HILT-2014-SzaboVKRS #development #embedded #named

mbeddr: extensible languages for embedded software development (TS, MV, BK, DR, BS), pp. 13–16.

HILT-2014-Feiler #modelling

AADL and model-based engineering (PHF), pp. 17–18.

HILT-2014-GacekBCSW #architecture #assurance #modelling #named

Resolute: an assurance case language for architecture models (AG, JB, DDC, KS, MWW), pp. 19–28.

HILT-2014-AhmadLBZD #behaviour #cyber-physical #hybrid #interactive #modelling

Hybrid annex: an AADL extension for continuous behavior and cyber-physical interaction modeling (EA, BRL, SCB, NZ, YD), pp. 29–38.

HILT-2014-HuguesG #ada #modelling

Leveraging Ada 2012 and SPARK 2014 for assessing generated code from AADL models (JH, CG), pp. 39–46.

HILT-2014-Larson #semantics #specification

Formal semantics for the PACEMAKER system specification (BRL), pp. 47–60.

HILT-2014-Seidewitz #execution #modelling #uml

UML with meaning: executable modeling in foundational UML and the Alf action language (ES), pp. 61–68.

HILT-2014-Ball #compilation #correctness #logic #research #verification

Correctness via compilation to logic: a decade of verification at microsoft research (TB), pp. 69–70.

HILT-2014-BaggeH #algebra #api #specification #why

Specification of generic APIs, or: why algebraic may be better than pre/post (AHB, MH), pp. 71–80.

HILT-2014-RathjeR #framework #java #model checking #network #source code

A framework for model checking UDP network programs with Java pathfinder (WR, BR), pp. 81–86.

HILT-2014-TaftMPM #ada #parallel #programming

Safe parallel programming in ada with language extensions (STT, BM, LMP, SM), pp. 87–96.

HILT-2014-BocchinoGGS #named #programming language

Spot: a programming language for verified flight software (RLB, EG, KPG, RRS), pp. 97–102.

HILT-2014-MatsakisK #rust

The rust language (NDM, FSKI), pp. 103–104.