the proceedings contain 23 papers. the special focus in this conference is on object-orientedprogramming. the topics include: Measurement strategies;will Europe ever produce and sell objects;type-safe compilation of ...
ISBN:
(纸本)9783540614395
the proceedings contain 23 papers. the special focus in this conference is on object-orientedprogramming. the topics include: Measurement strategies;will Europe ever produce and sell objects;type-safe compilation of covariant specialization;integrating subtyping, matching and type quantification;typed object-oriented functional programming with late binding;large scale object-oriented software-development in a banking environment;an application framework for module composition tools;automatic generation of user interfaces from data structure specifications and object-oriented application models;supporting explicit disambiguation of multi-methods;towards alias-free pointers;inheritance and cofree constructions;modeling subobject-based inheritance;parallel operators;an implementation method of migratable distributed objects using an RPC technique integrated with virtual memory management;protocol classes for designing reliable distributed environments;dynamic clustering in object databases exploiting effective use of relationships between objects;conceptual design of active object-oriented database applications using multi-level diagrams;generalising the beta type system;taking code reuse one step further and abstractions for collective behavior.
the proceedings contain 6 papers. the topics discussed include: context-orientedprogramming in highly concurrent systems;designing event-based context transition in context-orientedprogramming;the Cartesian approach...
ISBN:
(纸本)9781450305310
the proceedings contain 6 papers. the topics discussed include: context-orientedprogramming in highly concurrent systems;designing event-based context transition in context-orientedprogramming;the Cartesian approach to context;layered method dispatch with NVOKEDYNAMIC - an implementation study;ContextLua - dynamic behavioral variations in computer games;and a graph-based operational semantics for context-orientedprogramming.
the proceedings contain 9 papers. the topics discussed include: complete coinductive subtyping for abstract compilation of object-oriented languages;towards a semantic model for java wildcards;strong exception-safety ...
ISBN:
(纸本)9781450305402
the proceedings contain 9 papers. the topics discussed include: complete coinductive subtyping for abstract compilation of object-oriented languages;towards a semantic model for java wildcards;strong exception-safety for java-like languages;modular verification of linked lists with views via separation logic;procedure-modular verification of control flow safety properties;prototyping a tool environment for run-time assertion checking in JML with communication histories;aliasing control with view-based typestate;refactoring and representation independence for class hierarchies;and a theory of typestate-orientedprogramming.
the proceedings contain 5 papers. the topics discussed include: measurement of software requirements derived from system reliability requirements;a COSMIC measurement procedure for sizing web applications developed us...
ISBN:
(纸本)9781450305396
the proceedings contain 5 papers. the topics discussed include: measurement of software requirements derived from system reliability requirements;a COSMIC measurement procedure for sizing web applications developed using the OO-H method;a study of non-linearity in the statistical convertibility of function points into COSMIC function points;assessing the current state of software evolution and intellectual energy spent;and transactions in use case points - the same or different?.
the proceedings contain 6 papers. the topics discussed include: declarative language for context activation;a context-orientedprogramming approach to dependency hell;feature visualizer: an inspection tool for context...
ISBN:
(纸本)9781450357227
the proceedings contain 6 papers. the topics discussed include: declarative language for context activation;a context-orientedprogramming approach to dependency hell;feature visualizer: an inspection tool for context-oriented programmers;a simple context-orientedprogramming extension to an FRP language for small-scale embedded systems;activity contexts: improving modularity in blockchain-based smart contracts using context-orientedprogramming;and cross-cutting commentary: narratives for multi-party mechanisms and concerns.
the proceedings contain 10 papers. the topics discussed include: an approach to modular object-orientedprogramming in language-driven development framework;Predicate-C - an efficient and generic runtime system for pr...
ISBN:
(纸本)9781450308946
the proceedings contain 10 papers. the topics discussed include: an approach to modular object-orientedprogramming in language-driven development framework;Predicate-C - an efficient and generic runtime system for predicate dispatch;application optimization when using gradual typing;economic utility theory for memory management optimization;reducing and eliding read barriers for concurrent garbage collectors;a tracing technique using dynamic bytecode instrumentation of Java applications and libraries at basic block level;reducing biased lock revocation by learning;pattern matching for object-like structures in the go programming language;and runtime feedback in a meta-tracing JIT for efficient dynamic languages.
the proceedings contain 30 papers. the topics discussed include: is it dangerous to use version control histories to study source code evolution?;evaluating the design of the r language: objects and functions for data...
ISBN:
(纸本)9783642310560
the proceedings contain 30 papers. the topics discussed include: is it dangerous to use version control histories to study source code evolution?;evaluating the design of the r language: objects and functions for data analysis;McSAF: a static analysis framework for MATLAB;multiple aggregate entry points for ownership types;inference and checking of object ownership;object initialization in X10;lock inference in the presence of large libraries;an analysis of the Mozilla jetpack extension framework;smaller footprint for java collections;enhancing JavaScript with transactions;JavaScript as an embedded DSL;correlation tracking for points-to analysis of JavaScript;constraint-based refactoring with foresight;magda: a new language for modularity;and Marco: safe, expressive macros for any language.
the 10thecoop workshop on mobile object systems, which was held on 14 June, 2004 in Oslo University is discussed. the workshop has dealt withthe topics related to the movement of code and data between application pl...
详细信息
ISBN:
(纸本)354023988X
the 10thecoop workshop on mobile object systems, which was held on 14 June, 2004 in Oslo University is discussed. the workshop has dealt withthe topics related to the movement of code and data between application platforms, security, operating system support, application quality of service, and programming language paradigms. the presentation made at the workshop include portable CPU accounting in Java by Jarle Hualaas and Walter Binder, reducing the overhead of portable CPU accounting in Java by Jarle Hualaas and Walter Binder. the consensus at the end of the workshop was that the workshop was a success, and that the theme of object mobility is present in application.
this report gives an overview of the 10th Workshop on Formal Techniques for Java-like Programs at ecoop 2008. It explains the motivation for the workshop, and summarizes the presentations and discussions.
ISBN:
(纸本)9783642020469
this report gives an overview of the 10th Workshop on Formal Techniques for Java-like Programs at ecoop 2008. It explains the motivation for the workshop, and summarizes the presentations and discussions.
暂无评论