Loading [a11y]/accessibility-menu.js
Ensuring that your dart will hit the mark: An introduction to dart contracts | IEEE Conference Publication | IEEE Xplore

Ensuring that your dart will hit the mark: An introduction to dart contracts


Abstract:

This paper presents Dart Contracts, an embedded contract language for Dart with non-null annotations, whose design was inspired by the Java Modeling Language, Spec# and M...Show More

Abstract:

This paper presents Dart Contracts, an embedded contract language for Dart with non-null annotations, whose design was inspired by the Java Modeling Language, Spec# and Microsoft's Code Contracts, among others. Dart is a dynamically typed object-oriented language with first class functions and an optional static type system. Dart is useful for engineering web apps (running in browsers) as well as server-side programs. The Dart programming language is one of Google's responses to the deficiencies of JavaScript when it comes to engineering large-scale Web applications.
Date of Conference: 13-15 August 2014
Date Added to IEEE Xplore: 02 March 2015
Electronic ISBN:978-1-4799-5880-1
Conference Location: Redwood City, CA, USA

References

References is not available for this document.