فریدریش ال باوئر

از ویکی‌پدیا، دانشنامهٔ آزاد
فردریش ال بائر
زادهٔ۱۰ ژوئن ۱۹۲۴ ‏(۹۹ سال)
رگنسبورگ، آلمان
درگذشت۲۶ مارس ۲۰۱۵
ملیتآلمانی
شناخته‌شده برایپشته
Sequential Formula Translation
الگول
جایزه(ها)صلیب آهنی
نشان افتخار شایستگی جمهوری فدرال آلمان
IEEE Computer Pioneer
پیشینه علمی
شاخه(ها)علوم رایانه
محل کاردانشگاه فنی مونیخ


فردریش لودویگ بائر (متولد ۱۰ ژوئن ۱۹۲۴ در رگنسبورگ - در گذشته ۲۶ مارس ۲۰۱۵) دانشمند کامپیوتر و استاد بازنشسته دانشگاه فنی مونیخ اهل آلمان است.[۱]

مقالات[ویرایش]

  • 1960 Sequential Formula Translation, Commun. ACM 3(2): 76-83, (together with Klaus Samelson), a very influential paper on compilers

کتاب‌ها[ویرایش]

منابع[ویرایش]

  1. "Mechanizing Proof: Computing, Risk, and Trust" By Donald MacKenzie

پیوند به بیرون[ویرایش]