There have been several PHP frameworks for developers to pick from in the latest years. Developers face problems choosing the most relevant frameworks and appropriate support functions to include in their project. For...
详细信息
Termination analysis has received considerable attention, traditionally in the context of declarative programming and, recently, also for imperative and objectoriented (OO) languages. In fact, there exist termination...
详细信息
DATALOG can be used to specify a variety of class analyses for object-oriented programs as variations of a common framework. In this framework, the result of analysing a class is a set Of DATALOG clauses whose least f...
详细信息
ISBN:
(纸本)3540403256
DATALOG can be used to specify a variety of class analyses for object-oriented programs as variations of a common framework. In this framework, the result of analysing a class is a set Of DATALOG clauses whose least fixpoint is the information analysed for. Modular class analysis of program fragments is then expressed as the resolution of open DATALOG programs. We provide a theory for the partial resolution of sets of open clauses and define a number of operators for reducing such open clauses.
Inheritance and delegation are alternate methods for incremental definition and sharing. It has commonly been believed that delegation provides a more powerful model This paper demonstrates that there is a "natur...
详细信息
The implementor of an operating system service faces inherent dilemmas in choosing implementation strategies. A new approach to operating system design is emerging in which, rather than attempting to hide these dilemm...
详细信息
Function minimization techniques often require values for the first partial derivatives of the function at a point. Certain techniques, such as Newton's method, require the values of the second partial derivatives...
详细信息
Selector table indexing is a simple technique for method lookup in object-oriented languages, which yields good performance, is well suited to multiple inheritance and dynamic typing, but is generally disregarded for ...
详细信息
The Event Coordination Notation (ECNO) allows modelling the desired behaviour of a software system on top of any object-oriented software. Together with existing technologies from Model-based Software Engineering (MBS...
详细信息
This paper presents an efficient parsing scheme for English as- part of an ongoing research effort" todevelop natural language interface technology for objectoriented databases. The parsing scheme integrates the ...
详细信息
Enterprise-wide, web-based systems can be assisted in their construction by the use of agents and an agent-oriented methodology. As part of an extensive research programme to create such an AO methodology by combining...
详细信息
ISBN:
(纸本)9728865007
Enterprise-wide, web-based systems can be assisted in their construction by the use of agents and an agent-oriented methodology. As part of an extensive research programme to create such an AO methodology by combining the benefits of method engineering and existing object-oriented frameworks (notably the OPF), we have analysed here contributions to the OPF repository of process components from the MASE agent-oriented methodology, identifying three new Tasks, one additional Technique and two new Work Products.
暂无评论