[기술해설]타입 시스템에 의한 체계적인 복합형 프로그래밍

도경구 ,  곽노건

정보과학회지

1997 .01

[기술해설]제한 논리 프로그래밍언어

신동하 ,  창병모

정보과학회지

1997 .01

[기술해설]Standard ML 프로그래밍

이광근 ,  류석영

정보과학회지

1997 .01

「프로그래밍 언어」 특집을 내면서

김기태 ,  홍순익

정보과학회지

1988 .02

[特輯]프로그래밍 언어 고찰

이기호

정보과학회지

1992 .06

「프로그래밍 언어」 특집을 내면서

김민홍 ,  류성렬 ,  유관종

정보과학회지

1992 .06

처음 배우는 프로그래밍 언어로 무엇을 어떻게 가르칠까?

이찬도

정보과학회지

2010 .04

[기술해설]시스템 독립적인 병렬 프로그래밍 언어 High Performance Fortran

문경덕 ,  반난주 ,  김태근 외 2명

정보과학회지

1995 .07

[기술해설]Rewriting 기반 프로그래밍

변석우

정보과학회지

1997 .01

[특집/기술해설] 소프트웨어 모델과 사양기술, 프로그래밍 구조

최병규 ,  송주석

텔레콤

1994 .06

해설

한국주택협회

주택과 사람들

2000 .01

[기술해설]분산 개발 환경에서의 객체지향 시각 프로그래밍

김상욱 ,  진윤숙

정보과학회지

1996 .10

“차세대 프로그래밍언어” 특집을 내면서

도경구

정보과학회지

1997 .01

귀납적 자료형의 이진화를 이용한 타입 레벨 프로그래밍 간소화

차리서 ,  최진영

한국정보과학회 학술발표논문집

2006 .10

[기술해설]다중 패러다임 프로그래밍과 Lada 언어

김명호

정보과학회지

1997 .01

[特輯]한글 프로그래밍 언어

원유헌

정보과학회지

1984 .03

[기술해설]실시간 시스템 모형

김문희 ,  김정국 ,  민병준 외 1명

정보과학회지

1996 .08

[기술해설]분석적 학습

이수원

정보과학회지

1995 .05

[기술해설]음성인식에서의 언어모델링

최환진 ,  박재득 ,  박동인

정보과학회지

1998 .02

[기술해설]분산 시스템 관리 기술

홍원기

정보과학회지

1996 .01