Data Portal @ linkeddatafragments.org

Matches in Harvard for { <http://id.lib.harvard.edu/aleph/009228190/catalog> ?p ?o. }

• catalog abstract "The mission of JMLC is to explore the concepts of well-structured rogramming languages and software, and those of teaching good design and programming style. A special interest is the construction of large and distributed software systems. JMLC – in the future it may be renamed to PMLC (Programming Methodology and Languages) – has already a long tradition; earlier confer- ces were held in 1987 (Bled, Slovenia), 1990 (Loughborough, UK), 1994 (Ulm, Germany), 1997 (Linz, Austria) and 2000 (Zuric ¨ h, Switzerland). JMLC 2003 attracted 47 papers from 10 countries (Australia, Austria, Czech Republic, Germany, Hungary, Italy, Switzerland, Russia, UK, USA). Each paper was reviewed by three representatives of the international program committee. Seventeen papers were accepted as full and 10 further papers as short contri- tions. In a second, simpli?ed reviewing process the editors of this proceedings checked that all authors had accounted for the detailed comments of the rev- wers. In addition to the regular program, JMLC 2003 invited ?ve distinguished speakers: Niklaus Wirth (ETH Zuric ¨ h), Michael Franz (UCI, Irvine), Jayadev Misra (UT, Austin), C.A.R. Hoare (Microsoft Research and Oxford University) and Jim Miller (Microsoft Corporation), the latter two in common with the co-located EuroPar 2003 conference. JMLC 2003 invited four tutorials: On .NET (Hanspeter M¨ ossenb¨ ock, Wo- gang Beer, Dietrich Birngruber and Albrecht W¨ oß, University Linz and Tech- Talk);C# (JudithBishop,UniversityofPretoriaandNigelHorspool,University of Victoria); and Design by Contract and the Ei?el Method and Trusted Com- nentsandAttemptsatProofs (BertrandMeyer,ETHZuric ¨ handEi?elSoftware).".
• catalog contributor b13012212.
• catalog contributor b13012213.
• catalog contributor b13012214.
• catalog created "c2003.".
• catalog date "2003".
• catalog date "c2003.".
• catalog dateCopyrighted "c2003.".
• catalog description "An Oberon Linker for an Imperfect World – More Notes on Building Your Own Tools -- Formal Aspects and Reflective Programming -- Language Definition in the Schütz Semantic Editor -- Demand-Driven Specification Partitioning -- Source-to-Source Transformation in the Large -- Metaprogramming Library for the C# Programming Language.".
• catalog description "Includes bibliographical references and index.".
• catalog description "Invited Talks -- The Essence of Programming Languages -- Safe Code – It’s Not Just for Applets Anymore -- Computing with Distributed Resources -- The Verifying Compiler: A Grand Challenge for Computing Research -- Evolving a Multi-language Object-Oriented Framework: Lessons from .NET -- Architectural Concepts and Education -- The KITE Application Server Architecture -- Compiler Support for Reference Tracking in a Type-Safe DSM -- Caste: A Step Beyond Object Orientation -- Distributed XML Objects -- Programming Education: A Russian Perspective -- Component Architectures -- Towards an Adaptive Distributed Multimedia Streaming Server Architecture Based on Service-Oriented Components -- A Layered Type System for Re-entrance Control -- A Practical Approach to Software Portability Based on Strong Typing and Architectural Stratification -- Object Life-Cycle Management in a Highly Flexible Middleware System -- Fighting Class Name Clashes in Java Component Systems -- ".
• catalog description "Language Concepts -- Real-Time Systems Development Using Hierarchical State Machines -- Classboxes: A Minimal Module Model Supporting Local Rebinding -- Zonnon for .NET – A Language and Compiler Experiment -- Safely Extending Procedure Types to Allow Nested Procedures as Values -- Frameworks and Design Principles -- Leveraging Managed Frameworks from Modular Languages -- Systems – Components + Languages: Building a Flexible Real-Time Simulation and Test Environment -- Event Library: An Object-Oriented Library for Event-Driven Design -- Controlling Access to Distributed Object Frameworks -- Architectural Aspects of a Thread-Safe Graphical Component System Based on Aos -- Compilers and Tools -- LL(1) Conflict Resolution in a Recursive Descent Compiler Generator -- Graph Coloring vs. Optimal Register Allocation for Optimizing Compilers -- A Source-To-Source Architecture for User-Defined Optimizations -- ".
• catalog description "The mission of JMLC is to explore the concepts of well-structured rogramming languages and software, and those of teaching good design and programming style. A special interest is the construction of large and distributed software systems. JMLC – in the future it may be renamed to PMLC (Programming Methodology and Languages) – has already a long tradition; earlier confer- ces were held in 1987 (Bled, Slovenia), 1990 (Loughborough, UK), 1994 (Ulm, Germany), 1997 (Linz, Austria) and 2000 (Zuric ¨ h, Switzerland). JMLC 2003 attracted 47 papers from 10 countries (Australia, Austria, Czech Republic, Germany, Hungary, Italy, Switzerland, Russia, UK, USA). Each paper was reviewed by three representatives of the international program committee. Seventeen papers were accepted as full and 10 further papers as short contri- tions. In a second, simpli?ed reviewing process the editors of this proceedings checked that all authors had accounted for the detailed comments of the rev- wers. In addition to the regular program, JMLC 2003 invited ?ve distinguished speakers: Niklaus Wirth (ETH Zuric ¨ h), Michael Franz (UCI, Irvine), Jayadev Misra (UT, Austin), C.A.R. Hoare (Microsoft Research and Oxford University) and Jim Miller (Microsoft Corporation), the latter two in common with the co-located EuroPar 2003 conference. JMLC 2003 invited four tutorials: On .NET (Hanspeter M¨ ossenb¨ ock, Wo- gang Beer, Dietrich Birngruber and Albrecht W¨ oß, University Linz and Tech- Talk);C# (JudithBishop,UniversityofPretoriaandNigelHorspool,University of Victoria); and Design by Contract and the Ei?el Method and Trusted Com- nentsandAttemptsatProofs (BertrandMeyer,ETHZuric ¨ handEi?elSoftware).".
• catalog extent "xiii, 269 p. :".
• catalog identifier "3540407960 (softcover : alk. paper)".
• catalog isPartOf "Lecture notes in computer science ; 2789".
• catalog issued "2003".
• catalog issued "c2003.".
• catalog language "eng".
• catalog publisher "Berlin ; New York : Springer,".
• catalog subject "005.1/12 22".
• catalog subject "Computer science.".
• catalog subject "Logic design.".
• catalog subject "Modular programming Congresses.".
• catalog subject "Operating systems (Computers).".
• catalog subject "Programming languages (Electronic computers) Congresses.".
• catalog subject "QA76.6 .J6578 2003".
• catalog subject "Software engineering.".
• catalog tableOfContents "An Oberon Linker for an Imperfect World – More Notes on Building Your Own Tools -- Formal Aspects and Reflective Programming -- Language Definition in the Schütz Semantic Editor -- Demand-Driven Specification Partitioning -- Source-to-Source Transformation in the Large -- Metaprogramming Library for the C# Programming Language.".
• catalog tableOfContents "Invited Talks -- The Essence of Programming Languages -- Safe Code – It’s Not Just for Applets Anymore -- Computing with Distributed Resources -- The Verifying Compiler: A Grand Challenge for Computing Research -- Evolving a Multi-language Object-Oriented Framework: Lessons from .NET -- Architectural Concepts and Education -- The KITE Application Server Architecture -- Compiler Support for Reference Tracking in a Type-Safe DSM -- Caste: A Step Beyond Object Orientation -- Distributed XML Objects -- Programming Education: A Russian Perspective -- Component Architectures -- Towards an Adaptive Distributed Multimedia Streaming Server Architecture Based on Service-Oriented Components -- A Layered Type System for Re-entrance Control -- A Practical Approach to Software Portability Based on Strong Typing and Architectural Stratification -- Object Life-Cycle Management in a Highly Flexible Middleware System -- Fighting Class Name Clashes in Java Component Systems -- ".
• catalog tableOfContents "Language Concepts -- Real-Time Systems Development Using Hierarchical State Machines -- Classboxes: A Minimal Module Model Supporting Local Rebinding -- Zonnon for .NET – A Language and Compiler Experiment -- Safely Extending Procedure Types to Allow Nested Procedures as Values -- Frameworks and Design Principles -- Leveraging Managed Frameworks from Modular Languages -- Systems – Components + Languages: Building a Flexible Real-Time Simulation and Test Environment -- Event Library: An Object-Oriented Library for Event-Driven Design -- Controlling Access to Distributed Object Frameworks -- Architectural Aspects of a Thread-Safe Graphical Component System Based on Aos -- Compilers and Tools -- LL(1) Conflict Resolution in a Recursive Descent Compiler Generator -- Graph Coloring vs. Optimal Register Allocation for Optimizing Compilers -- A Source-To-Source Architecture for User-Defined Optimizations -- ".
• catalog title "Modular programming languages : Joint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25-27, 2003 : proceedings / László Böszörményi, Peter Schojer (eds.).".
• catalog type "text".