Daniel P. Friedman - Daniel P. Friedman

Aynı adı taşıyan diğer insanlar için bkz. Daniel Friedman (anlam ayrım) .
Daniel Paul Friedman.
Doğum 1944 (76–77 yaş)
gidilen okul Houston Üniversitesi
Bilinen Programlama dilleri
Bilimsel kariyer
Alanlar Bilgisayar Bilimi

Daniel Paul Friedman (1944 doğumlu) profesörüdür Bilgisayar Bilimleri at Indiana Üniversitesi içinde Bloomington, Indiana . Araştırmaları programlama dillerine odaklanmaktadır ve alanında önde gelen bir yazardır.

David Wise ile Friedman, tembel programlama , özellikle tembel akışlar üzerine oldukça etkili bir makale yazdı ( ICALP 1976). "Eksiler argümanlarını değerlendirmemelidir" başlıklı makale, potansiyel olarak sonsuz veri yapıları ve hiçbir hesaplama etkisi kullanmayan bir programlama biçimi (programlar farklılaşabilir) ile bir programlama stilinin keşfini zorlayan ilk yayınlardan biridir. 1970'lerde, Friedman ve Wise konuyu derinlemesine araştırdılar ve aynı zamanda paralel hesaplama dünyasının uzantılarını da değerlendirdiler.

1980'lerde Friedman, Scheme programlama dili çalışmasına döndü . Programlama dillerini tanımlamak için makroların kullanımını araştırdı ; Eugene Kohlbecker, Matthias Felleisen ve Bruce Duba ile birlikte, hijyenik makrolar kavramını, bugün hala çokça alıntılanan 1986 LFP kağıdında birlikte tanıttı . Christopher T. Haynes ve Mitchell Wand ile eşzamanlı olarak devam nesnelerinin doğasını, kullanımlarını ve onları sınırlandırma olasılıklarını inceledi . Bunu takiben, Friedman ve Felleisen , süreklilik ve kontrol operatörleri ile bir lambda hesabı başlattı . Çalışmaları, anlambilim, klasik mantık ve hesaplama arasındaki bağlantılar ve sürekliliğin pratik uzantıları üzerine çalışmalar doğurdu.

Friedman aynı zamanda üretken bir ders kitabı yazarıdır. İlk ders kitabı The Little LISPer , 1974 yılına dayanıyor ve şu anda The Little Schemer (Felleisen ile birlikte) olarak adlandırılan dördüncü baskısında hala basılmaktadır. Friedman ve Felleisen 1990'larda üç "küçük" kitap daha yazdı: The Little MLer , The Seasoned Schemer ve A Little Java , A Few Patterns .

Friedman, programlama dilleri üzerine bir ders kitabı olan Essentials of Programming Languages'ın da baş yazarıdır . Bu nedenle, 1980'lerde dil ders kitaplarının görünümünü değiştirerek odağı dil araştırmalarından bir dizi tercüman aracılığıyla ilkelerin çalışılmasına kaydırdı. Bugünün bu konudaki ders kitapları, tercümanlar yerine işlemsel anlambilim ve tip teorisini kullanarak bu organizasyonu takip etme eğilimindedir. Gibi küçük LISPer , Programlama Dilleri Essentials uzun yaşayan kitap ve şimdi üçüncü baskısında olduğunu.

Son zamanlarda, Friedman, The Reasoned Schemer ile (William E. Byrd ve Oleg Kiselyov ile) mantık programlamasını Scheme'nin bir uzantısı yoluyla açıklayan ve The Little Prover (Carl Eastlund ile) ile tümevarımsal ispatlar sunan "Little" serisi üzerinde çalışmaya devam etti. bilgisayar programları hakkındaki gerçekleri belirlemenin bir yolu olarak.

Referanslar

Kitabın

Daniel P. Friedman aşağıdaki kitapların yazarı veya ortak yazarıdır:

Dış bağlantılar