The proceedings contain 77 papers. The topics discussed include: emergent feature modularization;harnessing emergence for manycore programming: early experience integrating ensembles, adverbs, and object-based inherit...
ISBN:
(纸本)9781450302401
The proceedings contain 77 papers. The topics discussed include: emergent feature modularization;harnessing emergence for manycore programming: early experience integrating ensembles, adverbs, and object-based inheritance;collaborative model merging;sonifying performance data to facilitate tuning of complex systems: performance tuning: music to my ears;a recommender for conflict resolution support in optimistic model versioning;inferring arbitrary distributions for data and computation;object-oriented software considerations in airborne systems and equipment certification;migrating a large modeling environment from XML/UML to Xtext/GMF;software evolution in agile development: a case study;application frameworks: how they become your enemy;MDSD for the iPhone: developing a domain-specific language and IDE tooling to produce real world applications for mobile devices;and stop the software architecture erosion: building better software systems.
The proceedings contain 8 papers. The topics discussed include: parallel object-oriented scientific computing with Habanero-java;globally parallel, locally sequential: a preliminary proposal for acumen objects;insulat...
ISBN:
(纸本)9781450305464
The proceedings contain 8 papers. The topics discussed include: parallel object-oriented scientific computing with Habanero-java;globally parallel, locally sequential: a preliminary proposal for acumen objects;insulating the scientific programmer from perilous parallel architecture;HiFlow3 - a flexible and hardware-aware parallel finite element package;parallel simulation of equation-based models on CUDA-enabled GPUs;automatic performance optimization in ViennaCL for GPUs;and the best of most worlds: and shared objects for multilingual simulation.
The proceedings contain 50 papers. The topics discussed include: empirical analysis of programming language adoption;steering symbolic execution to less traveled paths;verifying quantitative reliability for programs t...
ISBN:
(纸本)9781450323741
The proceedings contain 50 papers. The topics discussed include: empirical analysis of programming language adoption;steering symbolic execution to less traveled paths;verifying quantitative reliability for programs that execute on unreliable hardware;miniboxing: improving the speed to code size tradeoff in parametric polymorphism translations;taking off the gloves with reference counting immix;resurrector: a tunable object lifetime profiling technique for optimizing real-world programs;effective race detection for event-driven programs;storage strategies for collections in dynamically typed languages;instant pickles: generating object-oriented pickler combinators for fast and extensible serialization;interacting with dead objects;and python: the full Monty: a tested semantics for the python programming language.
The proceedings contain 59 papers. The topics discussed include: type-based safe resource deallocation for shared-memory concurrency;safe compiler-driven transaction checkpointing and recovery;predicate abstraction of...
ISBN:
(纸本)9781450315616
The proceedings contain 59 papers. The topics discussed include: type-based safe resource deallocation for shared-memory concurrency;safe compiler-driven transaction checkpointing and recovery;predicate abstraction of Java programs with collections;GPUVerify: a verifier for GPU kernels;modular and verified automatic program repair;mitigating the compiler optimization phase-ordering problem using machine learning;optimization coaching: optimizers learn to communicate with programmers;adaptive multi-level compilation in a trace-based Java JIT compiler;on the benefits and pitfalls of extending a statically typed language JIT compiler for dynamic scripting languages;an abstract interpretation framework for refactoring with application to extract methods with contracts;refactoring Android Java code for on-demand computation offloading;and exploring multi-threaded java application performance on multicore hardware.
The proceedings contain 60 papers. The topics discussed include: efficient modular glass box software model checking;an experiment about static and dynamic type systems: doubts about the positive impact of static type...
ISBN:
(纸本)9781450302036
The proceedings contain 60 papers. The topics discussed include: efficient modular glass box software model checking;an experiment about static and dynamic type systems: doubts about the positive impact of static type systems on development time;a simple inductive synthesis methodology and its applications;a domain-specific approach to architecturing error handling in pervasive computing;G-finder: routing programming questions closer to the experts;agility in context;an input-centric paradigm for program dynamic optimizations;composable specifications for structured shared-memory communication;scalable and systematic detection of buggy inconsistencies in source code;cross-language, type-safe, and transparent object sharing for co-located managed runtimes;instrumentation and sampling strategies for cooperative concurrency bug isolation;what can the GC compute efficiently? a language for heap assertions at GC time;and monitor optimization via stutter-equivalent loop transformation.
The conference materials contain 33 papers on object-orientedprogramming. The topics covered include software engineering for object-orientedsystems development, languages and programming, distributed objects, concu...
详细信息
ISBN:
(纸本)0201533723
The conference materials contain 33 papers on object-orientedprogramming. The topics covered include software engineering for object-orientedsystems development, languages and programming, distributed objects, concurrency, object-oriented megaprogramming, operating systems, and experience reports.
The proceedings contain 15 papers. The topics discussed include: object-orientedprogramming versus object-oriented design: what�s the connection?;foundations of object-based concurrent programming;structured analysis...
ISBN:
(纸本)0897914430
The proceedings contain 15 papers. The topics discussed include: object-orientedprogramming versus object-oriented design: what�s the connection?;foundations of object-based concurrent programming;structured analysis and objectoriented analysis;designing reusable designs: experiences designing object-oriented frame works;issues in object data management;OOP in the real world;garbage collection in object-orientedsystems;third CLOS users and implementors workshop;transactions and objects;and graphics for objectoriented software engineering.
暂无评论