최근에 사용 가능한 메모리가 두 종류 이상인 상황에서 메모리 사용을 최적화하는 일반적인 문제에 관심을 갖게되었으며, 주어진 메모리 세그먼트의 용량과 액세스 속도 사이에 상충 관계가 있습니다. 익숙한 예는 프로세서 캐시, RAM 및 하드 드라이브 (가상 메모리를 통해) 에서 읽 거나 쓸 때를 결정하는 프로그램 입니다. 특히로드해야하는 데이터 양 (프로그램 자체 포함)이 …
CS에서 석사 논문을 작성하고 있으며 별칭 분석을 진행하고 있습니다. 내가 관심이있는 것은 Java와 같은 언어에 대한 절차 내, 흐름에 민감한 필수 및 May-alias 분석입니다. 이 주제의 기본 사항을 자세하게 설명하는 텍스트를 찾고 있지만 실제로 적합한 것을 찾지 못했습니다. 나는 컴파일러와 정적 분석에 관한 많은 교과서에서 살아남 았지만 거기에서 아무것도 찾지 …
나는 이제 프로그래밍 언어에서 "추상적 인 해석"이 무엇인지 더 잘 이해하려고 노력하고 있습니다. 나는 최소한의 고정 요소로 도메인을 확장하는 아이디어, 연속 함수에 대한 고정 점을 생성하는 4 개의 공리 등을 설명하는 좋은 책 장을 발견했습니다. 나는이 기술적 인 세부 사항들을 이해한다 (그러나이 전체 체계에서 정확히 "추상적 인 해석"이 무엇인지 확실하지는 …