the proceedings contain 20 papers. the special focus in this conference is on programming languages: implementations, logics, and programs. the topics include: Narrowing the narrowing space;an object calculus with alg...
ISBN:
(纸本)9783540633983
the proceedings contain 20 papers. the special focus in this conference is on programming languages: implementations, logics, and programs. the topics include: Narrowing the narrowing space;an object calculus with algebraic rewriting;inheritance and selective method dispatching in concurrent Haskell;overriding operators in a mixinbased framework;resolution for logic programming with universal quantifiers;a declarative approach to concurrent programming;transformation of divide & conquer to nested parallel loops;transforming lazy functions using comportment properties;transformations for efficient evaluations in functionalprogramming;inline expansion;higherorder value flow graphs;intuitionistic implication in abstract interpretation;an openended finite domain constraint solver;semantics and compilation of recursive sequential streams in 81/2;implementation of term rewritings withthe evaluation strategy;reflections on reflections;evaluation under lambda abstraction;selective recomputation for handling sideeffects in parallel logic programs;tracing lazy functional computations using redex trails and functionalprogramming and geometry.
CodeMage is an interactive educational programming environment targeted at novice Java programmers who have little knowledge in basic programming. the system comes with innovative features such as, real-time guidance ...
详细信息
ISBN:
(纸本)9781467390774
CodeMage is an interactive educational programming environment targeted at novice Java programmers who have little knowledge in basic programming. the system comes with innovative features such as, real-time guidance and reviews, code generation tool, visual debugger, hinting system for best practices, remote tutor and database manipulation tool which makes it a unique educational programming environment. though many of programming tools are available in the market, they have their drawbacks in suitability to be adopted in programming by beginners due to the complexity in software interface, cryptic error messages and warning messages, no adequate support to fix errors and not adhering to real-world programming context etc. CodeMage is an attempt to overcome above problems and change how novices perceive and practice Java programming around the world and it is working as expected.
Generic programming language constructs, tools and libraries have been available in Haskell since the first report on the programming language Haskell. At the beginning of the 1990s generic programming techniques coul...
详细信息
ISBN:
(纸本)9781450323895
Generic programming language constructs, tools and libraries have been available in Haskell since the first report on the programming language Haskell. At the beginning of the 1990s generic programming techniques could be used via the deriving construct, and since then numerous generic programming libraries and tools have been developed. At the time of writing, the categories 'generic' and 'generics' on Hackage, the online repository of Haskell software, contain 53 packages. Although not all of these are generic programming libraries or tools, there are many approaches to generic programming to choose from. this brief paper discusses an analysis of the usage of generic programming language constructs, tools, and libraries. We analyse how often which language constructs, tools, and libraries are used on Hackage, how often class instances are derived generically or written manually, and for some libraries, how often the functions that appear in these libraries are used.
We present a vision for the automatic optimisation of distributed stream processing programs. StrIoT - a distributed stream-processing framework built using purely-functionalprogramming - enables a set of validated l...
详细信息
ISBN:
(纸本)9781665460873
We present a vision for the automatic optimisation of distributed stream processing programs. StrIoT - a distributed stream-processing framework built using purely-functionalprogramming - enables a set of validated logical optimisation rules to generate a set of possible deployment plans. A cost model then filters and ranks the plans before the best is automatically deployed across the cloud and edge devices. We describe StrIoT's functional operators for writing stream-processing programs;the design, implementation and performance of StrIoT's logical optimiser;and the cost model, which filters and ranks re-written programs and deployment plans in terms of two non-functional requirements: bandwidth and cost. the StrIoT vision is being explored through an open-source proof-of-concept implementation. We present our initial results with a motivating example before outlining the success criteria for future work in this area.
Goal Model are widely used to capture system goals and refine them into operational requirements assigned to human, hardware or software. Such models support alternative goal refinements resulting in a potentially lar...
详细信息
ISBN:
(纸本)9789897583964
Goal Model are widely used to capture system goals and refine them into operational requirements assigned to human, hardware or software. Such models support alternative goal refinements resulting in a potentially large design space to explore. A given design can be quantitatively evaluated in terms of its fulfilment of a set of non-functional requirements (e.g. reliability, performance) or business goals (e.g. costs, stakeholder satisfaction). Optimisation techniques can be used to explore the design space to determine an optimal design according to a single objective like the cost but also according to multi-objective techniques to propose a set of Pareto-optimal solutions in which a best solution can be selected. In this paper, we show how to translate a goal-oriented requirements model, expressed in the KAOS notation, into a constraint programming (CP) problem. the *** engine is used to get, from all alternatives co explored, either global or Pareto-optimal solutions. Our method is implemented as a tool plugin of a requirements engineering platform and is benchmarked on the classical meeting scheduler case study.
this report summarizes the outcomes of the 9th Workshop on Aspect-Oriented Modeling (AOM) held in conjunction withthe 9thinternationalconference on Model Driven Engineering Languages and Systems - MoDELS 2006 - in ...
详细信息
ISBN:
(纸本)9783540694885
this report summarizes the outcomes of the 9th Workshop on Aspect-Oriented Modeling (AOM) held in conjunction withthe 9thinternationalconference on Model Driven Engineering Languages and Systems - MoDELS 2006 - in Genoa, Italy, on the 1st of October 2006. the workshop brought together approximately 25 researchers and practitioners from two communities: aspect-oriented software development and software model engineering. It provided a forum for discussing the state of the art in modeling crosscutting concerns at different stages of the software development process: requirements elicitation and analysis, software architecture, detailed design, and mapping to aspect-oriented programming constructs. this paper gives an overview of the accepted submissions and summarizes the results of the different discussion groups. Papers and presentation slides of the workshop are available at http://***/.
this paper proposes an automatic construction of feature extractor for liver fibrosis detection using a multi objective genetic programming approach in which a constructed feature extractor was measured in different a...
详细信息
ISBN:
(纸本)9781509064779
this paper proposes an automatic construction of feature extractor for liver fibrosis detection using a multi objective genetic programming approach in which a constructed feature extractor was measured in different aspects in which becomes the objectives of the evolutionary run. the result of the evolutionary run is a set of solutions with different strengths and weaknesses. A solution from each experiment is selected and compared with a benchmark handcraft method in by each experiment and top-five manners. One of the best result obtained has 2.09 fibrosis estimation error which is less than the benchmark method with 2.63 fibrosis estimation error.
Asynchronous interrupts abound in computing systems, yet they remain a thorny concept for bothprogramming and verification practice. the ubiquity of interrupts underscores the importance of developing programming mod...
详细信息
ISBN:
(纸本)9783540705932
Asynchronous interrupts abound in computing systems, yet they remain a thorny concept for bothprogramming and verification practice. the ubiquity of interrupts underscores the importance of developing programming models to aid the development and verification of interrupt-driven programs. the research reported here recognizes asynchronous interrupts as a computational effect and encapsulates them as a building block in modular monadic semantics. the resulting modular semantic model can serve as both a guide for functionalprogramming with interrupts and as a formal basis for reasoning about interrupt-driven computation as well.
In recent years, the importance of programming skills is increasing due to advances in information and communication technologies. However, the difficulty involved in learning programming is a major problem for novice...
详细信息
ISBN:
(纸本)9781538658260
In recent years, the importance of programming skills is increasing due to advances in information and communication technologies. However, the difficulty involved in learning programming is a major problem for novices. therefore, we propose a logic error detection algorithm based on structure pattern and error degree. Structure pattern is an index of similarity based on abstract syntax trees, and error degree is a measure of appropriateness for feedback. In the present paper, we define structure pattern and error degree and present the proposed algorithm method. Implementation and experimentation using actual data are also considered.
In 2013, ACM recognized Computational thinking (CT) as "one of the fundamental skills desired of all graduates". this means that, especially in liberal education environments, one of the challenges of CT cou...
详细信息
ISBN:
(纸本)9789897582400
In 2013, ACM recognized Computational thinking (CT) as "one of the fundamental skills desired of all graduates". this means that, especially in liberal education environments, one of the challenges of CT courses is to motivate students who are discouraged upfront as they perceive programming as a difficult task. Applications that have tangible results typically stimulate students' interests. For instance, Educational Robotics (ER) is recognized as a tool to enhance higher order thinking skills and to facilitate teamwork. In this paper, we describe a course that has been designed to use ER (i.e., programming a maze-solving robot) to foster CT. Each activity of the course has been designed to foster specific CT skills and to contribute to CT assessment, which remains a challenge in CT research. We report the results of an experiment, in a liberal education environment, with a total of 13 ninth graders (15.4% M, 84.6% F).
暂无评论