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

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 419
  • Download : 0
DC FieldValueLanguage
dc.contributor.advisorMaeng, Seung-Ryoul-
dc.contributor.advisor맹승렬-
dc.contributor.authorShin, Dong-Wook-
dc.contributor.author신동욱-
dc.date.accessioned2011-12-13T05:50:08Z-
dc.date.available2011-12-13T05:50:08Z-
dc.date.issued1986-
dc.identifier.urihttp://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=65143&flag=dissertation-
dc.identifier.urihttp://hdl.handle.net/10203/33673-
dc.description학위논문(석사) - 한국과학기술원 : 전산학과, 1986.2, [ 1책(면수복잡) ]-
dc.description.abstractIn 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.eng
dc.languageeng-
dc.publisher한국과학기술원-
dc.title(The) design and implementation of a functional logic language with narrowing-
dc.title.alternativeNarrowing 을 이용한 함수 논리 언어의 설계및 구현-
dc.typeThesis(Master)-
dc.identifier.CNRN65143/325007-
dc.description.department한국과학기술원 : 전산학과, -
dc.identifier.uid000841174-
dc.contributor.localauthorMaeng, Seung-Ryoul-
dc.contributor.localauthor맹승렬-
Appears in Collection
CS-Theses_Master(석사논문)
Files in This Item
There are no files associated with this item.

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0