Programming Languages and Systems (Record no. 189192)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 05444nam a22006015i 4500 |
| 001 - CONTROL NUMBER | |
| control field | 978-3-540-40018-9 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | DE-He213 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20240423132550.0 |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION | |
| fixed length control field | cr nn 008mamaa |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 121227s2003 gw | s |||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9783540400189 |
| -- | 978-3-540-40018-9 |
| 024 7# - OTHER STANDARD IDENTIFIER | |
| Standard number or code | 10.1007/b94290 |
| Source of number or code | doi |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | QA76.76.C65 |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | UMC |
| Source | bicssc |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | COM010000 |
| Source | bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | UMC |
| Source | thema |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 005.45 |
| Edition number | 23 |
| 245 10 - TITLE STATEMENT | |
| Title | Programming Languages and Systems |
| Medium | [electronic resource] : |
| Remainder of title | First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003, Proceedings / |
| Statement of responsibility, etc | edited by Atsushi Ohori. |
| 250 ## - EDITION STATEMENT | |
| Edition statement | 1st ed. 2003. |
| 264 #1 - | |
| -- | Berlin, Heidelberg : |
| -- | Springer Berlin Heidelberg : |
| -- | Imprint: Springer, |
| -- | 2003. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | XIV, 434 p. |
| Other physical details | online resource. |
| 336 ## - | |
| -- | text |
| -- | txt |
| -- | rdacontent |
| 337 ## - | |
| -- | computer |
| -- | c |
| -- | rdamedia |
| 338 ## - | |
| -- | online resource |
| -- | cr |
| -- | rdacarrier |
| 347 ## - | |
| -- | text file |
| -- | |
| -- | rda |
| 490 1# - SERIES STATEMENT | |
| Series statement | Lecture Notes in Computer Science, |
| International Standard Serial Number | 1611-3349 ; |
| Volume number/sequential designation | 2895 |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | Invited Talk 1 -- On a Method of Global Optimization -- Session 1 -- Observing Asymmetry and Mismatch -- Expressive Synchronization Types for Inheritance in the Join Calculus -- Term Graph Rewriting for the ?-Calculus -- Useless-Code Elimination and Program Slicing for the Pi-Calculus -- Session 2 -- Constraint Functional Logic Programming for Origami Construction -- A Typeful and Tagless Representation for XML Documents -- Dataflow Pointcut in Aspect-Oriented Programming -- Session 3 -- Affine-Based Size-Change Termination -- Using Locality of Flow in Dataflow Analyses -- A Differential Fixpoint Evaluation Framework for Non-distributive Systems -- Invited Talk 2 -- Model Checking: From Hardware to Software -- Session 4 -- Executing Verified Compiler Specification -- Controlling and Optimizing the Usage of One Resource -- Resource Usage Verification -- Automatic Construction of Hoare Proofs from Abstract Interpretation Results -- Session 5 -- A Program Inverter for a Functional Language with Equality and Constructors -- Rebuilding a Tree from Its Traversals: -- Type Inference with Structural Subtyping: A Faithful Formalization of an Efficient Constraint Solver -- Session 6 -- Continuation Semantics for Parallel Haskell Dialects -- Translating a Continuous-Time Temporal Logic into Timed Automata -- The Semantic Layers of Timber -- Invited Talk 3 -- Scrap Your Boilerplate -- Session 7 -- Correctness of a Higher-Order Removal Transformation through a Relational Reasoning -- Extensional Polymorphism by Flow Graph Dispatching -- Register Allocation Based on a Reference Flow Analysis -- Lazy Stack Copying and Stack Copy Sharing for the Efficient Implementation of Continuations. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc | 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. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Compilers (Computer programs). |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Software engineering. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Operating systems (Computers). |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Computer science. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Machine theory. |
| 650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Compilers and Interpreters. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Software Engineering. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Operating Systems. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Computer Science Logic and Foundations of Programming. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Formal Languages and Automata Theory. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Ohori, Atsushi. |
| Relator term | editor. |
| Relator code | edt |
| -- | http://id.loc.gov/vocabulary/relators/edt |
| 710 2# - ADDED ENTRY--CORPORATE NAME | |
| Corporate name or jurisdiction name as entry element | SpringerLink (Online service) |
| 773 0# - HOST ITEM ENTRY | |
| Title | Springer Nature eBook |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Display text | Printed edition: |
| International Standard Book Number | 9783540205364 |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Display text | Printed edition: |
| International Standard Book Number | 9783662169537 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
| Uniform title | Lecture Notes in Computer Science, |
| -- | 1611-3349 ; |
| Volume number/sequential designation | 2895 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="https://doi.org/10.1007/b94290">https://doi.org/10.1007/b94290</a> |
| 912 ## - | |
| -- | ZDB-2-SCS |
| 912 ## - | |
| -- | ZDB-2-SXCS |
| 912 ## - | |
| -- | ZDB-2-LNC |
| 912 ## - | |
| -- | ZDB-2-BAE |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | eBooks-CSE-Springer |
No items available.