This workshop will explore the contributions that software research can make to the challenge of climate change. Software is a critical enabling technology in nearly all aspects of climate change, from the computation...
详细信息
ISBN:
(纸本)9781605587660
This workshop will explore the contributions that software research can make to the challenge of climate change. Software is a critical enabling technology in nearly all aspects of climate change, from the computational models used by climate scientists to improve our understanding of the impact of human activities on earth systems, through to the information and control systems needed to build an effective carbon-neutral society. The intent of the workshop is to explore how software research can contribute to this challenge, to build a community of researchers interested in responding to the challenge, and to map out a research agenda.
Functional programminglanguages ought to play a central role in mathematics education for middle schools (age range: 10-14). After all, functional programming is a form of algebra and programming is a creative activi...
详细信息
ISBN:
(纸本)9781605583327
Functional programminglanguages ought to play a central role in mathematics education for middle schools (age range: 10-14). After all, functional programming is a form of algebra and programming is a creative activity about problem solving. Introducing it into mathematics courses would make pre-algebra course come alive. If input and output were invisible, students could implement fun simulations, animations, and even interactive and distributed games all while using nothing more than plain mathematics. We have implemented this vision with a simple framework for purely functional I/O. Using this framework, students design, implement, and test plain mathematical functions over numbers, booleans, string, and images. Then the framework wires them up to devices and performs all the translation from external information to internal data (and vice versa) just like every other operating system. Once middle school students are hooked on this form of programming, our curriculum provides a smooth path for them from pre-algebra to freshman courses in college on object-oriented design and theorem proving.
Alternative semantics for aspect-oriented abstractions can be defined by language designers using extensible aspect compiler frameworks. However, application developers are prevented from tailoring the language semant...
详细信息
ISBN:
(纸本)9781605584423
Alternative semantics for aspect-oriented abstractions can be defined by language designers using extensible aspect compiler frameworks. However, application developers are prevented from tailoring the language semantics in an application-specific manner. To address this problem, we propose art architecture for aspect-orientedlanguages with an explicit meta-interface to language semantics. We demonstrate the benefits of such an architecture by presenting several scenarios in which aspect-oriented programs use the meta-interface of the language to tailor its semantics to a particular application execution context.
Higher-order functions are essential for generic programming. While they are naturally supported in functional programminglanguages, there are no higher-order functions in C++. There, various function datatypes exist...
详细信息
The rise of the multicore era is catapulting concurrency into mainstream programming. Current programming paradigms build in sequentiality, and as a result, concurrency support in those languages forces programmers in...
详细信息
We will discuss here the theoretical, social, technological and practical issues related to quality aspects of software patterns including security and safety aspects. The workshop will provide the opportunity for bri...
详细信息
ISBN:
(纸本)9781605587660
We will discuss here the theoretical, social, technological and practical issues related to quality aspects of software patterns including security and safety aspects. The workshop will provide the opportunity for bringing together researchers and practitioners, and for discussing the future prospects of this area. As for the workshop format, first, we will have short talks on what software patterns are, and how they are related to quality. Second, we will have accepted position paper presentations to expose the latest researches and practices on software patterns and quality. Finally, we will discuss several topics related to these presentations in small groups. Newcomers, interested researchers and practitioners are free to attend the workshop to facilitate their understandings, researches and practices on software patterns and quality.
Prerequisites: Familiarity with objectorientedprogramming principles in a language such as Ada, Java, or C++. No previous experience with C# or .NET is assumed. This tutorial will describe the main elements of the C...
详细信息
ISBN:
(纸本)9781605584751
Prerequisites: Familiarity with objectorientedprogramming principles in a language such as Ada, Java, or C++. No previous experience with C# or .NET is assumed. This tutorial will describe the main elements of the C# programming language and the Common Language Infrastructure (whose implementation by Microsoft is knows as .NET). It will focus on C#'s more novel language features, using examples and comparisons with other languages (in particular, Ada and Java) to describe the semantics. Specific C# language topics to be covered include the compilation model, namespaces, types, generics, exception handling, and threading. Common Language Infrastructure / .NET topics include summaries of the Base Class Library, Common Intermediate Language, Common Language System, Common Type System and Virtual Execution System. In short, this tutorial may be considered as the presenter's response to the following question: "C# is sometimes described as Microsoft's answer to Java. Is this an accurate assessment, and in any event how do C# and .NET relate to Ada?"
The objective of the 1st international Workshop on Advanced Software Development Tools and Techniques (WASDeTT-1) wits to provide interested researchers with a forum to share their tool building experiences and to exp...
详细信息
ISBN:
(纸本)9783642020469
The objective of the 1st international Workshop on Advanced Software Development Tools and Techniques (WASDeTT-1) wits to provide interested researchers with a forum to share their tool building experiences and to explore how tools can be built more effectively and efficiently. The theme for this workshop did focus on tools that target object-orientedlanguages and that are implemented with object-orientedlanguages. This workshop report provides a brief overview of the presented tools and of the discussions that took place. The presented tools, 15 in total, covered it broad range Of functionalities, among them: refactoring, modeling, behavioral specification, static and dynamic program checking, user interface composition, and program understanding. The discussion during the workshop centered around the following topics: language independent tools, tool building in an industrial context, tool building methodology, tool implementation language, and building tools with external code.
暂无评论