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 MoreMetadata
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.
Published in: Proceedings of the 2014 IEEE 15th International Conference on Information Reuse and Integration (IEEE IRI 2014)
Date of Conference: 13-15 August 2014
Date Added to IEEE Xplore: 02 March 2015
Electronic ISBN:978-1-4799-5880-1