The proceedings contain 11 papers. The topics discussed include: bringing dynamic languages to .NET with the DLR;OMeta: an object-oriented language for pattern matching;tradeoffs in retrofitting security: an experienc...
详细信息
ISBN:
(纸本)9781595938688
The proceedings contain 11 papers. The topics discussed include: bringing dynamic languages to .NET with the DLR;OMeta: an object-oriented language for pattern matching;tradeoffs in retrofitting security: an experience report;arrays of objects;relationally-paremetric polymorphic contracts;report on the probabilistic language scheme;dynamic ownership in a dynamic language;RPython: a step towards reconciling dynamically and statically typed OO languages;an adaptive package management system for scheme;highly dynamic behaviour adaptability through prototypes with subjective multimethods;and mirages: behavioral intercession in a mirror-based architecture.
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 82 papers. The topics discussed include: modeling infection scenarios - a fixed-price extreme programming success story;extreme programming in practice;porting a core CGI workflow system onto a...
ISBN:
(纸本)1581133073
The proceedings contain 82 papers. The topics discussed include: modeling infection scenarios - a fixed-price extreme programming success story;extreme programming in practice;porting a core CGI workflow system onto a was platform while being used and extended to support the enterprise;virtual yacht racing on the web;designing a flexible services-based architecture for Internet applications;a decade of modeling financial vehicles;how conceptual system architecture leads to business process;building a large-scale generic object model: applying the CYC upper ontology to object database development in java;application integration framework for a large business process redesign project;ESCORT: lessons from an integration project;application frameworks before system frameworks;evaluation of coupling in the context of java interfaces;and from documents to applications via frameworks: the tools and materials approach.
The proceedings contain 33 papers. The topics discussed include: Flapjax: a programming language for Ajax applications;CZ: multiple inheritance without diamonds;Grace: safe multithreaded programming for C/C++;a type a...
ISBN:
(纸本)9781605587349
The proceedings contain 33 papers. The topics discussed include: Flapjax: a programming language for Ajax applications;CZ: multiple inheritance without diamonds;Grace: safe multithreaded programming for C/C++;a type and effect system for deterministic parallel Java;how a Java VM can get more from a hardware performance monitor;a concurrent dynamic analysis framework for multicore hardware;inferred call path profiling;accelerating the creation of customized, language-specific IDEs in Eclipse;debug all your code: portable mixed-environment debugging;strictly declarative specification of sophisticated points-to analyses;profile-guided static typing for dynamic scripting languages;static extraction and conformance analysis of hierarchical runtime architectural structure using annotations;allocation wall: a limiting factor of Java applications on emerging multi-core platforms;executing code in the past: efficient in-memory object graph versioning;and optimizing programs with intended semantics.
The proceedings contain 9 papers. The topics discussed include: migrating legacy engineering applications to Java;hitting the target: adding interaction design to agile software development;a common multi-platform har...
ISBN:
(纸本)1581134711
The proceedings contain 9 papers. The topics discussed include: migrating legacy engineering applications to Java;hitting the target: adding interaction design to agile software development;a common multi-platform hardware object model;extreme embedded a report from the front line;designing a web services project for maximum value: the 90 day challenge;transformation of an application data layer;agile techniques to avoid firefighting at a start-up;making RUP agile;and defining and implementing a scientific analysis software architecture.
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 programminglanguages: 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.
The proceedings contain 39 papers. The topics discussed include: variant path types for scalable extensibility;dependent classes;component nextgen: a sound and expressive component framework for Java;user-changeable v...
详细信息
ISBN:
(纸本)9781595937865
The proceedings contain 39 papers. The topics discussed include: variant path types for scalable extensibility;dependent classes;component nextgen: a sound and expressive component framework for Java;user-changeable visibility resolving unanticipated name clashes in traits;tractions with isolation and cooperation;granting Java interface developers their wishes;the justadd extensible Java compiler;streamflex: high-throughput stream programming in Java;the causes of bloat, the limits of health;notation and representation in collaborative object-oriented design: an observational study;WebRB: evaluating a visual domain-specific language for building relational web-application;modular typestate checking of aliased objects;and modular verification of higher-order methods with mandatory calls specified by model programs.
The proceedings contain 121 papers. The topics discussed include: agile development: overcoming a short-term focus in implementing best practices;making SOA work in a healthcare company;scalable nonblocking concurrent...
ISBN:
(纸本)9781605587660
The proceedings contain 121 papers. The topics discussed include: agile development: overcoming a short-term focus in implementing best practices;making SOA work in a healthcare company;scalable nonblocking concurrent objects for mission critical code;bit syntax for java;using a recursive traversal algorithm with an active composite pattern in swing applications;toward cloud-agnostic middlewares;using RESTful web-services and cloud computing to create next generation mobile applications;refactoring UML models: using openarchitectureware to measure UML model quality and perform pattern matching on UML models with OCL queries;an extensible framework for tracing model evolution in SOA solution design;reverse generation and refactoring of fit acceptance tests for legacy code;a different kind of programminglanguages course;using Python and QuickDraw to foster student engagement in CS1;and easing up on the introductory computer science syllabus: a shift from syntax to concepts.
The proceedings contain 122 papers. The topics discussed include: scale changes everything;a growable language;faith, evolution, and programminglanguages: from haskell to java to links;the geography of programming;ap...
详细信息
ISBN:
(纸本)159593491X
The proceedings contain 122 papers. The topics discussed include: scale changes everything;a growable language;faith, evolution, and programminglanguages: from haskell to java to links;the geography of programming;applying a UML-based agent modeling language to the autonomic computing domain;keeping track of crosscutting requirements in UML models via context-based constraints;pegasus: first steps toward a naturalistic programming language;a commensalistic software system;collaborative diffusion: programming antiobjects;JDA: a step towards large-scale reuse on the web;model-based DSL frameworks;LCSD: library-centric software design;eclipse technology exchange workshop (ETX2006);the 6th oopsla workshop on domain-specific modeling;workshop on event driven architecture;escaped from the lab: software practices in large organizations;creating an informative workspace;and 4th int'l workshop on SOA and web services.
The proceedings contain 32 papers. The topics discussed include: object-oriented behavioral semantics with an emphasis on semantics of large OO business specifications;reflections on the orb: a look back at our experi...
ISBN:
(纸本)1581130376
The proceedings contain 32 papers. The topics discussed include: object-oriented behavioral semantics with an emphasis on semantics of large OO business specifications;reflections on the orb: a look back at our experience building an ORB-based architecture;object-oriented design quality;exploring largeness, complexity and scalability from the OOT perspective;building high-performance applications and services in java: an experiential study;business object design and implementation III;object technology, architectures and domain analysis;expert workflow building knowledge-based workflow systems with object technology;everything I need to know I learned from the Chrysler payroll project;experiences developing a bank loan system;how to achieve 7.52 function-points per person-day with object technology;doing your first OO project OO education issues in industry and academia;object technology and product lines;overcoming cultural barriers to the adoption of object technology;and resources for early object design education.
暂无评论