HAL/S

Known as: HAL, HAL/S programming language 
HAL/S (High-order Assembly Language/Shuttle) is a real-time aerospace programming language, best known for its use in the Space Shuttle program. It… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1979-2018
0119792018

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they… (More)
Is this relevant?
2012
2012
0950-7051/$ see front matter 2012 Elsevier B.V. A http://dx.doi.org/10.1016/j.knosys.2012.04.011 ⇑ Corresponding author at: MOE… (More)
  • table 1
  • table 2
  • table 3
  • figure 1
  • table 4
Is this relevant?
Review
1993
Review
1993
The Space Shuttle avionics system flight software is a highly complex, hard real-time, man-rated system. The heart of the Shuttle… (More)
Is this relevant?
1985
1985
Programming languages Hal/S and Ada are the primary candidates for space station flight software. Almost all shuttle flight… (More)
Is this relevant?
1982
1982
HAL/S is a large general purpose real-time programming language somewhat similar to ADA. Its major applications are for embedded… (More)
Is this relevant?
1981
1981
The research described in this paper was an attempt to evaluate the applicability of program verification techniques to an… (More)
Is this relevant?
Review
1980
Review
1980
The notion of embedding assertions in applications programs to aid in program verification and testing is not at all new; yet… (More)
Is this relevant?
1979
1979
Code generation has withstood attempts at automation for some time. This paper describes a non-procedural, problem-oriented… (More)
  • figure 4.2
  • figure 4.2
Is this relevant?