this paper explores the feasibility of implementing pattern matching for the Go programming language. the design of pattern matching is taken from Scala, and reimplemented using Go's constructs and new language ex...
详细信息
As software evolves, so does the interaction between its components. But how can we check if components are updated consistently? By abstracting object usage into temporal properties, we can learn evolution patterns t...
详细信息
ISBN:
(纸本)9783642226557;9783642226540
As software evolves, so does the interaction between its components. But how can we check if components are updated consistently? By abstracting object usage into temporal properties, we can learn evolution patterns that express how object usage evolves over time. Software can then be checked against these patterns, revealing code that is in need of update: "Your check for isValidWidget() is now superseded by checkWidget()." In an evaluation of seven different versions of three open source projects, our LAMARCK tool was able to detect existing code issues with a precision of 33%-64% and to prevent such issues with a precision of 90%-100%.
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 4 papers. the topics discussed include: TIM/WIM: a set of tools to interface modelling in biology;multi-core parallelization in Clojure - a case study;using common Lisp to prototype offline wor...
ISBN:
(纸本)9781605585390
the proceedings contain 4 papers. the topics discussed include: TIM/WIM: a set of tools to interface modelling in biology;multi-core parallelization in Clojure - a case study;using common Lisp to prototype offline work in web applications for rich domains;and meta-circularity and MOP in common Lisp for OWL full.
the proceedings contain 3 papers. the topics discussed include: towards a full multiple-inheritance virtual machine;empirical assessment of C++-like implementations for multiple inheritance;and efficient compilation o...
ISBN:
(纸本)9781450305372
the proceedings contain 3 papers. the topics discussed include: towards a full multiple-inheritance virtual machine;empirical assessment of C++-like implementations for multiple inheritance;and efficient compilation of .net languages for embedded systems.
Development cycle of information systems, especially maintenance and modifications, is still time- consuming and expensive. this paper presents a new programming paradigm, the Configuration-orientedprogramming (COP),...
详细信息
the need to support multiple views of complex software architectures, each capturing a different aspect of the system under development, has been recognized for a long time. Even the very first object-oriented analysi...
详细信息
Development cycle of information systems, especially maintenance and modifications, is still time-consuming and expensive. this paper presents a new programming paradigm, the Configuration-orientedprogramming (COP), ...
详细信息
Development cycle of information systems, especially maintenance and modifications, is still time-consuming and expensive. this paper presents a new programming paradigm, the Configuration-orientedprogramming (COP), which introduces a new dimension - configuration - into the object-orientedprogramming paradigm (OOP). this new dimension introduces a new point of view at a configuration through a configuration form that enables the use of inheritance, abstraction, polymorphism, and recursive definition on the configuration. Based on several years of experience in using this new paradigm in real live projects we observed that this new dimension enables a more effective development of complex information systems by associating modules (similar to objects in the OOP) into complex structures (by defining associations among the modules using configuration).
the QAOOSE2008 workshop has been held at, ecoop 2008 conference in Paphos, Cyprus on July 8th, 2008. this was the twelfth of the series of QAOOSE workshops intended to bring researchers and practitioners both from aca...
详细信息
ISBN:
(纸本)9783642020469
the QAOOSE2008 workshop has been held at, ecoop 2008 conference in Paphos, Cyprus on July 8th, 2008. this was the twelfth of the series of QAOOSE workshops intended to bring researchers and practitioners both from academia and industry together. the workshop provided a forum to discuss the current state of the art and the practice in the area of quantitative approaches in the related to object-orientation. this report includes a summary of the technical presentations and the subsequent discussions. Six papers has been accepted by the workshop organizers. the presentations were followed by vivid discussions.
While object-orientedprogramming has been embraced in industry, particularly in the form of C++, Java, and Python, its acceptance by the parallel scientific programming community is for various reasons incomplete. No...
详细信息
ISBN:
(纸本)9783642020469
While object-orientedprogramming has been embraced in industry, particularly in the form of C++, Java, and Python, its acceptance by the parallel scientific programming community is for various reasons incomplete. Nonetheless, various factors practically dictate the rise of language features that provide higher level abstractions than do C or older FORTRAN standards. these include increasingly complex physics models, numerical algorithms, and hardware (e.g. deep memory hierarchies, ever-increasing numbers of processors, and the advent of multi- and manycore processors and heterogeneous architectures). Our emphases are oil identifying specific problems impeding greater acceptance and widespread use of object-orientedprogramming in scientific computing;proposed and implemented solutions to these problems;and new or novel frameworks, approaches, techniques, or idioms for parallel/high-performance object-oriented scientific computing.
暂无评论