The authors provide a hierarchy of proof techniques for deriving the timing properties of real-time distributed programs. First, they provide a static characterization of real-time distributed programs using the maxim...
详细信息
The authors provide a hierarchy of proof techniques for deriving the timing properties of real-time distributed programs. First, they provide a static characterization of real-time distributed programs using the maximum-parallelism model and show that several interesting timing characteristics can be derived from such an analysis. The static analysis is based on complete trace structures. Using prefix-closed trace structures (under the maximal-parallelism model), the authors define two proof systems, referred to as syntactic and general proof systems. The syntactic proof system uses assertions (postulates) attached to the I/O commands (essentially, reflecting the enablement or otherwise of the guards) rather than state information. Using such a system, it is possible to refine several of the timing properties obtained by the static analysis. All the proof systems are compositional and they form a hierarchy. The hierarchy not only establishes the consistency of the systems but also provides the user a selection of proof systems depending on the requirements. Further, the algorithms based on the static analysis lead to algorithmic derivation of the timing properties of a wide variety of real-time programs.
Introductory programming courses can be taught in a variety of languages that are current with industry demands and support essential features such as object oriented programming. programminglanguages can also be com...
详细信息
作者:
Ahmad, ShaheenImperial Coll of Science &
Technology Dep of Mechanical Engineering London Engl Imperial Coll of Science & Technology Dep of Mechanical Engineering London Engl
The design requirements of robot level languages are outlined by considering an automation example with a robot. The design features of SRIL-90 robot control language are then presented, together with their implicatio...
详细信息
ISBN:
(纸本)0818605502
The design requirements of robot level languages are outlined by considering an automation example with a robot. The design features of SRIL-90 robot control language are then presented, together with their implication on overall arm control. SRIL-90 is then compared with the more advanced robot control languages currently available in research and industrial environments. programming examples with SRIL-90 language are also presented, which illustrate the versatility and usefulness of the language. The multiprocessor control system on which SRIL-90 is implemented on is also briefly described.
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.
暂无评论