Key points are not available for this paper at this time.
نستعرض بإيجاز الاقتراحات الرئيسية لنماذج البرامج ونظهر أنها جميعًا تؤدي إلى نفس نظرية الاقتراحات للبرامج. تسيطر طرق المنطق الجبري في الإثباتات. واحدة من الروابط التي تم إنشاؤها بين النماذج، تلك التي تتعلق بنماذج اللغة، تعتبر ضد الحدس بشكل كبير. لقد أظهر أن النظرية الشائعة كاملة بالفعل في الوقت الأسّي الحتمي؛ نقدم هنا إثباتًا أبسط للحد الأعلى.
درس فاون برات (مون،) هذا السؤال.