The proceedings contain 52 papers. The topics discussed include: mining source code repositories with boa;Panini: a capsule-orientedprogramming language for implicitly concurrent program design;finding architectural ...
详细信息
ISBN:
(纸本)9781450319959
The proceedings contain 52 papers. The topics discussed include: mining source code repositories with boa;Panini: a capsule-orientedprogramming language for implicitly concurrent program design;finding architectural flaws in android apps is easy;finding the missing eclipse perspective: the runtime perspective;automated assessment of students' testing skills for improving correctness of their code;implementing a scripting language parser with self-extensible syntax;program transformation techniques applied to languages used in high performance computing;a secure play store for android;refactoring multicore applications towards energy efficiency;the poor man's proof assistant: using prolog to develop formal language theoretic proofs;dictionary-based query recommendation for local code search;a screen-oriented representation for mobile applications;and source code management for projectional editing.
programming languages rely on type systems to safeguard the correctness of a program. In existing technologies, types defined in a program are meaningful only within its runtime, so the definition of a remote resource...
详细信息
ISBN:
(纸本)9781450316569
programming languages rely on type systems to safeguard the correctness of a program. In existing technologies, types defined in a program are meaningful only within its runtime, so the definition of a remote resource must be obtained and verified to ensure a correct and type-safe interaction. However, obtaining a consistent meaning of a resource in a distributed environment requires much human effort and coordination, thus making the development process difficult to scale to an Internet-like open environment. The key lies in the lack of a truly global naming scheme to unambiguously and automatically resolve programmatic types in the Internet. In light of this, we propose Uniform Type Locator (UTL), a worldwide scope type naming scheme. We also design and implement a new strongly typed object-orientedprogramming language called Meso to natively support UTLs, and a protocol to facilitate program interoperations. We illustrate through examples how Meso can be used to make developing applications in an Internetlike open environment as easy and type-safe as developing them in a single runtime environment. Copyright 2013 ACM.
Data mining discovers knowledge and useful information from large amounts of data stored in databases. With the increasing popularity of object-oriented database system in advanced database applications, it is signifi...
详细信息
In this paper we explore how we can use Specification and Description Language, to represent simulation models that make an intensive use of geographical information, like environmental simulation models. The purpose ...
详细信息
ISBN:
(纸本)9781479939503;9781479920778
In this paper we explore how we can use Specification and Description Language, to represent simulation models that make an intensive use of geographical information, like environmental simulation models. The purpose is to perform a complete unambiguous, graphical and formal representation of a wildfire simulation model. Specification and Description Language is a modern objectoriented language that allows the definition of distributed systems. It has focused on the modeling of reactive, state/event driven systems, and has been standardized by the International Telecommunications Union (ITU) in the Z. 100. Thanks to the graphical representation of the simulation model, the interaction between the experts that usually come from different areas is simplified. Also, due to the unambiguous and modular nature of the language, all the details of the model can be validated by personnel that do not necessarily are used with programming languages or simulation infrastructures.
The advantages of object-orientedprogramming for crop modeling are discussed. Contrarily to procedural languages such as Fortran77, objectorientedprogramming yields a code that is intrinsically modular and whose ar...
详细信息
This paper introduces JT2FIS, a Java Class Library for Interval Type-2 Fuzzy Inference systems that can be used to build intelligent object-orientedapplications. The architecture of the system is presented and its ob...
详细信息
Program analysis plays an important role in a variety of soft- ware engineering processes, such as automated code refactoring, compiler optimizations, and program slicing. The internal pro- gram representation used by...
详细信息
Testing multi-agent systems is a challenge, since by definition such systems are distributed, and are able to exhibit autonomous and flexible behaviour. One specific challenge in testing agent programs is developing a...
详细信息
In this paper we describe an experimental system using java programming language which demonstrates a variety of application level tradeoffs available to distributed NLP applications. In this paper, we proposed langua...
详细信息
ISBN:
(纸本)9781479915941;9781479915958
In this paper we describe an experimental system using java programming language which demonstrates a variety of application level tradeoffs available to distributed NLP applications. In this paper, we proposed language identification system with N-gram-based matching for document retrieval. By using a well known N-gram based algorithm for automatic language identification, we construct a system that dynamically adds language labels for whole documents or text fragments.
暂无评论