Exploiting abstraction for specification reuse. The Java/C♯ case study (2004)
by
Egon Börger
,
Robert F. Stärk
| Venue: | PROC. FMCO’03, LNCS |
| Citations: | 4 - 2 self |
BibTeX
@INPROCEEDINGS{Börger04exploitingabstraction,
author = {Egon Börger and Robert F. Stärk},
title = {Exploiting abstraction for specification reuse. The Java/C♯ case study},
booktitle = {PROC. FMCO’03, LNCS},
year = {2004},
pages = {42--76},
publisher = {Springer}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
From the models provided in [11] and [4] for the semantics of Java and C♯ programs we abstract the mathematical structure that underlies the semantics of both languages. The resulting model reveals the kernel of object-oriented programming language constructs and can be used for teaching them without being bound to a particular language. It also allows us to identify precisely some of the major differences between Java and C♯.
