|
sawine@1
|
1 |
\begin{thebibliography}{GHJV95}
|
|
sawine@1
|
2 |
|
|
sawine@1
|
3 |
\bibitem[ALSU07]{compilers}
|
|
sawine@1
|
4 |
Alfred~V. Aho, Monica~S. Lam, Ravi Sethi, and Jeffrey~D. Ullman.
|
|
sawine@1
|
5 |
\newblock {\em Compilers - Principles, Techniques and Tools}.
|
|
sawine@1
|
6 |
\newblock Addison Wesley, 2007.
|
|
sawine@1
|
7 |
|
|
sawine@1
|
8 |
\bibitem[Com05]{iec_61508}
|
|
sawine@1
|
9 |
International~Electrotechnical Commission.
|
|
sawine@1
|
10 |
\newblock {\em IEC 61508 Functional safety of
|
|
sawine@1
|
11 |
electrical/electronic/programmable electronic safety-related systems}.
|
|
sawine@1
|
12 |
\newblock IEC, 1998/2005.
|
|
sawine@1
|
13 |
|
|
sawine@1
|
14 |
\bibitem[DME99]{eurocontrol_dman}
|
|
sawine@1
|
15 |
E.~Dubouchet, G.~Mavoian, and E.Page.
|
|
sawine@1
|
16 |
\newblock {\em PHARE - Advanced Tools Departure Manager}.
|
|
sawine@1
|
17 |
\newblock EUROCONTROL / CENA, 1999.
|
|
sawine@1
|
18 |
|
|
sawine@1
|
19 |
\bibitem[DS09]{bison_manual}
|
|
sawine@1
|
20 |
Charles Donnelly and Richard Stallman.
|
|
sawine@1
|
21 |
\newblock {\em Bison -- The Yacc-compatible Parser Generator}.
|
|
sawine@1
|
22 |
\newblock Free Software Foundation, 2009.
|
|
sawine@1
|
23 |
|
|
sawine@1
|
24 |
\bibitem[GHJV95]{design_patterns}
|
|
sawine@1
|
25 |
Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides.
|
|
sawine@1
|
26 |
\newblock {\em Design Patterns. Elements of Reusable Object-Oriented Software}.
|
|
sawine@1
|
27 |
\newblock Addison-Wesley Longman, 1995.
|
|
sawine@1
|
28 |
|
|
sawine@1
|
29 |
\bibitem[Glo08]{code_gen}
|
|
sawine@1
|
30 |
Tilman Gloetzner.
|
|
sawine@1
|
31 |
\newblock {\em IEC 61508 Certification of a Code Generator}.
|
|
sawine@1
|
32 |
\newblock 3rd IET International conference on System Safety, 2008.
|
|
sawine@1
|
33 |
|
|
sawine@1
|
34 |
\bibitem[Joh]{yacc_paper}
|
|
sawine@1
|
35 |
Stephen~C. Johnson.
|
|
sawine@1
|
36 |
\newblock {\em Yacc: Yet Another Compiler-Compiler}.
|
|
sawine@1
|
37 |
\newblock The University of Texas At Austin \emph{(Online)}.
|
|
sawine@1
|
38 |
|
|
sawine@1
|
39 |
\bibitem[Klu07]{flugleiter_dman}
|
|
sawine@1
|
40 |
Marek Kluzniak.
|
|
sawine@1
|
41 |
\newblock {\em Departure Manager DMAN Frankfurt}.
|
|
sawine@1
|
42 |
\newblock Der Flugleiter -- Gewerkschaft der Flugsicherung GdF, April, 2007.
|
|
sawine@1
|
43 |
|
|
sawine@1
|
44 |
\bibitem[LS]{lex_paper}
|
|
sawine@1
|
45 |
M.~E. Lesk and E.~Schmidt.
|
|
sawine@1
|
46 |
\newblock {\em Lex -- A Lexical Analyser Generator}.
|
|
sawine@1
|
47 |
\newblock The University of Texas At Austin \emph{(Online)}.
|
|
sawine@1
|
48 |
|
|
sawine@1
|
49 |
\bibitem[May02]{personal}
|
|
sawine@1
|
50 |
Rodney May.
|
|
sawine@1
|
51 |
\newblock {\em Personal Competencies and the Requirements of IEC 61508}.
|
|
sawine@1
|
52 |
\newblock Programmable Electronics and Safety Systems: Issues, Standards and
|
|
sawine@1
|
53 |
Practical Aspects, 2002.
|
|
sawine@1
|
54 |
|
|
sawine@1
|
55 |
\bibitem[Men04]{moderne_flugsicherung}
|
|
sawine@1
|
56 |
Heinrich Mensen.
|
|
sawine@1
|
57 |
\newblock {\em Moderne Flugsicherung - Organisation, Verfahren, Technik}.
|
|
sawine@1
|
58 |
\newblock Springer, 2004.
|
|
sawine@1
|
59 |
|
|
sawine@1
|
60 |
\bibitem[Nie]{lex_yacc_guide}
|
|
sawine@1
|
61 |
Tom Niemann.
|
|
sawine@1
|
62 |
\newblock {\em A Compact Guide to Lex and Yacc}.
|
|
sawine@1
|
63 |
\newblock epaperpress.com.
|
|
sawine@1
|
64 |
|
|
sawine@1
|
65 |
\bibitem[Org96]{icao_4444}
|
|
sawine@1
|
66 |
International Civil~Aviation Organization.
|
|
sawine@1
|
67 |
\newblock {\em Procedures for Air Navigation Services: Rules of the Air and Air
|
|
sawine@1
|
68 |
Traffic Services}.
|
|
sawine@1
|
69 |
\newblock ICAO, 1996.
|
|
sawine@1
|
70 |
|
|
sawine@1
|
71 |
\bibitem[PEM07]{flex_manual}
|
|
sawine@1
|
72 |
Vern Paxson, Will Estes, and John Millaway.
|
|
sawine@1
|
73 |
\newblock {\em The flex Manual}.
|
|
sawine@1
|
74 |
\newblock The Flex Project, 2007.
|
|
sawine@1
|
75 |
|
|
sawine@1
|
76 |
\bibitem[Wir77]{ebnf}
|
|
sawine@1
|
77 |
Niklaus Wirth.
|
|
sawine@1
|
78 |
\newblock {\em Communications of the ACM}.
|
|
sawine@1
|
79 |
\newblock ACM, 1977.
|
|
sawine@1
|
80 |
|
|
sawine@1
|
81 |
\end{thebibliography}
|