Magic for the masses: safer high-level low-level programming through customizable static analyses
Abstract
References
Index Terms
- Magic for the masses: safer high-level low-level programming through customizable static analyses
Recommendations
Bypassing portability pitfalls of high-level low-level programming
VMIL '12: Proceedings of the sixth ACM workshop on Virtual machines and intermediate languagesProgram portability is an important software engineering consideration. However, when high-level languages are extended to effectively implement system projects for software engineering gain and safety, portability is compromised--high-level code for ...
Demystifying magic: high-level low-level programming
VEE '09: Proceedings of the 2009 ACM SIGPLAN/SIGOPS international conference on Virtual execution environmentsThe power of high-level languages lies in their abstraction over hardware and software complexity, leading to greater security, better reliability, and lower development costs. However, opaque abstractions are often show-stoppers for systems programmers,...
Ann
This paper describes a new modelling language for the effective design and validation of Java annotations. Since their inclusion in the 5th edition of Java, annotations have grown from a useful tool for the addition of meta-data to play a central role ...
Reviews
Wes Munsil
Readers of this paper may experience a certain sense of incompleteness on coming to its end without finding one of the claims in its introduction satisfied; to wit, "We show that the resulting specifications can be used to automatically check for violations at development time as opposed to just-in-time compile time." Assert it, indeed they do; show it, they do not. Showing it would require substantially more discussion of the operation of a "Static Analysis Engine (SAE) developed by one of the authors" and called variously "Unison" or "Unisson," for which no bibliographic reference is given. The subject matter of the paper will be of interest to designers of programming languages and implementers of compilers and their runtime support systems. One hopes that a future paper (perhaps the one appearing as Reference 3 in this paper) will provide more in the way of application and experience. Online Computing Reviews Service
Access critical reviews of Computing literature here
Become a reviewer for Computing Reviews.
Comments
Information & Contributors
Information
Published In
- Organizing Chairs:
- Bram Adams,
- Michael Haupt,
- David H. Lorenz,
- Eric Wohlstadter
In-Cooperation
- Centro de Informatica - UFPE: Centro de Informatica - UFPE
- SIGPLAN: ACM Special Interest Group on Programming Languages
- CAPES: Coordençãao de Aperfeiçoamento de Pessoal de Nível Superior
- SIGSOFT: ACM Special Interest Group on Software Engineering
- CNPq: Conselho Nacional de Desenvolvimento Cientifico e Tecn
- FINEP: Financiadora de Estudos e Projetos
- PUC-Rio
- FACEPE: Fundacao de Amparo a Ciencia e Tecnologia do Estado de Pernambuco
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Author Tags
Qualifiers
- Research-article
Conference
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 136Total Downloads
- Downloads (Last 12 months)2
- Downloads (Last 6 weeks)0
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in