Programming Languages and Systems
7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009, Proceedings
E-bok
PDF, Engelska, 2009708 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Beskrivning
This book constitutes the refereed proceedings of the 7th Asian Symposium on Programming Languages and Systems, APLAS 2009, held in Seoul, Korea, in December 2009. The 21 papers presented in this volume together with 3 invited talks were carefully reviewed and selected from 56 submissions. The papers are divided into topical sections on program analysis, transformation and optimization, type system, separation logic, logic and foundation theory, software security and verification, and software security and verification.
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Bidirectional Collaborative Data Management
Masatoshi Yoshikawa, Makoto Onizuka, Zhenjiang Hu
E-bok
20242 226 kr
Bidirectional Collaborative Data Management
Zhenjiang Hu, Makoto Onizuka, Masatoshi Yoshikawa
Häftad, 2025
1 793 kr
Engineering Adaptive Software Systems
Bashar Nuseibeh, John Mylopoulos, Hausi Muller, Tetsuo Tamai, Zhenjiang Hu, Shinichi Honiden, Arosha Bandara, Yijun Yu
E-bok
20191 459 kr
Engineering Adaptive Software Systems
Yijun Yu, Arosha Bandara, Shinichi Honiden, Zhenjiang Hu, Tetsuo Tamai, Hausi Muller, John Mylopoulos, Bashar Nuseibeh
Inbunden, 2019
1 123 kr
Bidirectional Collaborative Data Management
Zhenjiang Hu, Makoto Onizuka, Masatoshi Yoshikawa
Inbunden, 2024
1 793 kr