Certain languages allow a metaprogram to act as a compiler plugin and thus alter the compilation *** metaprogram interacts with low-level details of the compiler, making its construction difficult and potentially lead...
详细信息
This paper presents a language, Alda, that supports all of logic rules, sets, functions, updates, and objects as seamlessly integrated built-ins. The key idea is to support predicates in rules as set-valued variables ...
详细信息
The article considers the application of the object-oriented approach in programming in relation to computer science and in the framework of mathematical analysis from the point of view of mathematics. The methodology...
详细信息
Gradual typing allows programs to enjoy the benefits of both static typing and dynamic typing. While it is often desirable to migrate a program from more dynamically typed to more statically typed or vice versa, gradu...
详细信息
Gradual typing allows programs to enjoy the benefits of both static typing and dynamic typing. While it is often desirable to migrate a program from more dynamically typed to more statically typed or vice versa, gradual typing itself does not provide a way to facilitate this migration. This places the burden on programmers who have to manually add or remove type annotations. Besides the general challenge of adding type annotations to dynamically typed code, there are subtle interactions between these annotations in gradually typed code that exacerbate the situation. For example, to migrate a program to be as static as possible, in general, all possible combinations of adding or removing type annotations from parameters must be tried out and compared. In this paper, we address this problem by developing migrational typing, which efficiently types all possible ways of replacing dynamic types with fully static types for a gradually typed program. The typing result supports automatically migrating a program to be as static as possible or introducing the least number of dynamic types necessary to remove a type error. The approach can be extended to support user-defined criteria about which annotations to modify. We have implemented migrational typing and evaluated it on large programs. The results show that migrational typing scales linearly with the size of the program and takes only 2-4 times longer than plain gradual typing.
作者：
Wisassakwichai, ChainarongPhaochoo, PrasertElectrical Engineering
Faculty of Engineering Rajamangala University of Technology Krungthep 2 Nanglinchi Rd. Tungmahamek Sathorn Bangkok10120 Thailand Mathematics
Faculty of Science and Tchnology Rajamangala University of Technology Krungthep 2 Nanglinchi Rd. Tungmahamek Sathorn Bangkok10120 Thailand
Contribution: This paper introduces an innovative approach that leverages symbolic mathematics within the Python programming language, specifically using the SymPy library, to systematize essential linear algebra theo...
详细信息
This research aimed to analyze and design the CRM system as a solution for business problems and business strategy of Umrah division in PT XYZ Tours Travel Indonesia. The design activities of CRM system were done with...
详细信息
programming is an integral part of computer science discipline. Every day the programming environment is not only rapidly growing but also changing and languages are constantly evolving. Learning of object-oriented pa...
详细信息
The paper presents a simple approach for mathematical modeling and simulation of vehicular traffic at the intersection of roads. The design of a simulator to simulate vehicular traffic at the intersection of roads is ...
详细信息
With the purpose of solving the Solar Corona heating mistery, current scientific efforts are trying to provide in-situ measurements of plasma properties in this region. In this scenario, it becomes important to unders...
详细信息
ISBN:
(纸本)9781713843009
With the purpose of solving the Solar Corona heating mistery, current scientific efforts are trying to provide in-situ measurements of plasma properties in this region. In this scenario, it becomes important to understand the interaction between the solar wind at the Solar Corona and the surface of a probe. In order to study probe surface charging, but also be able to consider more complex phenomena that may arise when considering Solar Corona-Probe interactions, an in-house code called Solar Corona-Spacecraft Interaction (SCSI) has been built and validated. The program has an object-oriented approach and can integrate and run different types of geometries and plasma-related numerical methods simultaneously. The domain of the simulation is constructed in an object-oriented tree-like fashion, enabling the domain to function as separate entities that work independently and interact only through their boundaries. This strategy allows to execute different numerical methods in different regions of the domain and inherently provides mesh refinement for studying multi-scale phenomena. SCSI was employed to study the effect of the presence of the spacecraft in the measurements of solar wind properties, for instruments on board a solar probe at a distance of 8.5 R☉. The simulation showed a significant modification of the solar wind electrons’ density and velocity in the vicinity of the probe, as a result of the negative floating potential of the probe. Also, the distribution of photoelectrons and secondary emission electrons was studied, since they can be registered as false counts in the onboard instruments. General outlines were concluded for instruments on board aimed at studying the solar wind species: an ubication in the ram side of the spacecraft, at a moderate distance from the sunlit surfaces, and as separated from the main bus as possible, is recommended. The temporal variations of the satellite surface potential were also studied, and significant components of frequ
This article analyzes the existing technologies and software tools for accounting of working time of employees, which showed the relevance of the study and identified the main shortcomings of existing approaches. Duri...
详细信息
暂无评论