Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    UID:
    almahu_BV041345125
    Format: VIII, 149 S. : , graph. Darst.
    ISBN: 978-3-642-40921-9
    Series Statement: Lecture notes in computer science 8129
    Additional Edition: Erscheint auch als Online-Ausgabe ISBN 978-3-642-40922-6
    Language: English
    Subjects: Computer Science
    RVK:
    Keywords: Programmiersprache ; Formale Methode ; Konferenzschrift ; Kongress ; Konferenzschrift ; Konferenzschrift
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 2
    UID:
    almahu_9947364449302882
    Format: XVI, 151 p. 31 illus. , online resource.
    ISBN: 9783642409226
    Series Statement: Lecture Notes in Computer Science, 8129
    Content: This book constitutes the proceedings of the 17th Brazililan Symposium on Programming Languages, SBLP 2013, held in Brasília, Brazil, in September/October 2013. The 10 full and 2 keynote talks were carefully reviewed and selected from 31 submissions. The papers are organized in topical sections on program generation and transformation, including domain-specific languages and model-driven development in the context of programming languages, programming paradigms and styles, including functional, object-oriented, aspect-oriented, scripting languages, real-time, service-oriented, multithreaded, parallel, and distributed programming, formal semantics and theoretical foundations, including denotational, operational, algebraic and categorical, program analysis and verification, including type systems, static analysis and abstract interpretation, and programming language design and implementation, including new programming models, programming language environments, compilation and interpretation techniques.
    Note: Exception Handling for Error Reporting in Parsing Expression Grammars -- LuaRocks - A Declarative and Extensible Package Management System for Lua -- On the Performance of Multidimensional Array Representations in Programming Languages Based on Virtual Execution Machines -- Modular Bialgebraic Semantics and Algebraic Laws -- A Double Effect λ-calculus for Quantum Computation -- Boilerplates for Reconfigurable Systems: A Language and Its Semantics -- Contextual Abstraction in a Type System for Component-Based High Performance Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming -- Multiple Intermediate Structure Deforestation by Shortcut Fusion -- Zipper-Based Attribute Grammars and Their Extensions.
    In: Springer eBooks
    Additional Edition: Printed edition: ISBN 9783642409219
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 3
    UID:
    gbv_1653029765
    Format: Online-Ressource (XVI, 151 p. 31 illus, online resource)
    ISBN: 9783642409226
    Series Statement: Lecture Notes in Computer Science 8129
    Content: This book constitutes the proceedings of the 17th Brazililan Symposium on Programming Languages, SBLP 2013, held in Brasília, Brazil, in September/October 2013. The 10 full and 2 keynote talks were carefully reviewed and selected from 31 submissions. The papers are organized in topical sections on program generation and transformation, including domain-specific languages and model-driven development in the context of programming languages, programming paradigms and styles, including functional, object-oriented, aspect-oriented, scripting languages, real-time, service-oriented, multithreaded, parallel, and distributed programming, formal semantics and theoretical foundations, including denotational, operational, algebraic and categorical, program analysis and verification, including type systems, static analysis and abstract interpretation, and programming language design and implementation, including new programming models, programming language environments, compilation and interpretation techniques
    Note: Literaturangaben , Exception Handling for Error Reporting in Parsing Expression Grammars LuaRocks - A Declarative and Extensible Package Management System for Lua -- On the Performance of Multidimensional Array Representations in Programming Languages Based on Virtual Execution Machines -- Modular Bialgebraic Semantics and Algebraic Laws -- A Double Effect λ-calculus for Quantum Computation -- Boilerplates for Reconfigurable Systems: A Language and Its Semantics -- Contextual Abstraction in a Type System for Component-Based High Performance Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming -- Multiple Intermediate Structure Deforestation by Shortcut Fusion -- Zipper-Based Attribute Grammars and Their Extensions.
    Additional Edition: ISBN 9783642409219
    Additional Edition: Erscheint auch als Druck-Ausgabe Programming languages Berlin : Springer, 2013 ISBN 9783642409219
    Additional Edition: ISBN 3642409210
    Language: English
    Subjects: Computer Science
    RVK:
    Keywords: Programmiersprache ; Konferenzschrift ; Konferenzschrift
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 4
    UID:
    b3kat_BV041449363
    Format: 1 Online-Ressource (VIII, 149 S.) , graph. Darst.
    ISBN: 9783642409219 , 9783642409226
    Series Statement: Lecture notes in computer science 8129
    Language: English
    Subjects: Computer Science
    RVK:
    Keywords: Programmiersprache ; Formale Methode ; Konferenzschrift
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
Did you mean 9783642109249?
Did you mean 9783642109218?
Did you mean 9783642049217?
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages