Editing HAL/S (section)

{{Short description|Programming language}}
[[File:HAL_S.png|thumb|right|Logo]]
'''HAL/S''' (''High-order Assembly Language/Shuttle'')<ref>{{cite web|title=STS Software|url=http://science.ksc.nasa.gov/shuttle/technology/sts-newsref/sts-av.html#sts-dps-software|work=NSTS 1988 News Reference Manual|publisher=NASA|accessdate=2011-03-30|archive-date=2012-02-20|archive-url=https://web.archive.org/web/20120220215516/http://science.ksc.nasa.gov/shuttle/technology/sts-newsref/sts-av.html#sts-dps-software|url-status=dead}}</ref><ref>{{Cite book|url=https://www.nap.edu/read/2222/chapter/5|title=Read "An Assessment of Space Shuttle Flight Software Development Processes" at NAP.edu|year=1993|doi=10.17226/2222|hdl=2060/19930019745|isbn=978-0-309-04880-4|language=en}}</ref>  is a [[real-time computing|real-time]] [[aerospace]] [[programming language]] compiler and cross-compiler for avionics applications used by NASA and associated agencies ([[JPL]], etc.). It has been used in many U.S. space projects since 1973 and its most significant use was in the [[Space Shuttle program]] (approximately 85% of the Shuttle software was coded in HAL/S).<ref>{{Cite web|url=https://archive.org/details/NASA_NTRS_Archive_19810022530|title=Current Status of the HAL/S Compiler|last=Lytle|first=P.J.|date=1981|website=Archive.org|access-date=}}</ref>  It was designed by [[Intermetrics]] in 1972 for [[NASA]] and delivered in 1973. HAL/S is written in [[XPL]], a dialect of [[PL/I]].<ref>{{Cite web|url=https://www.cs.toronto.edu/XPL/hal.html|title=The Development of Hal/S|last=|first=|date=|website=Department of Computer Science, University of Toronto|access-date=}}</ref> Although HAL/S is designed primarily for programming on-board computers, it is general enough to meet nearly all the needs in the production, verification, and support of aerospace and other real-time applications. According to documentation from 2005, it was being maintained by the HAL/S project of [[United Space Alliance]].<ref name="hal-s-specification-nov2005">{{Cite web|url = http://klabs.org/richcontent/software_content/hal_s/hal-s_language_specification.pdf|title = HAL/S Language Specification|date = November 2005|access-date = 2016-11-16|url-status = dead|archive-url = https://web.archive.org/web/20090226213557/http://klabs.org/richcontent/software_content/hal_s/hal-s_language_specification.pdf|archive-date = 2009-02-26}}</ref>