Academic Theses

Basic information

Name KUBO, Makoto
Belonging department
Occupation name
researchmap researcher code
researchmap agency

Title 

Language Primitises and Type Discipline for structured communication Based Programming

					

					

						

							

								

									
Bibliography　Type 

									
								

							

						

						
Joint Author

					

					

						

							

								

									
Summary 

									
								

							

						

						
構造化通信を基礎としたプログラミング言語の基本的な言語構造と型システムについて提案する。提案された言語は、セッション（相互作用）を基本概念として使い、単純な多重の組み合わせでプログラムを構成でき、従来の通信概念を表現できる。また、型推論システムを定義し、型付けされたプログラムの動作で生じる通信パターンの整合性と妥当性を保証し、型が通信動作の抽象の一つであることを示した。

					

					

						

							

								

									
Magazine(name) 

									
								

							

						

						
Lecture Notes in Computer Science 1381,Springer Vevlag

					

					

						

							

								

									
Volume 

									
								

							

						

						

					

					

						

							

								

									
Date of Issue 

									
								

							

						

						
1998/03