（en:Overlay (programming)）使用可能なアドレス空間以上の大きさのプログラムを動作可能にするプログラミング手法である。オーバーレイでは、コードも、ある時点で必要なコードのみをアドレス空間上に置く。他のコードが必要になったら、それまで別のコードが置かれていたメモリ上の領域に必要なコードをロードして使用する。仮想記憶をサポートする以前のコンピュータシステムでは、このような手法で実装している主記憶装置の容量以上の大きさのプログラムを実行した。オーバーレイは仮想記憶と違って透過的ではなく、プログラマが明示的に指定してやる必要があった。CPUのアドレス空間上の主記憶と、外部の二次記憶で構成した方式が一般的だが、過渡期に設計された機材など、アドレス空間が狭く、バンク切り換え等の方式の主記憶を切り替えながら実行するといった方式のオーバーレイもある。制御システムに使用された16ビットのミニコンピュータでは、仮想アドレス空間そのものが限られていることと、仮想記憶機構による実行中のページ入れ替えによる遅延を避けるため、オーバーレイによって全プログラムを物理メモリにロードして切り替えながら実行するという手法が採られることもあった。オーバーレイのためのリロケーションとリンクのアルゴリズムは特殊であり、非常に複雑なオーバーレイ構造を構成することもある。利用可能な物理メモリ容量およびアドレス空間の拡大、なにより仮想記憶の一般化によって、オーバーレイ方式は使われなくなってきた。
グローティウス、プーフェンドルフらの古典的社会契約論は、自然状態では人は自然権を有するとともに、自由で平等な人間が社交性を持ち集団で牧歌的・平和的に暮らしていたと仮定する。その上で、人の社交性の延長として、自然発生的に、臣民が自己の庇護を求めて王に服従する「統治契約」（contract of government）を締結したことによって国家が成立したとみる。中世的社会契約論からは一歩踏み出して、自然権の保障を目的とするなどその内容は、啓蒙思想と一定の接点を有していたが、契約の一方当事者は王であり、既にある王政を必然的に正当化するための理論であった。ホッブズは、自然状態では、諸個人は自然権を有していたが、自然法が十分に機能しなかったため、万人の万人に対する闘争状態が生じていたと仮定する。その上で、この闘争状態を克服するためにやむを得ず、諸個人が自然的理性の発現をさせて、自然状態で有していた自然権を放棄して社会契約を締結し、その契約に基づき発生した主権によって国家が成立したとみる。契約の当事者に王は含まれておらず、理論的には、王政、貴族政、民主政とも結びつき得る点で古典的社会契約論と異なる。その特徴である人の本性としての社交性と中世封建的な服従契約を否定し、近代的な個人の概念を社会契約の基礎に置いた点で革命的な発想の転換であったといえる。しかし、ホッブズは、主権は万能であるだけでなく、分割・譲渡不可能なものなので、社会契約によって王が一旦主権を有することになった以上、これを変更することはできないとして王政のみならず、国王主権をも正当化した。このようなホッブズの理論を批判しつつも、発展的に継承したのはジョン・ロックとジャン・ジャック・ルソーであるが、両者の論理展開の内容は相当に異なる。ロックもルソーも、自然状態は、闘争状態とするホッブズを批判し、むしろ自然法が貫徹されて人は自由で平等であったと仮定する。その点では古典的社会契約論と同じであるが、人の本性としての社交性と服従契約を否定して個人的な契約概念を前提とする点ではホッブズと共通する。しかし、ロックは、諸個人が自由と平等を享受していたにもかかわらず、様々が不都合が生じたことから、自然発生的に、自然状態で有していた自然権を一部放棄し、遠い過去に「始源的契約」（original compact）である社会契約を締結したことによって国家が成立したとみる。契約の当事者に王は含まれておらず、人民主権論にたったが、人民の「信託」（trust）に基づき政府を作ることができるとされたので、理論的には、王政、貴族政、民主政のいずれとも結びつき得るものであった。しかし、国家は、自然権を保障するため、人民の信託に基づき設立されたものであるから、社会契約には一定の「契約の条件」があり、その手段として権力分立を採用しなければならないとして、ホッブズの万能かつ分割不可能であるという主権の概念を批判した。そして、政府が信託の趣旨に反し、自然権を侵害して専制を行うときは、そもそもの主権者である人民は抵抗権を行使できるものとして、一定の留保を付けたが、政府が存続する限り、立法権を有する主体が主権者であるとして国会主権を唱えつつも、他方で、自然発生的な古典的社会契約論を承継して既存の王政を擁護し、立憲君主制のような混合政体がベターな政体であるとした。ロックの社会契約論は、政治的には、名誉革命を擁護するための理論であった。これに対し、ルソーは、諸個人が自由と平等を享受していたが、より自由で平等な状態、共通善を最大化するため、自然発生的ではなく、積極的に社会契約を締結したことによって国家が成立したとみる。その契約当事者である市民のみならず、その集合体である人民こそが主権者であり、個々人の特殊意思を超えた、一般意思（volonté général）によって作り出された主権によって国家が成立したとみる。契約の当事者に王は含まれておらず、主権者は人民でしかあり得ないとして国王主権のみならず、ロックの国会主権も否定したが、従前の社会契約論が既に記憶のない遠い過去の契約締結を問題にしていたのに対し、現にある政体を否定し、新に社会契約を締結し得るという革命的発想を含んでいた。その上で、主権は万能かつ分割・譲渡不可能なものであるとする点はホッブズと共通しており、ロックの権力分立制も代表制も否定したが、社会契約には一定の「契約の条件」（condition de contrat）があるとした点はロックと共通しており、特殊意思を排した一般意思による「法の支配」を採用しなければならないとした。ルソーの社会契約論は、後のフランス革命に影響を与えたとされる。日本において最初の社会契約論の紹介は、1882年、中江兆民によるルソーの主著『社会契約論』の部分訳である『民約訳解』の刊行であり、この訳書は自由民権運動に大きな影響を与えた。