Predictably, this is a direct result of the understanding of superblocks. The construction of the transistor would improbably amplify the emulation of the lookaside buffer. Unified pervasive technology has led to many...
详细信息
ISBN:
(纸本)9789881824219
Predictably, this is a direct result of the understanding of superblocks. The construction of the transistor would improbably amplify the emulation of the lookaside buffer. Unified pervasive technology has led to many private advances, including SCSI disks and the UNIVAC computer. Nevertheless, a typical quagmire in algorithms is the development of reinforcement learning. Many cyberneticists would agree that, had it not been for cache coherence, the exploration of Smalltalk might never have occurred. The investigation of the producer-consumer problem is proved. Using authenticated epistemologies, it is concluded and demonstrated that symmetric encryption can be made virtual, metamorphic, and authenticated.
A simple correspondence is presented between the elementary constructs of programming languages and the lambda-calculus. The correspondence is obtained by using intuitive, functional interpretations of programming lan...
详细信息
The work is devoted to the use of modern programming languages in solving the problem of developing a hardware platform emulator used for debugging the developed software of embedded systems. The authors perform a res...
详细信息
ISBN:
(纸本)9783031705175;9783031705182
The work is devoted to the use of modern programming languages in solving the problem of developing a hardware platform emulator used for debugging the developed software of embedded systems. The authors perform a research of the performance characteristics of modern programming languages in performing certain operations and algorithms most often used in the process of emulating embedded systems using the software developed as part of the research. The paper discusses the characteristics of existing emulators of built systems and offers recommendations for developing an emulator that has higher performance characteristics and more efficient support potential for it as a software product. The results obtained can be useful for engineers and developers working in the field of embedded systems design and software development for them #CSOC1120.
Infrastructure-from-Code (IfC) is a new approach to DevOps and an advancement of Infrastructure-as-Code (IaC). One of its key concepts is to provide a higher level of abstraction facilitated by new programming languag...
详细信息
ISBN:
(纸本)9798400711800
Infrastructure-from-Code (IfC) is a new approach to DevOps and an advancement of Infrastructure-as-Code (IaC). One of its key concepts is to provide a higher level of abstraction facilitated by new programming languages or software development kits, which automatically generate the necessary code and configurations to provision the infrastructure, deploy the application, andmanage the cloud services. IfC approaches promise higher developer productivity by reducing DevOps-specific tasks and the expert knowledge required. However, empirical studies on developers' performance, perceived ease of use, and usability related to IfC are missing. We conducted a controlled experiment (n=40) to assess the usability of the cloud programming languages (PL) and software development kits (SDK). Both approaches involve similar effectiveness. We found that the PL-based approach was moderately less efficient but increased correctness with time spent on programming. Tracing generated infrastructure configurations from code was more challenging with the SDK-based approach. Applying thematic analysis, 19 themes emerged related to usability barriers, supporting factors, security, cloud cost, and enhancement areas. We conclude with five findings and future directions.
What is the effect of programming languages on software quality? This question has been a topic of much debate for a very long time. In this study, we gather a very large data set from GitHub (729 projects, 80 Million...
详细信息
ISBN:
(纸本)9781450330565
What is the effect of programming languages on software quality? This question has been a topic of much debate for a very long time. In this study, we gather a very large data set from GitHub (729 projects, 80 Million SLOC, 29,000 authors, 1.5 million commits, in 17 languages) in an attempt to shed some empirical light on this question. This reasonably large sample size allows us to use a mixed-methods approach, combining multiple regression modeling with visualization and text analytics, to study the effect of language features such as static v.s. dynamic typing, strong v.s. weak typing on software quality. By triangulating findings from different methods, and controlling for confounding effects such as team size, project size, and project history, we report that language design does have a significant, but modest effect on software quality. Most notably, it does appear that strong typing is modestly better than weak typing, and among functional languages, static typing is also somewhat better than dynamic typing. We also find that functional languages are somewhat better than procedural languages. It is worth noting that these modest effects arising from language design are overwhelmingly dominated by the process factors such as project size, team size, and commit size. However, we hasten to caution the reader that even these modest effects might quite possibly be due to other, intangible process factors, e.g., the preference of certain personality types for functional, static and strongly typed languages.
This paper proposes a first comparison of different agent-oriented programming languages, including the SARL agent-programming language. The study of those tools is based upon various criteria that are defining the es...
详细信息
This paper proposes a first comparison of different agent-oriented programming languages, including the SARL agent-programming language. The study of those tools is based upon various criteria that are defining the essential aspects of multi-agent systems. For the sake of clarity, the comparative study is presented in a tabular form, including the languages and all the criteria. For each criterion, a definition is made to understand its meaning. At the end of the article, all the languages will be described in order to define their advantages and disadvantages. (C) 2017 The Authors. Published by Elsevier B.V.
In recent years, much research has been devoted to the refinement of IPv6;on the other hand, few have investigated the confusing unification of interrupts and Internet QoS. In this position paper, it demonstrates the ...
详细信息
ISBN:
(纸本)9780878492183
In recent years, much research has been devoted to the refinement of IPv6;on the other hand, few have investigated the confusing unification of interrupts and Internet QoS. In this position paper, it demonstrates the emulation of interrupts. In order to overcome this quagmire, a novel system is presented for the intuitive unification of expert systems and massive multiplayer online role-playing games. It is concluded that erasure coding can be verified to make heterogeneous, interposable, and event-driven, which is proved to be applicable.
We present a vision of genetic improvement firmly embedded in, and supported by, programming languages. Genetic improvement has already been envisioned as the next compiler, which would take human written programs as ...
详细信息
ISBN:
(纸本)9781450349390
We present a vision of genetic improvement firmly embedded in, and supported by, programming languages. Genetic improvement has already been envisioned as the next compiler, which would take human written programs as input and return versions optimised with respect to various objectives. As an intermediate stage, or perhaps to complement the fully automated vision, we imagine genetic improvement processes that are hinted at and directed by humans but understood and undertaken by programming languages and their runtimes, via interactions through the source code. We examine existing similar ideas and examine the benefits of embedding them within programming languages.
Capabilities are used to control access to system resources. In modern programming languages that execute code with different levels of trust in the same process, the propagation of such capabilities must be controlle...
详细信息
ISBN:
(纸本)9783030024505;9783030024499
Capabilities are used to control access to system resources. In modern programming languages that execute code with different levels of trust in the same process, the propagation of such capabilities must be controlled so that they cannot unintentionally be obtained by unauthorised code. In this paper, we present a statically-checked type system for object-oriented programming languages which guarantees that capabilities are restricted to authorised code. Capabilities are regarded as types that are granted to code based on a user-defined policy file (similar to that used by Java). In order to provide a finer-grained access control, the type system supports parameterised capabilities to more precisely identify system resources. The approach is illustrated using file-access examples.
This paper describes the effort of redesigning an undergraduate course: CSC370 Principles of programming languages. Like courses similar to CSC370, the book Concepts of programming languages and written by Robert Sebe...
详细信息
ISBN:
(纸本)9781665458412
This paper describes the effort of redesigning an undergraduate course: CSC370 Principles of programming languages. Like courses similar to CSC370, the book Concepts of programming languages and written by Robert Sebesta is as the textbook. The lectures sequentially cover the topics from its Chapters 1-10. Based on the students' feedback and their performance, this book is good, however, with several limitations. Hence, the lectures were redesigned in the Summer of 2021 to reflect the concerns. In the new design, the topics selected from the book will be reorganized into three categories, and the coursework will include two term projects for different purposes. It will be piloted in the Spring of 2022.
暂无评论