ECOOP 2013 -- Object-Oriented Programming [[electronic resource] ] : 27th European Conference, Montpellier, France, July 1-5, 2013, Proceedings / / edited by Giuseppe Castagna |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (XXII, 746 p. 206 illus.) : digital |
Disciplina | 005.117 |
Collana | Programming and Software Engineering |
Soggetto topico |
Computer programming
Software engineering Programming languages (Electronic computers) Computer logic Mathematical logic Computer communication systems Programming Techniques Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Mathematical Logic and Formal Languages Computer Communication Networks |
ISBN | 3-642-39038-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Aspects, Components, and Modularity -- CoCo: Sound and Adaptive Replacement of Java Collections -- Feature-Oriented Programming with Object Algebras -- Composition and Reuse with Compiled Domain-Specific Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition Inference with Linear Programming -- A Formal Semantics for Isorecursive and Equirecursive State Abstractions -- Language Design -- Trustworthy Proxies: Virtualizing Objects with Invariants -- JavaUI: Effects for Controlling UI Object Access -- The Billion-Dollar Fix: Safe Modular Circular Initialisation with Placeholders and Placeholder Types -- Concurrency, Parallelism, and Distribution -- Implementing Federated Object Systems -- RedCard: Redundant Check Elimination for Dynamic Race Detectors -- Ownership-Based Isolation for Concurrent Actors on Multi-core Machines -- Why Do Scala Developers Mix the Actor Model with other Concurrency Models? -- Analysis and Verification -- Joins: A Case Study in Modular Specification of a Concurrent Reentrant Higher-Order Library -- Enabling Modularity and Re-use in Dynamic Program Analysis Tools for the Java Virtual Machine -- Averroes: Whole-Program Analysis without the Whole Program -- QUIC Graphs: Relational Invariant Generation for Containers -- Reducing Lookups for Invariant Checking -- Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions -- Modelling and Refactoring -- Really Automatic Scalable Object-Oriented Reengineering -- Detecting Refactored Clones -- A Compositional Paradigm of Automating Refactorings -- A Comparative Study of Manual and Automated Refactorings -- Testing, Profiling, and Empirical Studies -- What Programmers Do with Inheritance in Java -- Is This a Bug or an Obsolete Test? -- Systematic Testing of Refactoring Engines on Real Software Projects -- Implementation -- Simple Profile Rectifications Go a Long Way: Statistically Exploring and Alleviating the Effects of Sampling Errors for Program Optimizations -- The Shape of Things to Run: Compiling Complex Stream Graphs to Reconfigurable Hardware in Lime -- Higher-Order Reactive Programming with Incremental Lists. |
Record Nr. | UNISA-996465375803316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
ECOOP 2013 -- Object-Oriented Programming : 27th European Conference, Montpellier, France, July 1-5, 2013, Proceedings / / edited by Giuseppe Castagna |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (XXII, 746 p. 206 illus.) : digital |
Disciplina | 005.117 |
Collana | Programming and Software Engineering |
Soggetto topico |
Computer programming
Software engineering Programming languages (Electronic computers) Computer logic Mathematical logic Computer communication systems Programming Techniques Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Mathematical Logic and Formal Languages Computer Communication Networks |
ISBN | 3-642-39038-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Aspects, Components, and Modularity -- CoCo: Sound and Adaptive Replacement of Java Collections -- Feature-Oriented Programming with Object Algebras -- Composition and Reuse with Compiled Domain-Specific Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition Inference with Linear Programming -- A Formal Semantics for Isorecursive and Equirecursive State Abstractions -- Language Design -- Trustworthy Proxies: Virtualizing Objects with Invariants -- JavaUI: Effects for Controlling UI Object Access -- The Billion-Dollar Fix: Safe Modular Circular Initialisation with Placeholders and Placeholder Types -- Concurrency, Parallelism, and Distribution -- Implementing Federated Object Systems -- RedCard: Redundant Check Elimination for Dynamic Race Detectors -- Ownership-Based Isolation for Concurrent Actors on Multi-core Machines -- Why Do Scala Developers Mix the Actor Model with other Concurrency Models? -- Analysis and Verification -- Joins: A Case Study in Modular Specification of a Concurrent Reentrant Higher-Order Library -- Enabling Modularity and Re-use in Dynamic Program Analysis Tools for the Java Virtual Machine -- Averroes: Whole-Program Analysis without the Whole Program -- QUIC Graphs: Relational Invariant Generation for Containers -- Reducing Lookups for Invariant Checking -- Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions -- Modelling and Refactoring -- Really Automatic Scalable Object-Oriented Reengineering -- Detecting Refactored Clones -- A Compositional Paradigm of Automating Refactorings -- A Comparative Study of Manual and Automated Refactorings -- Testing, Profiling, and Empirical Studies -- What Programmers Do with Inheritance in Java -- Is This a Bug or an Obsolete Test? -- Systematic Testing of Refactoring Engines on Real Software Projects -- Implementation -- Simple Profile Rectifications Go a Long Way: Statistically Exploring and Alleviating the Effects of Sampling Errors for Program Optimizations -- The Shape of Things to Run: Compiling Complex Stream Graphs to Reconfigurable Hardware in Lime -- Higher-Order Reactive Programming with Incremental Lists. |
Record Nr. | UNINA-9910484286303321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
POPL '17 : proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages : January 15-21, 2017, Paris, France / / edited by Giuseppe Castagna and Andrew D. Gordon |
Pubbl/distr/stampa | New York : , : ACM, , 2017 |
Descrizione fisica | 1 online resource (901 pages) |
Disciplina | 005.13 |
Soggetto topico | Programming languages (Electronic computers) |
ISBN | 1-4503-4660-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti |
Principles of Programming Languages '17 : proceedings of the 44th Association for Computing Machinery Special Interest Group on Programming Languages Symposium on Principles of Programming Languages : January 15-21, 2017, Paris, France
Principles of Programming Languages 2017 Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages Proceedings of the 44th Association for Computing Machinery Special Interest Group on Programming Languages Symposium on Principles of Programming Languages |
Record Nr. | UNINA-9910376439703321 |
New York : , : ACM, , 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Programming Languages and Systems [[electronic resource] ] : 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings / / edited by Giuseppe Castagna |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
Descrizione fisica | 1 online resource (XV, 411 p.) |
Disciplina | 005.13 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Compilers (Computer programs)
Software engineering Computer science Computer programming Algorithms Compilers and Interpreters Software Engineering Theory of Computation Programming Techniques Computer Science Logic and Foundations of Programming |
Soggetto genere / forma | Conference papers and proceedings. |
ISBN | 3-642-00590-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Typed Functional Programming -- Well-Typed Programs Can’t Be Blamed -- Exploring the Design Space of Higher-Order Casts -- Practical Variable-Arity Polymorphism -- Resolving Inductive Definitions with Binders in Higher-Order Typed Functional Programming -- ETAPS Invited Talk -- Using Category Theory to Design Programming Languages -- Computational Effects -- Modular Monad Transformers -- Handlers of Algebraic Effects -- Types for Object-Oriented Languages -- Is Structural Subtyping Useful? An Empirical Study -- An Interval-Based Inference of Variant Parametric Types -- Existential Quantification for Variant Ownership -- Verification -- Formalising and Verifying Reference Attribute Grammars in Coq -- Verified, Executable Parsing -- An Efficient Algorithm for Solving the Dyck-CFL Reachability Problem on Trees -- Amortised Memory Analysis Using the Depth of Data Structures -- ESOP Invited Talk -- The Financial Crisis, a Lack of Contract Specification Tools: What Can Finance Learn from Programming Language Design? -- Security -- All Secrets Great and Small -- Type-Based Automated Verification of Authenticity in Cryptographic Protocols -- Concurrency -- A Theory of Non-monotone Memory (Or: Contexts for free) -- Abstraction for Concurrent Objects -- Minimization Algorithm for Symbolic Bisimilarity -- Service-Oriented Computing -- Conversation Types -- Abstract Processes in Orchestration Languages -- Global Principal Typing in Partially Commutative Asynchronous Sessions -- Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services -- Parallel and Concurrent Programming -- Automatic Parallelization with Separation Logic -- Deny-Guarantee Reasoning -- A Basis for Verifying Multi-threaded Programs -- SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs. |
Record Nr. | UNISA-996465984703316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|