The proceedings contain 27 papers from 19th Annual acmconference on object-orientedprogramming, systems, languages, and applications, OOPSLA'04. The topics discussed include: converting java classes to use gener...
详细信息
ISBN:
(纸本)1581138318
The proceedings contain 27 papers from 19th Annual acmconference on object-orientedprogramming, systems, languages, and applications, OOPSLA'04. The topics discussed include: converting java classes to use generics;converting java programs to use generic libraries;a practical type system and language for reference immutability;a unified theory of garbage collection;scalable extensibility via nested inheritance;decentralizing execution of composite web services;resolving feature convolution in middleware systems;transparent proxies for java futures;practical predicate dispatch;object-oriented units of measurement;and finding and preventing run-time error handling mistakes.
The proceedings contain 31 papers. The topics discussed include: associated types and constraint propagation for mainstream object-oriented generics;deriving object typestates in the presence of inter-object reference...
详细信息
The proceedings contain 31 papers. The topics discussed include: associated types and constraint propagation for mainstream object-oriented generics;deriving object typestates in the presence of inter-object references;modeling architectural patterns using architectural primitives;parametric polymorphism for software component architectures;using dependency models to manage complex software architecture;interaction-based programming with classages;fine-grained interoperability through mirrors and contracts;improving virtual machine performance using a cross-run profile repository;relational queries over program traces;lifting sequential graph algorithms for distributed-memory parallel computation;and safe futures for Java.
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 105 papers. The topics discussed include: jMock: supporting responsibility-based design with mock objects;advanced refactorings in eclipse;JQuery: finding your way through tangled code;modeling...
ISBN:
(纸本)1581138334
The proceedings contain 105 papers. The topics discussed include: jMock: supporting responsibility-based design with mock objects;advanced refactorings in eclipse;JQuery: finding your way through tangled code;modeling event driven applications with a specification language (MEDASL);design snippets: partial design representations extracted from source code;meta-programming for the real world;JRA: offline analysis of runtime behavior;modeling and building software product lines with eclipse;PRISM is research in aSpect mining;smell detection for eclipse;program transformations for re-engineering C++ components [OOPSLA/GPCE];C-SAW and GenAWeave: a two-level aspect weaving toolsuite;the concern manipulation environment [OOPSLA/GPCE];object-oriented, structural software configuration management;implementing DSL in MetaOCaml;modeling dynamics of agile software development;interactive visualization of object-oriented programs;and generic ownership: practical ownership in programming languages.
The proceedings contain 10 papers. The topics discussed include: of scripts and programs: tall tales, urban legends, and future prospects;beyond static and dynamic scope;groovy package templates: supporting reuse and ...
ISBN:
(纸本)9781605587691
The proceedings contain 10 papers. The topics discussed include: of scripts and programs: tall tales, urban legends, and future prospects;beyond static and dynamic scope;groovy package templates: supporting reuse and runtime adaption of class hierarchies;contracts for first-class modules;language embedding and optimization in Mython;directing JavaScript with arrows;context-oriented software transactional memory in common Lisp;fast type reconstruction for dynamically typed programming languages;optimization of dynamic languages using hierarchical layering of virtual machines;the Ruby intermediate language;and hosting an object heap on manycore hardware: an exploration.
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 61 papers. The topics discussed include: HAWKEYE: effective discovery of dataflow impediments to parallelization;automatic fine-grain locking using shape properties;safe parallel programming us...
ISBN:
(纸本)9781450309400
The proceedings contain 61 papers. The topics discussed include: HAWKEYE: effective discovery of dataflow impediments to parallelization;automatic fine-grain locking using shape properties;safe parallel programming using dynamic dependence hints;sprint: speculative prefetching of remote data;sprint: speculative prefetching of remote datal;why nothing matters: the impact of zeroing;trustworthy numerical computation in scala;JET: exception checking in the java native interface;immutable specifications for more concise and precise verification;hybrid partial evaluation;SugarJ: library-based syntactic language extensibility;reactive imperative programming with dataflow constraints;two for the price of one: a model for parallel and incremental computation;and a step towards transparent integration of input-consciousness into dynamic program optimizations.
暂无评论