Cited By
View all- Gough KKlaeren H(2005)Executable assertions and separate compilationModular Programming Languages10.1007/3-540-62599-2_29(41-52)Online publication date: 2-Jun-2005
Point: do programmers need seatbelts?
Author: 
Rob StromAuthors Info & Claims
Rob StromAuthors Info & ClaimsAbstract
No abstract available.
References
[1]
(1) Hoare's Turing Lecture: Hoare, C. A. R., "The Emperor's old clothes", reprinted in CACM vol. 24, pp. 75- 83, February 1981.
[2]
(2) Typestate: Strom, R. E. "Mechanisms for Compile-Time Enforcement of Security", in 10th ACM POPL, January 1983.
[3]
(3) Hermes: Strom, Bacon, Goldberg, Lowry, Yellin, and Yemini, "Hermes: A Language for Distributed Computing", Prentice-Hall, 1991.
[4]
(4) Java: Java Language Tutorial, http://java.sun.com/tutorial/
Recommendations
Dangerous Wi-Fi access point: attacks to benign smartphone applications
Personalization by means of third party application is one of the greatest advantages of smartphones. For example, when a user looks for a path to destination, he can download and install a navigation application with ease from official online market ...
An Explorative Study of the Mobile App Ecosystem from App Developers' Perspective
WWW '17: Proceedings of the 26th International Conference on World Wide WebWith the prevalence of smartphones, app markets such as Apple App Store and Google Play has become the center stage in the mobile app ecosystem, with millions of apps developed by tens of thousands of app developers in each major market. This paper ...
Comments
Information & Contributors
Information
Published In
March 1996
37 pages
ISSN:0362-1340
EISSN:1558-1160
DOI:10.1145/227717
- Editor:
- Richard L. Wexelblat
Copyright © 1996 Author.
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 01 March 1996
Published in SIGPLAN Volume 31, Issue 3
Check for updates
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 133Total Downloads
- Downloads (Last 12 months)25
- Downloads (Last 6 weeks)7
Reflects downloads up to 21 Sep 2024
Other Metrics
Citations
Cited By
View all- Gough KKlaeren H(2005)Executable assertions and separate compilationModular Programming Languages10.1007/3-540-62599-2_29(41-52)Online publication date: 2-Jun-2005
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in