Dart Programming Research Articles

Aplicación móvil para el seguimiento de solicitudes de acceso a la información

Currently, the use of mobile applications is of utmost importance, since it allows the availability of information at all times. The mobile application described in this article was made to follow up on the Requests for Access to Information and is part of a web system, with which an internal control of the Requests for Access to Information that are sent to the Dependencies, Entities, Auxiliary Bodies and Trusts of the State Public Administration. The application will attend to the requests and thus, the times of attention to them are met within the terms established by the Law of Transparency and Access to Public Information for the State of Oaxaca (LGTAIPO). The mobile application allows the monitoring of information requests received, shows the status in which they are through a colored traffic light, meetings can be scheduled, allows the registration of the user's profile, and, has an internal chat so that dependencies can communicate with each other and send notifications. The development methodology used for this project was Extreme Programming using the Dart programming language.

Design and Development of Automotive Workshop Application Based on Android and IOS Using Dart Programming Language

During this time, most vehicle service can only be done in a garage where every customer who wants to make repairs to them vehicle must bring the vehicle directly to the service shop. Under these conditions it need the use of the latest technology that can facilitate two-way communication between vehicle service providers with consumers. The solution offered in this study is in the form of applications based on Android and IOS that are connected to the internet and GPS (Global Positioning System) for vehicle repair services. With the development of the application services can be done anywhere, and users who need services can easily find out the nearest location of the vehicle service to the point of position of consumers at that real time. With the existence of this application the user does not have to go to the vehicle service shop, but the service can be done at the office, at home even in an emergency on the road though. So the application making it easier to service the user’s vehicle also helped in terms of time.

JAVA and DART programming languages: conceptual comparison

<p>This paper elaborates on the concepts of a new programming language “Dart”, which has been developed by Google and considered for future use. Here, we compare it to the most famous, real time, and updated language “Java”. This is to define similarities and differences between the two important languages, explain programs’ behavior, with a focus on investigating alternative implementation strategies and problem definitions. We used programming languages’ concepts and terminologies to compare between the main characteristics of the two languages, Dart & Java.</p>

SpecPad: device-independent NMR data visualization and processing based on the novel DART programming language and Html5 Web technology.

SpecPad is a new device-independent software program for the visualization and processing of one-dimensional and two-dimensional nuclear magnetic resonance (NMR) time domain (FID) and frequency domain (spectrum) data. It is the result of a project to investigate whether the novel programming language DART, in combination with Html5 Web technology, forms a suitable base to write an NMR data evaluation software which runs on modern computing devices such as Android, iOS, and Windows tablets as well as on Windows, Linux, and Mac OS X desktop PCs and notebooks. Another topic of interest is whether this technique also effectively supports the required sophisticated graphical and computational algorithms. SpecPad is device-independent because DART's compiled executable code is JavaScript and can, therefore, be run by the browsers of PCs and tablets. Because of Html5 browser cache technology, SpecPad may be operated off-line. Network access is only required during data import or export, e.g. via a Cloud service, or for software updates. A professional and easy to use graphical user interface consistent across all hardware platforms supports touch screen features on mobile devices for zooming and panning and for NMR-related interactive operations such as phasing, integration, peak picking, or atom assignment. Copyright © 2017 John Wiley & Sons, Ltd.

Type safety analysis for Dart

Optional typing is traditionally viewed as a compromise between static and dynamic type checking, where code without type annotations is not checked until runtime. We demonstrate that optional type annotations in Dart programs can be integrated into a flow analysis to provide static type safety guarantees both for annotated and non-annotated parts of the code. We explore two approaches: one that uses type annotations for filtering, and one that uses them as specifications. What makes this particularly challenging for Dart is that its type system is unsound even for fully annotated code. Experimental results show that the technique is remarkably effective, even without context sensitivity: 99.3% of all property lookup operations are reported type safe in a collection of benchmark programs.

Type unsoundness in practice: an empirical study of Dart

The type system in the Dart programming language is deliberately designed to be unsound: for a number of reasons, it may happen that a program encounters type errors at runtime although the static type checker reports no warnings. According to the language designers, this ensures a pragmatic balance between the ability to catch bugs statically and allowing a flexible programming style without burdening the programmer with a lot of spurious type warnings. In this work, we attempt to experimentally validate these design choices. Through an empirical evaluation based on open source programs written in Dart totaling 2.4 M LOC, we explore how alternative, more sound choices affect the type warnings being produced. Our results show that some, but not all, sources of unsoundness can be justified. In particular, we find that unsoundness caused by bivariant function subtyping and method overriding does not seem to help programmers. Such information may be useful when designing future versions of the language or entirely new languages.

Message safety in Dart

Abstract Unlike traditional static type checking, the type system in the Dart programming language is unsound by design, even for fully annotated programs. The rationale has been that this allows compile-time detection of likely errors and enables code completion in integrated development environments, without being restrictive on programmers. Despite unsoundness, judicious use of type annotations can ensure useful properties of the runtime behavior of Dart programs. We present a formal model of a core of Dart with a focus on its type system, which allows us to elucidate the causes of unsoundness. Our main contribution is a characterization of message-safe programs and a theorem stating that such programs will never encounter ‘message-not-understood’ errors at runtime. Message safety is less restrictive than traditional type soundness, and we argue that it forms a natural intermediate point between dynamically typed and statically typed Dart programs.

Message safety in Dart

Unlike traditional static type checking, the type system in the Dart programming language is unsound by design, even for fully annotated programs. The rationale has been that this allows compile-time detection of likely errors and enables code completion in integrated development environments, without being restrictive on programmers. Despite unsoundness, judicious use of type annotations can ensure useful properties of the runtime behavior of Dart programs. We present a formal model of a core of Dart with a focus on its type system, which allows us to elucidate the causes of unsoundness. Our main contribution is a characterization of message-safe programs and a theorem stating that such programs will never encounter 'message not understood' errors at runtime. Message safety is less restrictive than traditional type soundness, and we argue that it forms a natural intermediate point between dynamically typed and statically typed Dart programs.

Spicing Up Dart with Side Effects

The Dart programming language has recently incorporated a set of extensions designed to support asynchrony and generator functions. Because Dart is a language for Web programming, latency is an important concern. To avoid blocking, developers must make methods asynchronous when computing their results requires nontrivial time. Generator functions ease the task of computing iterable sequences.