logo
logo
x
바코드검색
BOOKPRICE.co.kr
책, 도서 가격비교 사이트
바코드검색

인기 검색어

실시간 검색어

검색가능 서점

도서목록 제공

Programming Languages and Systems: 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009, Proceedings

Programming Languages and Systems: 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009, Proceedings (Paperback, 2009)

Zhenjiang Hu (엮은이)
Springer-Verlag New York Inc
117,000원

일반도서

검색중
서점 할인가 할인률 배송비 혜택/추가 실질최저가 구매하기
95,940원 -18% 0원
4,800원
91,140원 >
yes24 로딩중
교보문고 로딩중
notice_icon 검색 결과 내에 다른 책이 포함되어 있을 수 있습니다.

중고도서

검색중
서점 유형 등록개수 최저가 구매하기
로딩중

eBook

검색중
서점 정가 할인가 마일리지 실질최저가 구매하기
로딩중

책 이미지

Programming Languages and Systems: 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009, Proceedings
eBook 미리보기

책 정보

· 제목 : Programming Languages and Systems: 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009, Proceedings (Paperback, 2009) 
· 분류 : 외국도서 > 컴퓨터 > 프로그래밍 언어 > 일반
· ISBN : 9783642106712
· 쪽수 : 359쪽
· 출판일 : 2009-11-24

목차

Invited Talks.- The Twilight Zone: From Testing to Formal Specifications and Back Again.- Types and Recursion Schemes for Higher-Order Program Verification.- The Sketching Approach to Program Synthesis.- Program Analysis.- Large Spurious Cycle in Global Static Analyses and Its Algorithmic Mitigation.- Abstract Transformers for Thread Correlation Analysis.- Scalable Context-Sensitive Points-to Analysis Using Multi-dimensional Bloom Filters.- Transformation and Optimization.- A Short Cut to Optimal Sequences.- A Skeletal Parallel Framework with Fusion Optimizer for GPGPU Programming.- Witnessing Purity, Constancy and Mutability.- Type System.- On the Decidability of Subtyping with Bounded Existential Types.- Fractional Ownerships for Safe Memory Deallocation.- Ownership Downgrading for Ownership Types.- Separation Logic.- A Fresh Look at Separation Algebras and Share Accounting.- Weak updates and separation logic.- Proving Copyless Message Passing.- Logic and Foundation Theory.- On Stratified Regions.- Parallel Reduction in Resource Lambda-Calculus.- Classical Natural Deduction for S4 Modal Logic.- Software Security and Verification.- Bi-abductive Resource Invariant Synthesis.- Certify Once, Trust Anywhere: Modular Certification of Bytecode Programs for Certified Virtual Machine.- Asymptotic Resource Usage Bounds.- The Higher-Order, Call-by-Value Applied Pi-Calculus.- Branching Bisimilarity between Finite-State Systems and BPA or Normed BPP Is Polynomial-Time Decidable.- Refining Abstract Interpretation-Based Static Analyses with Hints.

이 포스팅은 쿠팡 파트너스 활동의 일환으로,
이에 따른 일정액의 수수료를 제공받습니다.
이 포스팅은 제휴마케팅이 포함된 광고로 커미션을 지급 받습니다.
도서 DB 제공 : 알라딘 서점(www.aladin.co.kr)
최근 본 책