the logic programming approach to the intelligent monitoring of anomalous human activity is considered. the main idea of this approach is to use first order logic for describing abstract concepts of anomalous human ac...
详细信息
ISBN:
(纸本)9783319261294;9783319261287
the logic programming approach to the intelligent monitoring of anomalous human activity is considered. the main idea of this approach is to use first order logic for describing abstract concepts of anomalous human activity, i.e. brawl, sudden attack, armed attack, leaving object, loitering, pickpocketing, personal theft, immobile person, etc. We have created a research led software platform based on the Actor Prolog concurrent object-oriented logic language and a state-of-the-art Prolog-to-Java translator for examining the intelligent visual surveillance. A method of logical rules creation is considered in relation to the analysis of anomalous human behavior. the problem of creation of special built-in classes of Actor Prolog for the low-level video processing is discussed.
Next generation robot is expected to provide multi-purpose services depending on surrounding environments. Currently, many of robots would support a limited services, since it is difficult to solve the cross-cutting c...
详细信息
In this paper, different aspects and experiences from objectorientedprogramming courses that are taught in three institutions from three different european countries are presented and compared. the emphasis is given ...
详细信息
Architectural modeling using the Unified Modeling Language (UML) can support the development of concurrent applications, but the problem of mapping the model to a concurrent implementation remains. this paper defines ...
详细信息
R is a dynamic language for statistical computing that combines lazy functional features and object-orientedprogramming. this rather unlikely linguistic cocktail would probably never have been prepared by computer sc...
详细信息
ISBN:
(纸本)9783642310577;9783642310560
R is a dynamic language for statistical computing that combines lazy functional features and object-orientedprogramming. this rather unlikely linguistic cocktail would probably never have been prepared by computer scientists, yet the language has become surprisingly popular. With millions of lines of R code available in repositories, we have an opportunity to evaluate the fundamental choices underlying the R language design. Using a combination of static and dynamic program analysis we assess the success of different language features.
the proceedings contain 7 papers. the topics discussed include: featherweight EventCJ: a core calculus for a context-oriented language with event-based per-instance layer transition;safer context (de)activation - thro...
ISBN:
(纸本)9781450308915
the proceedings contain 7 papers. the topics discussed include: featherweight EventCJ: a core calculus for a context-oriented language with event-based per-instance layer transition;safer context (de)activation - through the prompt-loyal strategy;a context management infrastructure with language integration support;JavaCtx: seamless toolchain integration for context-orientedprogramming;context-orientedprogramming for mobile devices: JCop on Android;implementing scoped method tracing with ContextJS;and CJAdviser: SMT-based debugging support for ContextJ*.
Writing applications that connect to external services and yet remain responsive and resource conscious is a difficult task. Withthe rise of web programmingthis has become a common problem. the solution lies in usin...
详细信息
ISBN:
(纸本)9783642310577;9783642310560
Writing applications that connect to external services and yet remain responsive and resource conscious is a difficult task. Withthe rise of web programmingthis has become a common problem. the solution lies in using asynchronous operations that separate issuing a request from waiting for its completion. However, doing so in common object-oriented languages is difficult and error prone. Asynchronous operations rely on callbacks, forcing the programmer to cede control. this inversion of control-flow impedes the use of structured control constructs, the staple of sequential code. In this paper, we describe the language support for asynchronous programming in the upcoming version of C-#. the feature enables asynchronous programming using structured control constructs. Our main contribution is a precise mathematical description that is abstract (avoiding descriptions of compiler-generated state machines) and yet sufficiently concrete to allow important implementation properties to be identified and proved correct.
Ownership type systems describe a heap topology and enforce an encapsulation discipline;they aid in various program correctness and understanding tasks. However, the annotation overhead of ownership type systems has h...
详细信息
ISBN:
(纸本)9783642310577;9783642310560
Ownership type systems describe a heap topology and enforce an encapsulation discipline;they aid in various program correctness and understanding tasks. However, the annotation overhead of ownership type systems has hindered their widespread use. We present a unified framework for specification, type inference and type checking of ownership type systems, and instantiate the framework for two such systems: Universe Types and Ownership Types. We present an objective metric defining a "best typing" for these type systems, and develop an inference approach that maximizes the metric. the programmer can influence the inference by adding partial annotations to the program. We implemented the approach on top of the Checker Framework and present the results of an experimental evaluation.
It is well known that big-step operational semantics are not suitable for proving soundness of type systems, because of their inability to distinguish stuck from non-terminating computations. We show how this problem ...
详细信息
ISBN:
(纸本)9783642310577;9783642310560
It is well known that big-step operational semantics are not suitable for proving soundness of type systems, because of their inability to distinguish stuck from non-terminating computations. We show how this problem can be solved by interpreting coinductively the rules for the standard big-step operational semantics of a Java-like language, thus making the claim of soundness more intuitive: whenever a program is well-typed, its coinductive operational semantics returns a value. Indeed, coinduction allows non-terminating computations to return values;this is proved by showing that the set of proof trees defining the semantic judgment forms a complete metric space when equipped with a proper distance function. In this way, we are able to prove soundness of a nominal type system w.r.t. the coinductive semantics. Since the coinductive semantics is sound w.r.t. the usual small-step operational semantics, the standard claim of soundness can be easily deduced.
X10 is an objectorientedprogramming language with a sophisticated type system (constraints, class invariants, non-erased generics, closures) and concurrency constructs (asynchronous activities, multiple places). Obj...
详细信息
ISBN:
(纸本)9783642310577;9783642310560
X10 is an objectorientedprogramming language with a sophisticated type system (constraints, class invariants, non-erased generics, closures) and concurrency constructs (asynchronous activities, multiple places). object initialization is a cross-cutting concern that interacts with all of these features in delicate ways that may cause type, runtime, and security errors. this paper discusses possible designs for object initialization, and the "hardhat" design chosen and implemented in X10 version 2.2. Our implementation includes a fixed-point inter-procedural (intra-class) data-flow analysis that infers, for each method called during initialization, the set of fields that are read, and those that are asynchronously and synchronously assigned. Our codebase of more than 200K lines of code only had 104 annotations. Finally, we formalize the essence of initialization checking with an effect system intended to complement a standard FJ style formalization of the type system for X10. this system is substantially simpler than the masked types of [10], and it is more practical (for X10) than the free-committed types of [12]. this is the first formalization of a type and (flow-sensitive) effect system for safe initialization in the presence of concurrency constructs.
暂无评论