(The) design and implementation of a functional logic language with narrowing = Narrowing 을 이용한 함수 논리 언어의 설계및 구현

In this thesis, we propose AFLOG - a functional logic language, employing narrowing. With narrowing, AFLOG supports equality partially, without losing the efficiency. With this partial equality relation, most data types such as stack and queue can be easily expressed and as equational programming is allowed in AFLOG, the clarity and the understandability of a program are much improved. In implementing AFLOG with narrowing, two important mechanisms - the tree pattern matching and the backtracking mechanism in the reduction procedure are improved. In the tree pattern matching, the restriction called left-sequentiality is removed. In the backtracking mechanism of the reduction procedure, the structure sharing concept prevalently used in resolution procedure is employed and two different proof procedures - resolution and reduction are merged into the same mechanism.
Advisors
Maeng, Seung-Ryoulresearcher맹승렬researcher
Publisher
한국과학기술원
Issue Date
1986
Identifier
65143/325007 / 000841174
Language
eng
Description

학위논문(석사) - 한국과학기술원 : 전산학과, 1986.2, [ 1책(면수복잡) ]

URI
http://hdl.handle.net/10203/33673
Link
http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=65143&flag=t
Appears in Collection
CS-Theses_Master(석사논문)
Files in This Item
There are no files associated with this item.
  • Hit : 134
  • Download : 0
  • Cited 0 times in thomson ci

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0