The proceedings contain 52 papers. The topics discussed include: automatic parallelization of pure method calls via conditional future synthesis;portable inter-workgroup barrier synchronisation for GPUs;semantics-base...
ISBN:
(纸本)9781450344449
The proceedings contain 52 papers. The topics discussed include: automatic parallelization of pure method calls via conditional future synthesis;portable inter-workgroup barrier synchronisation for GPUs;semantics-based program verifiers for all languages;hoare-style specifications as correctness conditions for non-linearizable concurrent objects;modeling and analysis of remote memory access programming;deriving divide-and-conquer dynamic programming algorithms using solver-aided transformations;speeding up machine-code synthesis;extensible access control with authorization contracts;and gentrification gone too far? affordable 2nd-class values for fun and (co)effect.
The proceedings contain 101 papers. The topics discussed include: model driven development - the case for domain orientedprogramming;an end-to-end domain-driven software development framework;XAspects: an extensible ...
ISBN:
(纸本)1581137516
The proceedings contain 101 papers. The topics discussed include: model driven development - the case for domain orientedprogramming;an end-to-end domain-driven software development framework;XAspects: an extensible system for domain-specific aspect languages;the power of symmetry: unifying inheritance and generative programming;domain driven web development with WebJinn;automated impact analysis of object-oriented software systems;a demonstration of JPie: an environment for live software construction in Java;reuse learning objects through LOM and XML;QuickUML: a tool to support iterative design and code development;GME: the generic modeling environment;generative model transformer;semantic software engineering tools;a policy based system to incorporate self-managing behaviors in applications;using events to debug Java programs backwards in time;and issues on building T++, a tool for web application development with C++.
The proceedings contain 19 papers. The topics discussed include: WiKi-based framework for blended learning;structuring WiKi revision history;WiKiCreole: a common WiKi markup;do as I do: authorial leadership in Wikiped...
详细信息
ISBN:
(纸本)9781595938619
The proceedings contain 19 papers. The topics discussed include: WiKi-based framework for blended learning;structuring WiKi revision history;WiKiCreole: a common WiKi markup;do as I do: authorial leadership in Wikipedia;cooperation and quality in Wikipedia;connecting Wikis and natural language processing systems;on-line collaborative software development via WiKi;building collaborative capacities in learners;a framework for studying the use of Wikis in knowledge work using client-side access data;constructing teat: Wiki as a toolkit for (collaborative?) learning;conceptual enhancement via textual plurality: a pedagogical WiKi bow towards collaborative structuration;recommenders everywhere: the WiKiLens community-maintained recommender system;and Wikis in education: in public better?.
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 26 papers. The topics discussed include: perspectives on reuse;the basic object system: supporting a spectrum from prototypes to hardened code;a situated evaluation of the object management gro...
ISBN:
(纸本)089791788X
The proceedings contain 26 papers. The topics discussed include: perspectives on reuse;the basic object system: supporting a spectrum from prototypes to hardened code;a situated evaluation of the object management group's (OMG) object management architecture (OMA);lessons learned from implementing the Corba persistent object service;slicing class hierarchies in C++;creating host compliance in a portable framework: a study in the reuse of design patterns;an equational object-oriented data model and its data-parallel query language;a monotonic superclass linearization for Dylan;vortex: an optimizing compiler for object-oriented languages;a flexible operation execution model for shared distributed objects;split objects: a disciplined use of delegation within objects;code reuse in an optimizing compiler;a functional layer for description logics: knowledge representation meets object-orientedprogramming;automatic inheritance hierarchy restructuring and method refactoring;the direct cost of virtual function calls in C++;soft issues and hard problems in software development;OO anthropology: crossing the chasm;simple and effective analysis of statically-typed object-oriented programs;reuse contracts: managing the evolution of reusable assets;on automatic class insertion with overloading;and change cases: use cases that identify future requirements.
The proceedings contain 79 papers. The topics discussed include: agile architecture methodology: long term strategy interleaved with short term tactics;retaining comments when refactoring code;decentralized control of...
The proceedings contain 79 papers. The topics discussed include: agile architecture methodology: long term strategy interleaved with short term tactics;retaining comments when refactoring code;decentralized control of automatic guided vehicles: applying multi-agent systems in practice;NOAO imaging meta data quality improvement: a case study of the evolution of a service oriented system;performance pitfalls in large-scale Java applications translated from COBOL;processing heterogeneous abstract syntax trees with the mutable class pattern;a workload model of topic-based publish/subscribe systems;SyQL: an objectoriented, fuzzy, temporal query language for repositories of software artifacts;aspect weaving for OSGi;automated testing of non-functional requirements;compile-time type-checking for custom type qualifiers in Java;enforcing reference and object immutability in Java;and refactoring support for the groovy-eclipse plug-in.
The proceedings contain 39 papers. The topics discussed include: the JastAdd extensible Java compiler;jeannie: granting Java native interface developers their wishes;ILEA: inter-language analysis across Java and C;sta...
The proceedings contain 39 papers. The topics discussed include: the JastAdd extensible Java compiler;jeannie: granting Java native interface developers their wishes;ILEA: inter-language analysis across Java and C;statistically rigorous Java performance evaluation;MicroPhase: an approach to proactively invoking garbage collection for improved performance;variant path types for scalable extensibility;component NextGen: a sound and expressive component framework for Java;User-changeable visibility: resolving unanticipated name clashes in traits;transactions with isolation and cooperation;streamflex: high-throughput stream programming in Java;can programming be liberated from the two-level style? multi-level programming with DeepJava;notation and representation in collaborative object-oriented design: an observational study;and WebRB: evaluating a visual domain-specific language for building relational web-applications.
The proceedings contain 5 papers. The topics discussed include: virtual class support at the virtual machine level;bytecodes meet combinators: invokedynamic on the JVM;intermediate language design of high-level langua...
ISBN:
(纸本)9781605588742
The proceedings contain 5 papers. The topics discussed include: virtual class support at the virtual machine level;bytecodes meet combinators: invokedynamic on the JVM;intermediate language design of high-level language virtual machines: towards comprehensive concurrency support;@J - towards rapid development of dynamic analysis tools for the Java virtual machine;challenging VMs on battery-powered embedded devices;and VM performance evaluation with functional models: an optimist's outlook.
The proceedings contain 52 papers. The topics discussed include: checking correctness of typescript interfaces for JavaScript libraries;determinacy in static analysis for jQuery;Eventbreak: analyzing the responsivenes...
ISBN:
(纸本)9781450325851
The proceedings contain 52 papers. The topics discussed include: checking correctness of typescript interfaces for JavaScript libraries;determinacy in static analysis for jQuery;Eventbreak: analyzing the responsiveness of user interfaces through performance-guided test generation;Tardis: affordable time-travel debugging in managed runtimes;Phosphor: illuminating dynamic data flow in commodity JVMs;Rubah: DSU for Java on a stock JVM;fast conservative garbage collection;region-based memory management for GPU programming languages: enabling rich data structures on a Spartan host;StreamJIT: a commensal compiler for high-performance stream programming;SurveyMan: programming and automatically debugging surveys;refactoring Java generics by inferring wildcards, in practice;continuously measuring critical section pressure with the free-lunch profiler;understanding energy behaviors of thread management constructs;and distributed REScala: an update algorithm for distributed reactive programming.
暂无评论