this book constitutes the refereed proceedings of the 10th european conference on object-oriented programming, ecoop '96, held in Linz, Austria, in July 1996.;the 21 full papers included in revised version were se...
详细信息
ISBN:
(数字)9783540685708
ISBN:
(纸本)9783540614395
this book constitutes the refereed proceedings of the 10th european conference on object-oriented programming, ecoop '96, held in Linz, Austria, in July 1996.;the 21 full papers included in revised version were selected from a total of 173 submissions, based on technical quality and originality criteria. the papers reflect the most advanced issues in the field of object-orientedprogramming and cover a wide range of current topics, including applications, programming languages, implementation, specification, distribution, databases, and design.
this report covers the eleventh Workshop on Component-orientedprogramming (WCOP). WCOP has been affiliated withecoop since its inception in 1996. the report summarizes the contributions made by authors of accepted p...
详细信息
PhDOOS is a conference within a conference, rather than a traditional workshop per se. Participants are Ph.D. students bound by a common interest in object orientation. this year, as in previous years, most participan...
详细信息
ISBN:
(纸本)3540415130
PhDOOS is a conference within a conference, rather than a traditional workshop per se. Participants are Ph.D. students bound by a common interest in object orientation. this year, as in previous years, most participants presented a technical paper describing their research, with feedback from other participants forming the stimulus for ongoing discussion. Most participants also joined one of three distinct workshop themes, wherein particularly thorny research topics were explored collaboratively, withthe aim of generating fresh insights and spotting potential research avenues for the future.
the proceedings contain 15 papers. the topics discussed include: implementation, compilation, optimization of object-oriented languages, programs and systems;aspects, dependencies, and interactions;formal techniques f...
详细信息
ISBN:
(纸本)9783540717720
the proceedings contain 15 papers. the topics discussed include: implementation, compilation, optimization of object-oriented languages, programs and systems;aspects, dependencies, and interactions;formal techniques for Java-like programs;program analysis for security and privacy;object-oriented reengineering;quantitative approaches in object-oriented software engineering;component-orientedprogramming;fractal component-based software engineering;object technology for ambient intelligence and pervasive computing: language constructs and infrastructures;parallel/high-performance object-oriented scientific computing today;and tenth workshop on pedagogies and tools for the teaching and learning of objectoriented concepts.
object-orientedprogramming languages are suitable for describing real-world objects, functional programming languages for algebraic values. In this paper we propose an object-oriented functional programming language,...
详细信息
the proceedings contain 5 papers. the topics discussed include: dependent object types with implicit functions;towards improved GADT reasoning in Scala;tests as maintainable assets via auto-generated spies;SoCRATES - ...
ISBN:
(纸本)9781450368247
the proceedings contain 5 papers. the topics discussed include: dependent object types with implicit functions;towards improved GADT reasoning in Scala;tests as maintainable assets via auto-generated spies;SoCRATES - scala radar for test smells;and Effpi: verified message-passing programs in dotty.
A method to reduce the computational effort for numerical calculation of electrostatic fields by a Charge Simulation Method is introduced, By simplifying complex charge configurations for the evaluation of the field a...
详细信息
A method to reduce the computational effort for numerical calculation of electrostatic fields by a Charge Simulation Method is introduced, By simplifying complex charge configurations for the evaluation of the field at large distances, the computation time can be reduced considerably preserving high precision. Since the method is ideally suited to object-orientedprogramming it has been implemented in C++.
this report summarizes the main activities held during the second workshop on object-technology for Ambient Intelligence and Pervasive Computing held at ecoop 2006. the workshop covered topics varying from low-level c...
详细信息
Software components developed with an object-oriented language require frequent reorganizations before they become stable, reusable classes. We propose a new algoritlun that analyses the redefinitions carried out on i...
详细信息
暂无评论