<論文>関数型プログラミングが目指すプログラミング方法論の新たな展開

スポンサーリンク

概要

• 論文の詳細を見る

• The development of programming methodologies started with the cooperation with the programming languages. Structured programming gave birth the programming languages such as Pascal. Taking an example on the data structures, Pascal was the faithful realization of Hoare's "Notes on Data Structuring". With the development of abstract data types, programming languages such as CLU, Alphard were realized. As the limitaions of the reliability using conventional programming languages based on von Neumann architecture have been revealed, researches on functional programming became active. But the studies on functional programming were rather theoretical. The advent of the modern functional programming languages made possible the practical programmings with functional programming. Programming language ML is taken as examples of the strong typed functional languages and thier usefulnesses are examined. By grace of the consistency of the abstract data types, algebraic specifications and functional programming, new development of the programming methodologies are expected.

• 北海道東海大学の論文
• 1997-03-25

著者

• 江副 文臣

  北海道東海大学工学部情報システム学科

関連論文

• アセンブリー言語のテイスト : DSPのサバイバル
• プログラミング言語の選択 : Oberonの設計思想と意義について
• 理工学系のWindows環境でのプログラミング : Excelでの経験
• 関数型プログラミングが目指すプログラミング方法論の新たな展開
• Simulaの文字列処理機能と汎用プログラミング言語としての役割について
• PC-FORTRANによる小型MINI-Lispシステムへの追加機能
• PC-FORTRANによる小型Lispシステム
• プログラミング言語における制御構造の変遷 : Algolとその後継言語のfor文を中心として

スポンサーリンク