Browse "School of Computing(전산학부)" by Author 286

Showing results 1 to 39 of 39

1
A New analysis of LALR Formalisms

Park, Joseph C.H.; Choe, Kwang-Moo; Chang, C.H., Proceedings of the Science and technology Symposium '84, 1984

2
Activation Record를 이용하는 그래프 축약기계

안준선; 김성표; 한태숙; 최광무, '93 프로그래밍 언어 연구회 학술 발표논문집, pp.75 - 84, 1993

3
AND 클로즈의 분할을 통한 논리 프로그램의 병렬 처리 기법

김도형; 최광무, 한국정보과학회 1987년 가을 학술발표대회, pp.601 - 604, 한국정보과학회, 1987

4
AND/OR 프로세서 모델에서의 실패 분석을 이용한 보다 효율적인 백트랙킹

변성원; 최광무, 한국정보과학회 1988년 가을 학술발표대회, pp.423 - 426, 한국정보과학회, 1988

5
CCOR: Interactive C Program Corrector

손덕진; 최광무, 한국정보과학회 1988년 가을 학술발표대회, pp.435 - 438, 한국정보과학회, 1988

6
Dijkstra의 mini 언어를 Pascal로 변환할 경우 병렬 치환문의 처리

이수현; 최광무, 한국정보과학회 1988년 봄 학술발표대회, pp.365 - 368, 한국정보과학회, 1988

7
ELALR(k) 문법에 대한 조건들

이경옥; 최광무, '95 프로그래밍 언어 연구회 학술 발표대회, pp.9 - 15, 1995

8
Extend Context Free Grammar에서의 Abstract Syntax Tree

여미라; 최광무, 한국정보과학회 1987년 가을 학술발표대회, pp.589 - 592, 한국정보과학회, 1987

9
Extended Context Free Grammar를 위한 ELALR(k)파서의 구성

최준식; 최광무, 한국정보과학회 1988년 가을 학술발표대회, pp.427 - 430, 한국정보과학회, 1988

10
FMQ 오류보정 모델을 사용하는 오류보정 Yacc의 구현

정민수; 최광무, '93 프로그래밍 언어 연구회 학술 발표논문집, pp.28 - 35, 1993

11
Follow 분할을 이용한 변환파서의 결정적 동치문법생성

이은정; 최광무, 한국정보과학회 1994년 봄 학술발표회논문집, pp.363 - 366, 한국정보과학회, 1994-04-01

12
Function-free 논리프로그램의 Bottom-up수행의 최적화를 위한 정적 필터의 최소 고정점 정형화

창병모; 최광무; 한태숙, 한국정보과학회1992 봄 학술발표논문집, v.19, no.1, pp.241 - 244, 한국정보과학회, 1992

13
Iburg 상에서 효율적인 코드생성기의 생성에 관한 연구

강경우; 최광무; 정민수; 신흥철, 한국정보과학회 1997년 가을학술대회, pp.335 - 338, 한국정보과학회, 1997

14
Intelligent Backtracking 의 재수학적 모델

이수현; 최광무, 한국정보과학회 1993년 봄 학술 발표대회, pp.285 - 288, 한국정보과학회, 1993

15
Intelligent Backtracking의 대수학적 모델

이수현; 최광무, 한국정보과학회 1992 가을 학술발표, v.19, no.2, pp.377 - 380, 한국정보과학회, 1992

16
LALR(1) 분석에서의 Conflict 추적

박광순; 최광무; 박우전, 한국정보과학회 1988년 가을 학술발표대회, pp.1 - 8, 한국정보과학회, 1988

17
LR 파싱에서 축약 심볼에 대한 예상

이경옥; 최광무, 한국정보과학회 1998 봄 학술발표, pp.68 - 70, 한국정보과학회, 1998

18
LR-based Parser의 효율적인 Syntax Error Repairing System의 개발에 관한연구

박경숙; 최광무; 전길남; 장천현, 한국정보과학회 1985년 가을 학술발표대회, pp.382 - 389, 한국정보과학회, 1985

19
LR에 근간을 둔 구분분석기에서 우문맥의 효율적 계산

김철; 정민수; 이수현; 최광무, 한국정보과학회 1995년 봄 학술발표대회, pp.301 - 304, 한국정보과학회, 1994

20
MULTIPLE BACKTRACKING IN THE AND PROCESS OF LOGIC PROGRAMMING.

Choe, Kwang-Moo; Lee, Myung Joon; Woo, Nam Sung, Proceedings - TENCON 87: 1987 IEEE Region 10 Conference, 'Computers and Communications Technology Toward 2000'., pp.826 - 829, 1987

21
Predictive 관계를 이용한 LL 문법으로의 변환이 가능한 문법들의 특징화

이경옥; 최광무, '92 프로그래밍언어연구회 학술발표논문집 , 한국정보과학회 프로그래밍언어연구회 , 숭실대학교, pp.100 - 112, 1992

22
Prototype CHILL Compiler의 개발에 관한 연구

이동길; 윤용익; 최광무; 전길남, 한국정보과학회 1985년 봄 학술발표대회, pp.298 - 305, 한국정보과학회, 1985-04

23
Refining schizophrenia via graph reachability in esterel

Yun, Jeong-Han; Kim, Chul-Joo; Seo, Sunae; Han, Taisook; Choe, Kwang-Moo, 2009 7th IEEE-ACM International Conference on Formal Methods and Models for Co-Design, MEMOCODE '09, pp.18 - 27, IEEE, 2009-07-13

24
Selecting the Backtrack Literal in the AND/OR Process Model

Woo, Nam Sung; Choe, Kwang-Moo, SLP '86 Third IEEE Symposium on Logic Programming, pp.200 - 210, 1986

25
SUIF program analysis using System Z2

Kim, Seong-Hoon; Yi, Kwangkeun; Eo, Hyun-Jun; Choe, Kwang-Moo, The SUIF Compiler Workshop, pp.185 - 190, 1997

26
Yacc에서의 최소비용 삽입 스트링을 이용한 오류 보정

최광무; 정민수; 김도형, 한국정보과학회 1987년 가을 학술발표대회, pp.605 - 608, 한국정보과학회, 1987

27
결정적 파서와 동등한 LALR(1) 문법 생성기의 설계 및 구현

강경우; 이은정; 최광무, 한국정보과학회 1991 봄 학술발표대회, pp.237 - 240, 한국정보과학회, 1992

28
국방 컴퓨터(안)의 설계

최광무; 강경우; 한태숙; 이경옥; 이수현; 이은정; 창병모, 한국정보과학회 1991년 학술발표대회, pp.1 - 15, 한국정보과학회, 1991

29
국방컴퓨터언어(안)을 위한 컴파일러 개발

최광무; 한태숙, 1992 프로그래밍 언어연구회 학술발표논문집 , 한국정보과학회 프로그래밍연구회 , 숭실대학교 ,서울, pp.113 - 127, 1992

30
국부적 최소 비용 오류 보정에서 Prefix String 의 효율적인 계산

이형효; 최광무, 한국정보과학회 1988년 가을 학술발표대회, pp.431 - 434, 한국정보과학회, 1988

31
논리 프로그램의 병렬 수행을 위한 AND/OR Bipartite 아키텍쳐

황성훈; 최광무, 한국정보과학회 1987년 가을 학술발표대회, pp.593 - 596, 한국정보과학회, 1987

32
멀티미디어 저작도구에서 스크립트 언어의 설계 및 구현

석은주; 우균; 한태숙; 최광무, '93 프로그래밍 언어 연구회 학술 발표회, pp.18 - 27, 1993

33
병렬화 트렌스레이터의 설계

최광무; 한태숙; 이광근; 강경우; 이경옥; 김성훈; 조장우; et al, '95 프로그래밍 언어 연구회 학술 발표, pp.16 - 23, 1995

34
보정유형을 이용한 구문 오류 보정

윤인식; 최광무; 한태숙, '92 프로그래밍 언어 연구회 학술발표대회, pp.58 - 67, 한국정보과학회프로그래밍언어연구회, 1992

35
우변이 유한 상태 자동 기계인 확장된 문맥 자유 문법에 대한 LALR 특징화

이경옥; 신흥철; 최광무, 한국정보과학회 1996년 가을 학술발표대회, pp.803 - 806, 한국정보과학회, 1996

36
최근의 LALR(1) - Lookahead 집합 계산 방법의 기교

이명준; 장호욱; 최광무, 한국정보과학회 1987년 가을 학술발표대회, pp.597 - 600, 한국정보과학회, 1987

37
컴파일러 개발에 관한 연구

최광무; 장천현; 김도형; 여미라; 장호욱; 정민수; 채의근; et al, 한국통신학회 특정연구결과 발표회, pp.53 - 56, 한국통신학회, 1988

38
컴파일러 개발에 관한 연구 - II

최광무; 김도형; 정민수; 이수현; 박광순; 이형효; 최준식, 한국통신학회 특정연구결과 발표회, pp.13 - 17, 한국통신학회, 1989

39
확장된 KAIST 파서 생성 시스템의 개발 및 구현

최광무; 최준식; 정민수; 김도형; 박광순; 이형효, 한국정보과학회 1989년 봄 학술발표회, pp.378 - 381, 한국정보과학회, 1989

Discover

Type

. next

Open Access

Date issued

. next

Subject

. next

rss_1.0 rss_2.0 atom_1.0