| 000 | 00000nam c2200205 c 4500 | |
| 001 | 000000836915 | |
| 005 | 20230216093037 | |
| 007 | ta | |
| 008 | 031017s2000 ggka b 000c korBU | |
| 035 | ▼a KRIC08919328 | |
| 040 | ▼a 211046 ▼c 211046 ▼d 211046 ▼d 211009 | |
| 041 | 0 | ▼a eng ▼a kor |
| 049 | 1 | ▼l 121057446 ▼f 과학 |
| 082 | 0 4 | ▼a 005.3 ▼2 21 |
| 085 | ▼a 005.3 ▼2 DDCK | |
| 088 | ▼a 2000-C-CT-01-C-43 | |
| 090 | ▼a 005.3 ▼b 2000 ▼c 2000 | |
| 245 | 0 0 | ▼a 스마트코드 생성을 위한 프로그램 분석 시스템 연구 = ▼x Program analysis for small, safe and smart code / ▼d Korea Advanced Institute of Science and Techonology [편] |
| 260 | ▼a [과천] : ▼b Ministry of Science & Technology, ▼c 2000 | |
| 300 | ▼a 1책 (면수복잡) : ▼b 삽화 ; ▼c 30 cm | |
| 500 | ▼a 본 보고서는 "Creative research initiatives"의 세부과제임 | |
| 500 | ▼a 부록: 1. List of journal publications, 2. List of conference publications, 3. Patents & S/W program registered | |
| 500 | ▼a 연구책임: 이광근 | |
| 504 | ▼a 참고문헌: p. 19-23 | |
| 700 | 1 | ▼a 이광근, ▼e 연구책임 |
| 710 | ▼a 한국과학기술원, ▼e [편] ▼0 AUTH(211009)35854 | |
| 910 | 0 | ▼a Korea Advanced Institute of Science and Techonology, ▼e 편 |
소장정보
| No. | 소장처 | 청구기호 | 등록번호 | 도서상태 | 반납예정일 | 예약 | 서비스 |
|---|---|---|---|---|---|---|---|
| No. 1 | 소장처 과학도서관/보존서고3(동양서)/ | 청구기호 005.3 2000 2000 | 등록번호 121057446 | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |
컨텐츠정보
목차
스마트코드 생성을 위한 프로그램 분석 시스템 연구(Program Analysis for Small, Safe and Smart Code)
Chapter 1. Introduction = 6
Chapter 2. State-of-the-art = 7
Chapter 3. Method, Results and Discussion = 8
Section 1. Research Hypothesis = 8
Section 2. Planned Approaches for this Research = 8
Section 3. Research Results = 9
Section 4. Achievements = 12
Chapter 4. Conclusion = 17
Chapter 5. Major Contribution = 18
References = 19
Appendix = 24
The Definition of nML
1장 Motivation = 2
2장 Syntax = 3
1. Grammar = 3
2. Primitive Types, Operators, Data Constructors, and Exceptions = 9
3. Precedences and Associativity = 9
4. Syntactic Constraints = 10
5. Reserved words = 11
6. Syntactic Sugars = 12
3장 Dynamic Semantics = 14
1. Dynamic Semantics For Modules = 15
2. Dynamic Semantics For The Core = 19
4장 Static Semantics = 25
1. Static Semantics For Modules = 29
2. Static Semantics For The Core = 34