Object-oriented Programming Laws for Annotated Java Programs
نویسندگان
چکیده
منابع مشابه
Object-oriented Programming Laws for Annotated Java Programs
Object-oriented programming laws have been proposed in the context of languages that are not combined with a behavioral interface specification language (BISL). The strong dependence between source-code and interface specifications may cause a number of difficulties when transforming programs. In this paper we introduce a set of programming laws for object-oriented languages like Java combined ...
متن کاملJava for Real-time Object-oriented Programming
Real–time programming is simply a necessity in many fields of application and specific real–time operating systems exist in order to fulfill the necessity of users to have time determinism in their applications. Anyway, often time constraints are not so hard and it is possible to identify hard and soft real–time applications, but time determinism keeps on being the mandatory requirement. The ai...
متن کاملVisualization of Object-oriented (Java) Programs
We provide an explicit, consistent, execution model for OO programs, specifically Java, together with a tool that visualizes the model This equips the student with a model to think and communicate about OO programs. Especially for an e-learning situation this is significant. Firstly, such a model supports the interaction with teachers and provides a sound basis for the understanding of other e-...
متن کاملA Statically Verifiable Programming Model for Concurrent Object-Oriented Programs
Reasoning about multithreaded object-oriented programs is difficult, due to the non-local nature of object aliasing, data races, and deadlocks. We propose a programming model that prevents data races and deadlocks, and supports local reasoning in the presence of object aliasing and concurrency. Our programming model builds on the multithreading and synchronization primitives as they are present...
متن کاملVerifiable Programming Model for Concurrent Object - Oriented Programs
Proefschrift voorgedragen tot het behalen van het doctoraat in de ingenieurswetenschappen door Bart JACOBS Alle rechten voorbehouden. Niets uit deze uitgave mag worden vermenigvuldigd en/of openbaar gemaakt worden door middel van druk, fotocopie, microfilm, elektronisch of op welke andere wijze ook zonder voorafgaande schriftelijke toe-stemming van de uitgever. All rights reserved. No part of t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2010
ISSN: 2075-2180
DOI: 10.4204/eptcs.21.6