دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Wen-tsun Wu (auth.), Atsushi Ohori (eds.) سری: Lecture Notes in Computer Science 2895 ISBN (شابک) : 9783540205364, 3540205365 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2003 تعداد صفحات: 442 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
کلمات کلیدی مربوط به کتاب زبانها و سیستمهای برنامه نویسی: اولین سمپوزیوم آسیایی ، APLAS 2003 ، پکن ، چین ، 27 تا 29 نوامبر ، 2003. مجموعه مقالات: زبانهای برنامهنویسی، کامپایلرها، مترجمان، مهندسی نرمافزار، سیستمهای عامل، منطق و معانی برنامهها، منطق ریاضی و زبانهای رسمی
در صورت تبدیل فایل کتاب Programming Languages and Systems: First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب زبانها و سیستمهای برنامه نویسی: اولین سمپوزیوم آسیایی ، APLAS 2003 ، پکن ، چین ، 27 تا 29 نوامبر ، 2003. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
با تبلیغ صمیمانه و دوستانه توسط دوستان ژاپنی ما پروفسور - سوشی اوهوری، پروفسور تتسو آیدا، و پروفسور ژنجیانگ هو، و سایر اساتید و دانشمندان برجسته از کشورها و مناطقی مانند ژاپن، کره جنوبی، سنگاپور، و تایوان، اولین سمپوزیوم آسیایی زبانها و سیستمهای برنامهنویسی (APLAS2003) در پکن برگزار شد. 76 مقاله دریافت شد که از میان آنها 24 مقاله پس از ارزیابی جدی برای کار انتخاب شدند که به طور کامل کیفیت بالای مقالات جمعآوری شده را نشان میدهد. بدینوسیله به نمایندگی از کمیته برنامه و کمیته سازماندهی سمپوزیوم، مایلم از همه همکارانی که در سمپوزیوم شرکت کردند، همه محققانی که سخاوتمندانه مقالات خود را ارائه کردند، و همه کسانی که فعالانه فداکار بودند، صمیمانه ترین استقبال و تشکر کنم. به سازماندهی این سمپوزیوم در دهه گذشته، اقتصاد آسیا دستخوش توسعه سریعی شده است. آسیا با همگام شدن با این رشد اقتصادی شتابان، پیشرفت زیادی در نرم افزار، مدارهای مجتمع، ارتباطات سیار و اینترنت داشته است. همه اینها یک پایه مادی ?rm برای انجام تحقیقات نظری در زمینه علوم کامپیوتر و زبان های برنامه نویسی ایجاد کرده است. بنابراین، برای پاسخگویی به تقاضاهای روزافزون بازار فناوری اطلاعات، فرصت ها و چالش های بزرگی در تحقیقات پیشرفته در این مناطق وجود دارد. من قویاً معتقدم که در آینده آتی، با تلاش پیگیر همکارانمان، صنعت نرم افزار آسیایی و تحقیقات در زمینه علوم رایانه بازیگران مهمی در اقتصاد جهانی خواهند بود، در شرایطی برابر با همتایان خود در ایالات متحده و اروپا. .
With warm-hearted and friendly promotion by our Japanese friends Prof. - sushi Ohori, Prof. Tetsuo Ida, and Prof. Zhenjiang Hu, and other distinguished professors and scholars from countries and regions such as Japan, South Korea, Singapore, and Taiwan, the 1st Asian Symposium on Programming Languages andSystems(APLAS2003)tookplaceinBeijing.Wereceived76papers,among which 24 were selected for the proceedings after serious evaluation, which fully demonstrates the high quality of the collected papers. I hereby, on behalf of the Program Committee and the Organization Committee of the symposium, would like to extend the warmest welcome and hearty thanks to all colleagues who attended the symposium, all scholars who generously contributed their papers, and all those who were actively dedicated to the organization of this symposium. Over the past decade, the Asian economy has undergone rapid development. Keeping pace with this accelerated economic growth, Asia has made great he- way in software, integrated circuits, mobile communication and the Internet. All this has laid a ?rm material foundation for undertaking theoretical research on computer science and programming languages. Therefore, to meet the incr- sing demands of the IT market, great opportunities and challenges in advanced research in these ?elds. I strongly believe that in the coming future, with the persistent e?orts of our colleagues, the Asian software industry and research on computer science will be important players in the world economy, on an equal footing with their counterparts in the United States and Europe.
Front Matter....Pages -
On a Method of Global Optimization....Pages 1-1
Observing Asymmetry and Mismatch....Pages 2-19
Expressive Synchronization Types for Inheritance in the Join Calculus....Pages 20-36
Term Graph Rewriting for the π -Calculus....Pages 37-54
Useless-Code Elimination and Program Slicing for the Pi-Calculus....Pages 55-72
Constraint Functional Logic Programming for Origami Construction....Pages 73-88
A Typeful and Tagless Representation for XML Documents....Pages 89-104
Dataflow Pointcut in Aspect-Oriented Programming....Pages 105-121
Affine-Based Size-Change Termination....Pages 122-140
Using Locality of Flow in Dataflow Analyses....Pages 141-158
A Differential Fixpoint Evaluation Framework for Non-distributive Systems....Pages 159-175
Model Checking: From Hardware to Software....Pages 176-177
Executing Verified Compiler Specification....Pages 178-194
Controlling and Optimizing the Usage of One Resource....Pages 195-211
Resource Usage Verification....Pages 212-229
Automatic Construction of Hoare Proofs from Abstract Interpretation Results....Pages 230-245
A Program Inverter for a Functional Language with Equality and Constructors....Pages 246-264
Rebuilding a Tree from Its Traversals:....Pages 265-282
Type Inference with Structural Subtyping: A Faithful Formalization of an Efficient Constraint Solver....Pages 283-302
Continuation Semantics for Parallel Haskell Dialects....Pages 303-321
Translating a Continuous-Time Temporal Logic into Timed Automata....Pages 322-338
The Semantic Layers of Timber....Pages 339-356
Scrap Your Boilerplate....Pages 357-357
Correctness of a Higher-Order Removal Transformation through a Relational Reasoning....Pages 358-375
Extensional Polymorphism by Flow Graph Dispatching....Pages 376-393
Register Allocation Based on a Reference Flow Analysis....Pages 394-409
Lazy Stack Copying and Stack Copy Sharing for the Efficient Implementation of Continuations....Pages 410-426
Back Matter....Pages -