A syntactic error repair model is proposed, and is defined as a partial function from strings to sentences. The replacement of a substring of a string with a substring of a sentence is described by a repair pattern, w...
详细信息
A syntactic error repair model is proposed, and is defined as a partial function from strings to sentences. The replacement of a substring of a string with a substring of a sentence is described by a repair pattern, which is roughly a pair of strings of grammar symbols. The model can be efficient with some restriction on repair patterns. An LR-based implementation of the model is discussed.
作者：
KIM, DHCHOE, KMProgramming Languages Laboratory
Department of Computer Science Korea Advanced Institute of Science and Technology 371-1 Kusong-Dong Yusang-Gu Taejon 305-701 South Korea
An efficient backward execution algorithm in the AND/OR Process Model for parallel evaluation of logic programs is proposed. The efficiency of the algorithm is achieved by means of information acquired during executio...
详细信息
An efficient backward execution algorithm in the AND/OR Process Model for parallel evaluation of logic programs is proposed. The efficiency of the algorithm is achieved by means of information acquired during execution of clauses. The algorithm is considered to be efficient in the sense that it issues fewer number of cancel messages and avoids unnecessary resetting operations. Furthermore, it performs independent redoing and resetting more concurrently than other related works.
Transaction management is a known cross-cutting concern. Previous research has been conducted to express this concern as an aspect. However, this work uses general-purpose aspect languages which lack a formal foundati...
详细信息
ISBN:
(纸本)1595931082
Transaction management is a known cross-cutting concern. Previous research has been conducted to express this concern as an aspect. However, this work uses general-purpose aspect languages which lack a formal foundation and are unable to express advanced models for transaction management. In contrast, we designed a domain-specific aspect language for advanced transaction management, called KALA, that is based on a formalism for advanced transactions. As a result, KALA covers the field of advanced transaction management while obtaining a much higher level of abstraction than is achieved with general-purpose aspect languages. In this paper we detail the creation process of KALA. Copyright 2006 ACM.
A critical concern in the reuse of software is the propagation of changes made to reusable artifacts. Without techniques to manage these changes, multiple versions of these artifacts will propagate through different s...
详细信息
This paper is about specification and verification of processes, modelled as CCS-agents. We show, by means of examples that Hennessy-Milner Logic (HML) with recursion is a suitable language for expressing implicit or ...
详细信息
Martin-Löf's type theory contains a logic, a specification language and a programming language, so it is a tool with different uses. Although it is traditionally used as an integrated programming logic, it ma...
详细信息
Nowadays, exploits often rely on a code-reuse approach. Short pieces of code called gadgets are chained together to execute some payload. Code-reuse attacks can exploit vul-nerabilities in the presence of operating sy...
详细信息
Among various approaches to explication of Data-Information-Knowledge-Wisdom Hierarchy (DIKW) we advocate a logic-oriented approach. It stems from analysis of the notion of wisdom which often is understood as the abil...
详细信息
The results of a study aimed at investigating the conceptual design for the composite wings of the prototype UCAV-TD aircraft is presented. The work is focused on identifying an appropriate structural configuration as...
详细信息
ISBN:
(纸本)0948749857
The results of a study aimed at investigating the conceptual design for the composite wings of the prototype UCAV-TD aircraft is presented. The work is focused on identifying an appropriate structural configuration as well as addressing the optimization of the structural design of the wing when subjected to the typical aerodynamic pressure of the structural design of the wing when subjected to the typical aerodynamic pressure loading encountered at the upper edge of the operational envelope. The results of the optimization indicated that the multi-spar arrangement of the radial configuration is more efficient in limiting the deflection of the wing, thereby allowing for a reduction in wing skin thickness.
We present the JOANA (Java Object-sensitive ANAlysis) framework for information flow control (IFC) of Java programs. JOANA can analyze a given Java program and guarantee the absence of security leaks, e.g. that a onli...
详细信息
暂无评论