Showing results 1 to 4 of 4
레코드 접합 연산을 포함한 다형적 레코드 계산법 = A polymorphic record calculus with record concatenation operationlink Kim, Sang-Oh; 김상오; et al, 한국과학기술원, 1995 |
메타클레스를 기초한 반영기능을 가지는 객체지향 prolog의 구현 = An implementation of object-oriented prolog with reflective facilities based on metaclasseslink 정영민; Chung, Young-Min; et al, 한국과학기술원, 1990 |
유한 상태 기계를 기반으로 하는 객체 지향 프로그램의 테스팅 = Testing of object-oriented programs based on finite state machinelink 홍형석; Hong, Hyoung-Seok; et al, 한국과학기술원, 1995 |
이식성을 고려한 Common lisp object system의 구현 = A portable implementation of common lisp object systemlink 이동현; Lee, Dong-Hyeon; et al, 한국과학기술원, 1989 |
Discover