末尾呼出し最適化（まつびよびだしさいてきか、tail call optimization）とは、末尾呼出しのコードを、戻り先を保存しないジャンプに変換することによって、スタックの累積を無くし、効率の向上などを図る手法である。末尾呼出しの除去（tail call elimination）などとも言う。関数呼出しでは、呼出し毎にスタックに呼出し元に戻るための情報を保存する。これをジャンプに最適化できれば、みかけの再帰がいくら深くなってもスタックが溢れたりすることがなくなる。この最適化が言語処理系によって行われるのであれば、プログラマが再帰的な手続きをループに変換することなく記述しても、再帰のためのスタック溢れを気にかける必要が無くなる。理論的には、継続渡しによるgotoと同等のジャンプ処理では、手続きの呼出し元の情報を保存する必要がないことに帰着する。この場合returnはgotoの特殊なケースで、ジャンプ先が呼出し元に等しいケースである。末尾最適化があれば、手続きの再帰を行なう時でも、結果はループと等価な処理手順となり、どれほど深い再帰を行なってもスタックオーバーフローを起こさない。このような振る舞いは「正しい終端再帰」と呼ばれる。Schemeは実装仕様として正しい終端再帰を要求する言語である。Schemeに限らず、一部Cコンパイラなどでも条件がそろえば、再帰呼び出しが最適化される事がある。
関数型言語では、自身の戻り値に別の関数の戻り値を使うという末尾呼び出しによるプログラミングは自然なスタイルである。特にSchemeは、後述の最適化を施すべきパターンを形式的に定め、最適化を行うよう仕様で定めている（properly tail-recursive）。また、関数型言語の処理系には、プログラム全体を継続渡しスタイルに変換し、全ての呼び出しを末尾呼び出しに変換する手法もある。置き換えモデルを基準に考えれば、ある手続きが返す値はその中で最後に呼び出した手続きの結果に等しく、それ以外の部分は過程の分岐または副作用をもつ場合のみ意味を持つ。従って上記関数的な観点では手続きの末尾だけを考慮すればよく、ここで再帰が行われる場合を末尾再帰という。LISPでの末尾再帰の例：(defun factorial (n &optional (acc 1))  (if (<= n 1)      acc    (factorial (- n 1) (* acc n))))F#での末尾再帰の例：// 非末尾再帰let rec fact n =  if n = 0 then 1 else fact (n - 1) * n// 末尾再帰let fact n =  let rec ifact n r =    if n = 0 then r else ifact (n - 1) (n * r)  ifact n 1末尾行では定義と同型の式が現れている。
マイヤーは、米海軍が生んだ最高の戦闘システムエンジニアと称されている。それは、システム工学における深い知識だけでなく、海戦史や自身の実務経験に裏打ちされた深い洞察によるものであった。マイヤーは、デジタルコンピュータの登場が戦闘艦の有り様を決定的に変化させたことを指摘し、将来の戦闘艦はシステム艦として、兵器および付随するシステム（射撃指揮装置など）、戦術情報処理装置、センサー、通信装置、さらには支援システム（電源、真水、空調など）などが緊密に連接された総合体となるであろうことを予見した。マイヤーは、1970年にイージス計画のプログラム・マネージャーに就任し、さらに1977年には、PMS-400編成訓令を受けて、イージスシステム構築に関する全権を掌握した。PMS-400は、イージス武器システムの開発、これを中核としたイージス戦闘システムの構築、イージス戦闘システムと艦の統合（イージス艦の構築）、さらにイージス艦の建造に至るまで全てを所管するプロジェクトである。マイヤーは、上記のシステム艦コンセプトに基づいてこれらのシステム統合を進める一方、イージスシステムの卓越したC4I能力に着目して、防空指揮所としての役割を重視して、イージスを有する次世代艦隊の戦闘術についての洞察も行なった。これは、イージスシステム搭載巡洋艦の艦長が対空戦闘指揮官として、空母戦闘群全体の対空戦闘を指揮するものであった。この構想では、リンク 11によって送信された他艦探知の敵機に対してのミサイル攻撃などが提唱されたが、これはのちに共同交戦能力 (CEC) として具体化することとなる。このように優れたシステムエンジニアとして活躍する一方、マイヤーは、イージスシステムが単なるシステムではなく兵器であることを重視しており、プロジェクトに参加した海軍軍人に対して、ワシントン特別区でありながら、制服の常時着用を義務付けたほか、イージス計画の民間側担当者であるRCA社の要員を試験艦ノートン・サウンドに乗艦させるなど、プロジェクトの全員がそれを意識するように配慮し、運用者の要求事項が即座にシステム構築に反映されるようにした。なお、マイヤーは、信賞必罰を旨として、自他いずれをも酷使することで知られており、部下が報告する際には威圧感に膝が笑い、RCA社やインガルス造船所の民間人スタッフですら、業績不振であれば計画より排除されるとあって、常に緊張を強いられていたと言われている。その一方、優秀企業に対してはイージス優秀賞を授与してこれを称え、また、部下が有益な発想をしめした際には、常にこれを聞き入れた。また、政府・海軍の高官や国会議員を積極的に試験艦や地上試験施設に招待し、持ち前の弁舌力を生かして、イージスシステムが如何に艦隊の有り様を変革しうるかをデモンストレーションして、支持者を拡大する努力を怠らなかった。特に、国防装備審議会（DSARC）においてイージスシステムの有効性を説明した際には、マイヤーが「イージスは必ず成功する」と机を叩いて力説した瞬間、劇的に雷鳴がとどろきわたり、委員を深く首肯させたとの逸話がある。彼の政治力は、実用イージス艦の第一号である「タイコンデロガ」 (CG-47)の進水式にレーガン大統領（当時）の出席を取り付けたことに象徴されていると言えるだろう。このように、マイヤーは、イージスシステム開発に多大な貢献をなしており、これについて、彼の副プロマネを務めた高官は、「リッコーバーがいなくとも海軍は潜水艦に原子力を獲得したであろう。しかしながら、もしマイヤーがいなければ、艦隊にイージス艦はなかったであろう」と言明している。これらの業績から、マイヤーは、イージスの父として、アメリカ官民より広く尊敬を集めている。アメリカ海軍は、マイヤー自身の出身校でもある海軍大学院（NPS）にマイヤー・システムエンジニアリング研究所を設置している。これは、NCWの父として知られるアーサー・セブロウスキーに因んだセブロウスキー国防情報革新・優越・非対称脅威研究所とともに、海軍の知の殿堂として君臨している。