top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
Coordination Models and Languages [[electronic resource] ] : 11th International Conference, COORDINATION 2009, Lisbon, Portugal, June 9-12, 2009, Proceedings / / edited by John Field, Vasco Thudichum Vasconcelos
Coordination Models and Languages [[electronic resource] ] : 11th International Conference, COORDINATION 2009, Lisbon, Portugal, June 9-12, 2009, Proceedings / / edited by John Field, Vasco Thudichum Vasconcelos
Edizione [1st ed. 2009.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Descrizione fisica 1 online resource (XII, 307 p.)
Disciplina 005.27
Collana Programming and Software Engineering
Soggetto topico Software engineering
Computer communication systems
Computer programming
Computers
Application software
Software Engineering/Programming and Operating Systems
Computer Communication Networks
Programming Techniques
Software Engineering
Models and Principles
Information Systems Applications (incl. Internet)
Soggetto genere / forma Kongress.
Lissabon (2009)
ISBN 3-642-02053-4
Classificazione DAT 310f
DAT 350f
SS 4800
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Talk -- Hop, a Fast Server for the Diffuse Web -- Languages and Systems -- High-Performance Transactional Event Processing -- Exceptionally Safe Futures -- Enhanced Coordination in Sensor Networks through Flexible Service Provisioning -- Fairness for Chorded Languages -- Semantic Models and Calculi -- Mobility Models and Behavioural Equivalence for Wireless Networks -- Parametrised Constants and Replication for Spatial Mobility -- Biochemical Tuple Spaces for Self-organising Coordination -- Joint Session -- Multicore Scheduling for Lightweight Communicating Processes -- Composition and Components -- Automata for Context-Dependent Connectors -- Contract-Based Coordination of Hardware Components for the Development of Embedded Software -- Coordination Model for Real-Time Collaborative Editors -- Verification and Modeling -- A Uniform Framework for Modeling and Verifying Components and Connectors -- From Coordination to Stochastic Models of QoS -- Assume-Guarantee Verification of Concurrent Systems.
Record Nr. UNISA-996465429103316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Coordination models and languages : 11th international conference, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. proceedings / / John Field, Vasco T. Vasconcelos
Coordination models and languages : 11th international conference, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. proceedings / / John Field, Vasco T. Vasconcelos
Edizione [1st ed. 2009.]
Pubbl/distr/stampa Berlin ; ; Heidelberg, : Springer-Verlag, 2009
Descrizione fisica 1 online resource (XII, 307 p.)
Disciplina 005.27
Altri autori (Persone) FieldJohn
VasconcelosVasco T
Collana Lecture Notes in Computer Science
Soggetto topico Parallel processing (Electronic computers)
Electronic data processing - Distributed processing
ISBN 3-642-02053-4
Classificazione DAT 310f
DAT 350f
SS 4800
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Talk -- Hop, a Fast Server for the Diffuse Web -- Languages and Systems -- High-Performance Transactional Event Processing -- Exceptionally Safe Futures -- Enhanced Coordination in Sensor Networks through Flexible Service Provisioning -- Fairness for Chorded Languages -- Semantic Models and Calculi -- Mobility Models and Behavioural Equivalence for Wireless Networks -- Parametrised Constants and Replication for Spatial Mobility -- Biochemical Tuple Spaces for Self-organising Coordination -- Joint Session -- Multicore Scheduling for Lightweight Communicating Processes -- Composition and Components -- Automata for Context-Dependent Connectors -- Contract-Based Coordination of Hardware Components for the Development of Embedded Software -- Coordination Model for Real-Time Collaborative Editors -- Verification and Modeling -- A Uniform Framework for Modeling and Verifying Components and Connectors -- From Coordination to Stochastic Models of QoS -- Assume-Guarantee Verification of Concurrent Systems.
Record Nr. UNINA-9910484496503321
Berlin ; ; Heidelberg, : Springer-Verlag, 2009
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Domain-Specific Languages [[electronic resource] ] : IFIP TC 2 Working Conference, DSL 2009, Oxford, UK, July 15-17, 2009, Proceedings / / edited by Walid Mohamed Taha
Domain-Specific Languages [[electronic resource] ] : IFIP TC 2 Working Conference, DSL 2009, Oxford, UK, July 15-17, 2009, Proceedings / / edited by Walid Mohamed Taha
Edizione [1st ed. 2009.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Descrizione fisica 1 online resource (X, 411 p.)
Disciplina 005.13
Collana Programming and Software Engineering
Soggetto topico Software engineering
Computer communication systems
Computer programming
Programming languages (Electronic computers)
Computer logic
Software Engineering
Software Engineering/Programming and Operating Systems
Computer Communication Networks
Programming Techniques
Programming Languages, Compilers, Interpreters
Logics and Meanings of Programs
Soggetto genere / forma Kongress.
Oxford (2009)
ISBN 1-280-38311-9
9786613561039
3-642-03034-3
Classificazione DAT 350f
SS 4800
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Semantics -- J Is for JavaScript: A Direct-Style Correspondence between Algol-Like Languages and JavaScript Using First-Class Continuations -- Model-Driven Engineering from Modular Monadic Semantics: Implementation Techniques Targeting Hardware and Software -- Methods and Tools -- A MuDDy Experience–ML Bindings to a BDD Library -- Gel: A Generic Extensible Language -- A Taxonomy-Driven Approach to Visually Prototyping Pervasive Computing Applications -- LEESA: Embedding Strategic and XPath-Like Object Structure Traversals in C++ -- Unit Testing for Domain-Specific Languages -- Combining DSLs and Ontologies Using Metamodel Integration -- Case Studies -- A Domain Specific Language for Composable Memory Transactions in Java -- CLOPS: A DSL for Command Line Options -- Nettle: A Language for Configuring Routing Networks -- Generic Libraries in C++ with Concepts from High-Level Domain Descriptions in Haskell -- Domain-Specific Language for HW/SW Co-design for FPGAs -- A Haskell Hosted DSL for Writing Transformation Systems -- Varying Domain Representations in Hagl -- A DSL for Explaining Probabilistic Reasoning -- Embedded Probabilistic Programming -- Operator Language: A Program Generation Framework for Fast Kernels.
Record Nr. UNISA-996465596603316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Domain-specific languages : IFIP TC 2 Working Conference, DSL 2009, Oxford, UK, July 15-17, 2009 : proceedings / / Walid Mohamed Taha (ed.)
Domain-specific languages : IFIP TC 2 Working Conference, DSL 2009, Oxford, UK, July 15-17, 2009 : proceedings / / Walid Mohamed Taha (ed.)
Edizione [1st ed. 2009.]
Pubbl/distr/stampa Berlin ; ; New York, : Springer, c2009
Descrizione fisica 1 online resource (X, 411 p.)
Disciplina 005.13
Altri autori (Persone) TahaWalid <1972->
Collana Lecture notes in computer science
LNCS sublibrary. SL 2, Programming and software engineering
Soggetto topico Domain-specific programming languages
Programming languages (Electronic computers)
ISBN 1-280-38311-9
9786613561039
3-642-03034-3
Classificazione DAT 350f
SS 4800
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Semantics -- J Is for JavaScript: A Direct-Style Correspondence between Algol-Like Languages and JavaScript Using First-Class Continuations -- Model-Driven Engineering from Modular Monadic Semantics: Implementation Techniques Targeting Hardware and Software -- Methods and Tools -- A MuDDy Experience–ML Bindings to a BDD Library -- Gel: A Generic Extensible Language -- A Taxonomy-Driven Approach to Visually Prototyping Pervasive Computing Applications -- LEESA: Embedding Strategic and XPath-Like Object Structure Traversals in C++ -- Unit Testing for Domain-Specific Languages -- Combining DSLs and Ontologies Using Metamodel Integration -- Case Studies -- A Domain Specific Language for Composable Memory Transactions in Java -- CLOPS: A DSL for Command Line Options -- Nettle: A Language for Configuring Routing Networks -- Generic Libraries in C++ with Concepts from High-Level Domain Descriptions in Haskell -- Domain-Specific Language for HW/SW Co-design for FPGAs -- A Haskell Hosted DSL for Writing Transformation Systems -- Varying Domain Representations in Hagl -- A DSL for Explaining Probabilistic Reasoning -- Embedded Probabilistic Programming -- Operator Language: A Program Generation Framework for Fast Kernels.
Record Nr. UNINA-9910484175803321
Berlin ; ; New York, : Springer, c2009
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Programming Languages and Systems [[electronic resource] ] : 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings / / edited by Andrew Gordon
Programming Languages and Systems [[electronic resource] ] : 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings / / edited by Andrew Gordon
Edizione [1st ed. 2010.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010
Descrizione fisica 1 online resource (XV, 632 p.)
Disciplina 005.1
Collana Theoretical Computer Science and General Issues
Soggetto topico Software engineering
Computer networks
Computer science
Computer programming
Compilers (Computer programs)
Software Engineering
Computer Communication Networks
Computer Science Logic and Foundations of Programming
Programming Techniques
Compilers and Interpreters
ISBN 1-280-38582-0
9786613563743
3-642-11957-3
Classificazione DAT 350f
SS 4800
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto The Audacity of Hope: Thoughts on Reclaiming the Database Dream -- Dynamic Boundaries: Information Hiding by Second Order Framing with First Order Assertions -- Coupling Policy Iteration with Semi-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis -- Precise and Automated Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs with Arrays -- A Semantic Framework for Declassification and Endorsement -- Amortised Resource Analysis with Separation Logic -- A PolyTime Functional Language from Light Linear Logic -- Testing Polymorphic Properties -- Formal Verification of Coalescing Graph-Coloring Register Allocation -- A Theory of Speculative Computation -- Propositional Interpolation and Abstract Interpretation -- Functional Programming in Sublinear Space -- Logical Concurrency Control from Sequential Proofs -- Fluid Updates: Beyond Strong vs. Weak Updates -- Parameterized Memory Models and Concurrent Separation Logic -- Amortized Resource Analysis with Polynomial Potential -- Generative Operational Semantics for Relaxed Memory Models -- Automating Security Mediation Placement -- TRX: A Formally Verified Parser Interpreter -- On the Expressive Power of Primitives for Compensation Handling -- Separating Shape Graphs -- Deadlock-Free Channels and Locks -- Verifying a Compiler for Java Threads -- A Grammar-Based Approach to Invertible Programs -- Faulty Logic: Reasoning about Fault Tolerant Programs -- A Hoare Logic for the Coinductive Trace-Based Big-Step Semantics of While -- A Universal Calculus for Stream Processing Languages -- Enforcing Stateful Authorization and Information Flow Policies in Fine -- Stateful Contracts for Affine Types -- CFA2: A Context-Free Approach to Control-Flow Analysis -- Weighted Dynamic Pushdown Networks -- Explicit Stabilisation for Modular Rely-Guarantee Reasoning.
Record Nr. UNISA-996465290703316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Programming languages and systems : 19th European Symposium on Programming, ESOP 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20 - 28, 2010; proceedings / / Andrew D. Gordon (ed.)
Programming languages and systems : 19th European Symposium on Programming, ESOP 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20 - 28, 2010; proceedings / / Andrew D. Gordon (ed.)
Edizione [1st ed. 2010.]
Pubbl/distr/stampa Berlin, : Springer, 2010
Descrizione fisica 1 online resource (XV, 632 p.)
Disciplina 005.1
Altri autori (Persone) GordonAndrew D
Collana Lecture notes in computer science
Soggetto topico Computer programming
Programming languages (Electronic computers)
ISBN 1-280-38582-0
9786613563743
3-642-11957-3
Classificazione DAT 350f
SS 4800
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto The Audacity of Hope: Thoughts on Reclaiming the Database Dream -- Dynamic Boundaries: Information Hiding by Second Order Framing with First Order Assertions -- Coupling Policy Iteration with Semi-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis -- Precise and Automated Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs with Arrays -- A Semantic Framework for Declassification and Endorsement -- Amortised Resource Analysis with Separation Logic -- A PolyTime Functional Language from Light Linear Logic -- Testing Polymorphic Properties -- Formal Verification of Coalescing Graph-Coloring Register Allocation -- A Theory of Speculative Computation -- Propositional Interpolation and Abstract Interpretation -- Functional Programming in Sublinear Space -- Logical Concurrency Control from Sequential Proofs -- Fluid Updates: Beyond Strong vs. Weak Updates -- Parameterized Memory Models and Concurrent Separation Logic -- Amortized Resource Analysis with Polynomial Potential -- Generative Operational Semantics for Relaxed Memory Models -- Automating Security Mediation Placement -- TRX: A Formally Verified Parser Interpreter -- On the Expressive Power of Primitives for Compensation Handling -- Separating Shape Graphs -- Deadlock-Free Channels and Locks -- Verifying a Compiler for Java Threads -- A Grammar-Based Approach to Invertible Programs -- Faulty Logic: Reasoning about Fault Tolerant Programs -- A Hoare Logic for the Coinductive Trace-Based Big-Step Semantics of While -- A Universal Calculus for Stream Processing Languages -- Enforcing Stateful Authorization and Information Flow Policies in Fine -- Stateful Contracts for Affine Types -- CFA2: A Context-Free Approach to Control-Flow Analysis -- Weighted Dynamic Pushdown Networks -- Explicit Stabilisation for Modular Rely-Guarantee Reasoning.
Altri titoli varianti 19th European Symposium on Programming
European Symposium on Programming
ESOP 2010
ETAPS 2010
Joint European Conferences on Theory and Practice of Software
Record Nr. UNINA-9910484592703321
Berlin, : Springer, 2010
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Programming Languages and Systems [[electronic resource] ] : 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009, Proceedings / / edited by Zhenjiang Hu
Programming Languages and Systems [[electronic resource] ] : 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009, Proceedings / / edited by Zhenjiang Hu
Edizione [1st ed. 2009.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Descrizione fisica 1 online resource (X, 359 p.)
Disciplina 005.13
Collana Programming and Software Engineering
Soggetto topico Programming languages (Electronic computers)
Software engineering
Computer security
Computer logic
Computer programming
Programming Languages, Compilers, Interpreters
Software Engineering/Programming and Operating Systems
Systems and Data Security
Software Engineering
Logics and Meanings of Programs
Programming Techniques
Soggetto genere / forma Kongress.
Seoul (2009)
ISBN 3-642-10672-2
Classificazione DAT 310f
DAT 350f
SS 4800
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto 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.
Record Nr. UNISA-996465897903316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Programming languages and systems : 7th Asian symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009, proceedings / / Zhenjiang Hu (ed.)
Programming languages and systems : 7th Asian symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009, proceedings / / Zhenjiang Hu (ed.)
Edizione [1st ed. 2009.]
Pubbl/distr/stampa Berlin ; ; Heidelberg, : Springer-Verlag, c2009
Descrizione fisica 1 online resource (X, 359 p.)
Disciplina 005.13
Altri autori (Persone) HuZhenjiang <1966->
Collana Lecture notes in computer science
Soggetto topico Programming languages (Electronic computers)
Software engineering
Computer programming
ISBN 3-642-10672-2
Classificazione DAT 310f
DAT 350f
SS 4800
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto 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.
Record Nr. UNINA-9910483343303321
Berlin ; ; Heidelberg, : Springer-Verlag, c2009
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Software Language Engineering [[electronic resource] ] : Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009 Revised Selected Papers / / edited by Mark van den Brand, Dragan Gasevic, Jeff Gray
Software Language Engineering [[electronic resource] ] : Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009 Revised Selected Papers / / edited by Mark van den Brand, Dragan Gasevic, Jeff Gray
Edizione [1st ed. 2010.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010
Descrizione fisica 1 online resource (390 p. 126 illus.)
Disciplina 005.1
Collana Programming and Software Engineering
Soggetto topico Software engineering
Programming languages (Electronic computers)
Computer simulation
Management information systems
Computer science
Computer logic
Software Engineering
Software Engineering/Programming and Operating Systems
Programming Languages, Compilers, Interpreters
Simulation and Modeling
Management of Computing and Information Systems
Logics and Meanings of Programs
Soggetto genere / forma Denver (Colo., 2009)
Kongress.
ISBN 1-280-38595-2
9786613563873
3-642-12107-1
Classificazione DAT 310f
DAT 350f
SS 4800
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Keynotes -- Eating Our Own Dog Food: DSLs for Generative and Transformational Engineering -- If MDE Is the Solution, Then What Is the Problem? -- Regular Papers -- Language Evolution in Practice: The History of GMF -- A Novel Approach to Semi-automated Evolution of DSML Model Transformation -- Study of an API Migration for Two XML APIs -- Composing Feature Models -- VML* – A Family of Languages for Variability Management in Software Product Lines -- Multi-view Composition Language for Software Product Line Requirements -- Yet Another Language Extension Scheme -- Model Transformation Languages Relying on Models as ADTs -- Towards Dynamic Evolution of Domain Specific Languages -- ScalaQL: Language-Integrated Database Queries for Scala -- Integration of Data Validation and User Interface Concerns in a DSL for Web Applications -- Ontological Metamodeling with Explicit Instantiation -- Verifiable Parse Table Composition for Deterministic Parsing -- Natural and Flexible Error Recovery for Generated Parsers -- PIL: A Platform Independent Language for Retargetable DSLs -- Graphical Template Language for Transformation Synthesis -- A Role-Based Approach towards Modular Language Engineering -- Language Boxes -- Declarative Scripting in Haskell -- An Automated Process for Implementing Multilevel Domain Models -- Domain-Specific Metamodelling Languages for Software Language Engineering -- Generating Smart Wrapper Libraries for Arbitrary APIs -- Closing the Gap between Modelling and Java.
Record Nr. UNISA-996465285003316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Software Language Engineering : second international conference, SLE 2009, Denver, CO, USA, October 5-6, 2009, revised selected papers / / Mark van den Brand, Dragan Gasevic, Jeff Gray (eds.)
Software Language Engineering : second international conference, SLE 2009, Denver, CO, USA, October 5-6, 2009, revised selected papers / / Mark van den Brand, Dragan Gasevic, Jeff Gray (eds.)
Edizione [1st ed. 2010.]
Pubbl/distr/stampa Berlin, : Springer, 2010
Descrizione fisica 1 online resource (390 p. 126 illus.)
Disciplina 005.1
Altri autori (Persone) BrandMark van den
GasevicDragan
GrayJeff (Jeffrey G.)
Collana Lecture notes in computer science
LNCS sublibrary. SL 2, Programming and software engineering
Soggetto topico Programming languages (Electronic computers)
Software engineering
ISBN 1-280-38595-2
9786613563873
3-642-12107-1
Classificazione DAT 310f
DAT 350f
SS 4800
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Keynotes -- Eating Our Own Dog Food: DSLs for Generative and Transformational Engineering -- If MDE Is the Solution, Then What Is the Problem? -- Regular Papers -- Language Evolution in Practice: The History of GMF -- A Novel Approach to Semi-automated Evolution of DSML Model Transformation -- Study of an API Migration for Two XML APIs -- Composing Feature Models -- VML* – A Family of Languages for Variability Management in Software Product Lines -- Multi-view Composition Language for Software Product Line Requirements -- Yet Another Language Extension Scheme -- Model Transformation Languages Relying on Models as ADTs -- Towards Dynamic Evolution of Domain Specific Languages -- ScalaQL: Language-Integrated Database Queries for Scala -- Integration of Data Validation and User Interface Concerns in a DSL for Web Applications -- Ontological Metamodeling with Explicit Instantiation -- Verifiable Parse Table Composition for Deterministic Parsing -- Natural and Flexible Error Recovery for Generated Parsers -- PIL: A Platform Independent Language for Retargetable DSLs -- Graphical Template Language for Transformation Synthesis -- A Role-Based Approach towards Modular Language Engineering -- Language Boxes -- Declarative Scripting in Haskell -- An Automated Process for Implementing Multilevel Domain Models -- Domain-Specific Metamodelling Languages for Software Language Engineering -- Generating Smart Wrapper Libraries for Arbitrary APIs -- Closing the Gap between Modelling and Java.
Record Nr. UNINA-9910483137003321
Berlin, : Springer, 2010
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui