The high-level programminglanguages Pascal and Modula-2 are evaluated as tools for system programming. The construction of operating system utilities in Pascal is the focal point of the first part of the paper. Pasca...
详细信息
ISBN:
(纸本)0444867945
The high-level programminglanguages Pascal and Modula-2 are evaluated as tools for system programming. The construction of operating system utilities in Pascal is the focal point of the first part of the paper. Pascal is shown to be adequate for this limited class of applications, on the condition that the program development system provides enough support. The basis of the development system described here is formed by the POST library, a model of Control Data Corporation's Cyber operating system NOS/BE, written in Pascal. Although the class of problems addressed can be solved with Pascal, a language like Modula-2 with features such as separate compilation and low-level programming support is better suited to serve as an operating system implementation language. To illustrate this, some Pascal programming examples were rewritten.
The robot programminglanguages can be divided into task-oriented and move-oriented, and both automatically specify the robotic motion. Examples of various languages are introduced, starting with Mechanical Hand Inter...
详细信息
The robot programminglanguages can be divided into task-oriented and move-oriented, and both automatically specify the robotic motion. Examples of various languages are introduced, starting with Mechanical Hand Interpreter (MHT), and following through MINI (MIT language based on LISP, TEACH, MCL, RAL, Manipulator Language (ML), Assembly languages (AL), PAL and VAL), HELP, ANORAD, SIGLA, AML and Pascal for Robots (PASRO).
Bug reports provide an effective way for end-users to disclose potential bugs hidden in a software system, while automatically locating the potential buggy source code according to a bug report remains a great challen...
详细信息
Bug reports provide an effective way for end-users to disclose potential bugs hidden in a software system, while automatically locating the potential buggy source code according to a bug report remains a great challenge in software maintenance. Many previous studies treated the source code as natural language by representing both the bug report and source code based on bag-of-words feature representations, and correlate the bug report and source code by measuring similarity in the same lexical feature space. However, these approaches fail to consider the structure information of source code which carries additional semantics beyond the lexical terms. Such information is important in modeling program functionality. In this paper, we propose a novel convolutional neural network NP-CNN, which leverages both lexical and program structure information to learn unified features from natural language and source code in programming language for automatically locating the potential buggy source code according to bug report. Experimental results on widely-used software projects indicate that NP-CNN significantly outperforms the state-of-the-art methods in locating the buggy source files.
programminglanguages: Principles and Paradigms focuses on designing, implementation, properties and limitations of new and existing programminglanguages. The book supports a critical study of the Imperative, Functio...
详细信息
ISBN:
(数字)9781842659830
ISBN:
(纸本)9781842653913
programminglanguages: Principles and Paradigms focuses on designing, implementation, properties and limitations of new and existing programminglanguages. The book supports a critical study of the Imperative, Functional and Logic languages focusing on both principles and paradigms which allows for flexibility in how the text can be used. The instructor can cover the fundamentals in principles and then choose paradigms of the text that he or she wishes to cover.
The proceedings contain 24 articles from the ninth international conference on Architectural Support for programminglanguages and Operating Systems. The topics discussed includes: designing computer systems with MEMS...
详细信息
The proceedings contain 24 articles from the ninth international conference on Architectural Support for programminglanguages and Operating Systems. The topics discussed includes: designing computer systems with MEMS-based storage;architecture and design of alphaserver GS320;communication scheduling;system architecture directions for networked sensors;power aware page allocation;thread level parallelism and interactive performance of desktop;and slipstream processors: improving both performance and fault.
The proceedings contains 30 papers. Topics discussed include system debugging, data mining, security protocols, bisimulation congruences, cache conscious data placement, staged compilers, legacy code, probability dist...
详细信息
The proceedings contains 30 papers. Topics discussed include system debugging, data mining, security protocols, bisimulation congruences, cache conscious data placement, staged compilers, legacy code, probability distributions, software verification, formal design methods, dataflow analyses and transformations, temporal logic and resource usage analysis.
The proceedings contains 34 papers. Topics discussed include shape analysis problems in languages, software specifications, C programminglanguages, computational complexity, flow analysis for high order languages, re...
详细信息
The proceedings contains 34 papers. Topics discussed include shape analysis problems in languages, software specifications, C programminglanguages, computational complexity, flow analysis for high order languages, register allocation, program compilers, data parallel programs, concurrent computation, calculus, and object interpretation.
暂无评论