Safe uniform proxies for Java (Englisch)
- Neue Suche nach: Eugster, Patrick
- Neue Suche nach: Eugster, Patrick
In:
Science of computer programming
;
78
, 9
; 1490-1520
;
2013
-
ISSN:
- Aufsatz (Zeitschrift) / Print
-
Titel:Safe uniform proxies for Java
-
Beteiligte:Eugster, Patrick ( Autor:in )
-
Erschienen in:Science of computer programming ; 78, 9 ; 1490-1520
-
Verlag:
- Neue Suche nach: Elsevier
-
Erscheinungsort:Amsterdam [u.a.]
-
Erscheinungsdatum:2013
-
ISSN:
-
ZDBID:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Print
-
Sprache:Englisch
- Neue Suche nach: 54.50
- Weitere Informationen zu Basisklassifikation
-
Schlagwörter:
-
Klassifikation:
BKL: 54.50 Programmierung: Allgemeines -
Datenquelle:
Inhaltsverzeichnis – Band 78, Ausgabe 9
Zeige alle Jahrgänge und Ausgaben
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1207
-
EditorialBergstra, Jan et al. | 2013
- 1208
-
The essential similarity and differences between mathematical modeling and programmingBerry, Daniel M. et al. | 2010
- 1212
-
Invariant assertions, invariant relations, and invariant functionsMraihi, Olfa / Louhichi, Asma / Jilani, Lamia Labed / Desharnais, Jules / Mili, Ali et al. | 2012
- 1240
-
Abstract program slicing on dependence condition graphsHalder, Raju / Cortesi, Agostino et al. | 2012
- 1264
-
Predictive access control for distributed computationYang, Fan / Hankin, Chris / Nielson, Flemming / Nielson, Hanne Riis et al. | 2012
- 1278
-
A weakest precondition calculus for BUnityAştefănoaei, L. / de Boer, F.S. / Dastani, M. / Meyer, J.-J. Ch. et al. | 2012
- 1294
-
State-cover testing for nondeterministic terminating concurrent programs with an infinite number of synchronization sequencesLin, Che-Sheng / Hwang, Gwan-Hwan et al. | 2012
- 1324
-
Automatic equivalence proofs for non-deterministic coalgebrasBonsangue, Marcello / Caltais, Georgiana / Goriac, Eugen-Ioan / Lucanu, Dorel / Rutten, Jan / Silva, Alexandra et al. | 2012
- 1346
-
Incremental construction of systems: An efficient characterization of the lacking sub-systemSantone, Antonella / Vaglini, Gigliola / Villani, Maria Luisa et al. | 2012
- 1368
-
Recovering management information from source codeKwiatkowski, Ł.M. / Verhoef, C. et al. | 2012
- 1407
-
When intuition and logic clash: The case of the object-oriented paradigmHadar, Irit et al. | 2012
- 1427
-
Heap space analysis for garbage collected languagesAlbert, Elvira / Genaim, Samir / Gómez-Zamalloa, Miguel et al. | 2012
- 1449
-
Emulating C++0x conceptsSutton, Andrew / Maletic, Jonathan I. et al. | 2012
- 1470
-
Modeling mobile stateful channels in ZPoroor, Jayaraj / Jayaraman, Bharat et al. | 2012
- 1470
-
Modeling mobile stateful channels in pZPoroor, J. / Jayaraman, B. et al. | 2013
- 1490
-
Safe uniform proxies for JavaEugster, Patrick et al. | 2012
- 1521
-
Complete assertional proof rules for progress under weak and strong fairnessHesselink, Wim H. et al. | 2012
- 1538
-
Modular and flexible causality control on the WebLeger, Paul / Tanter, Éric / Douence, Rémi et al. | 2012
- 1559
-
ARV–ALA: Improving performance of software transactional memory through adaptive read and write policiesAtoofian, Ehsan / Baniasadi, Amirali / Coady, Yvonne et al. | 2012
- 1572
-
Measuring the significance of inconsistency in the Viewpoints frameworkMu, Kedian / Jin, Zhi / Liu, Weiru / Zowghi, Didar / Wei, Bo et al. | 2012
- 1600
-
Implementing monads for C++ template metaprogramsSinkovics, Ábel / Porkoláb, Zoltán et al. | 2013
- 1622
-
Mechanical verification of Lamport’s Bakery algorithmHesselink, Wim H. et al. | 2013
- 1639
-
Towards the practical mutation testing of AspectJ programsFerrari, Fabiano Cutigi / Rashid, Awais / Maldonado, José Carlos et al. | 2013
- 1663
-
Using heuristics to estimate an appropriate number of latent topics in source code analysisGrant, Scott / Cordy, James R. / Skillicorn, David B. et al. | 2013
- 1679
-
Verification of quantum programsYing, Mingsheng / Yu, Nengkun / Feng, Yuan / Duan, Runyao et al. | 2013
- 1701
-
Access-based abstract memory localization in static analysisOh, Hakjoo / Yi, Kwangkeun et al. | 2013
- 1728
-
Supporting change impact analysis for intelligent agent systemsDam, Hoa Khanh / Ghose, Aditya et al. | 2013