서지주요정보
nML을 이용한 인터넷 전화 시스템의 구현과 검증 = Implementation and verification of internet telephony system in nML
서명 / 저자 nML을 이용한 인터넷 전화 시스템의 구현과 검증 = Implementation and verification of internet telephony system in nML / 김범식.
발행사항 [대전 : 한국과학기술원, 2001].
Online Access 원문보기 원문인쇄

소장정보

등록번호

8011982

소장위치/청구기호

학술문화관(문화관) 보존서고

MCS 01012

휴대폰 전송

도서상태

이용가능(대출불가)

사유안내

반납예정일

등록번호

9007597

소장위치/청구기호

서울 학위논문 서가

MCS 01012 c. 2

휴대폰 전송

도서상태

이용가능(대출불가)

사유안내

반납예정일

리뷰정보

초록정보

Our global network`s capacity of exchanging data has increased so much that data can travel very fast. This has enabled our world to unite and communicate through this network, known as the `INTERNET`. Many application softwares have been developed, using this fast Internet for world-wide communication. Through the use of various Internet protocols, they can not only send normal data(text/image) but also audio/video data. Most of these Internet related softwares have been implemented in the C language. Actually, C is used in many fields of both system and application softwares. By programming language`s momentum, this situation would go on. Even C is popular, the results of programming language research are not applied to the C language very well. Since the complete safety of programs aren`t guaranteed, unpredictable errors such as bus error or segmentation fault can occur and they increase the cost of software maintenance. There is a higher-order & typed(HOT) programming language called ML in which the results of programming language research are fully implemented. ML guarantees the complete safety of program through strong static type checking. It also supports polymorphism, automatic memory management and exception control mechanism. These features help programmer to develop robust softwares easily and conveniently. Generally, many people think ill of HOT languages in the field of developing application softwares. Since they don`t know either what HOT language is or the utilizations of HOT language, they conjecture that HOT language is not of practical use as yet. But it is a mistaken idea, we should know that HOT language is used for developing using weighty softwares, this tendency becomes more frequent. We would eradicate this wrong common-sense and make programmers open-minded about ML by implementing telephony system in nML.

서지기타정보

서지기타정보
청구기호 {MCS 01012
형태사항 v, 37 p. : 삽화 ; 26 cm
언어 한국어
일반주기 저자명의 영문표기 : Bom-Shik Kim
지도교수의 한글표기 : 이광근
지도교수의 영문표기 : Kwang-Keun Yi
학위논문 학위논문(석사) - 한국과학기술원 : 전산학전공,
서지주기 참고문헌 : p. 35-37
QR CODE

책소개

전체보기

목차

전체보기

이 주제의 인기대출도서