• Suche: The Java language specification

Treffer 1 - 20 von 9.911

1

Recovering Grammar Relationships for the Java Language Specification
Lämmel, Ralf ; Zaytsev, Vadim
Software Quality Journal, 19:2, pages 333-378. Springer, 2011

Computer Science - Progr...
Report
Zu den Favoriten
2

JAVA LANGUAGE SPECIFICATION, JAVA SE 8 EDITION.
GOSLING, JAMES ; JOY, BILL ; STEELE, GUY, JR. ; et al.

E-Book
Zu den Favoriten
4

JAVA LANGUAGE SPECIFICATION, JAVA SE 7 EDITION.
GOSLING, JAMES ; JOY, BILL ; STEELE, GUY, JR. ; et al.

E-Book
Zu den Favoriten
6

Verification of class liveness properties with Java modeling language
Giorgetti, Alain ; Groslambert, Julien ; Julliand, Jacques ; et al.
IET Software. 2(6):500-514

Java language JML assertion temporal logic liveness F.: Theory of Computatio... F.3: LOGICS AND MEANINGS... …
Zeitschrift
Zu den Favoriten
8

Recovering grammar relationships for the Java language specification
Lämmel, R. (Ralf) ; Zaytsev, V. (Vadim) ; Lämmel, R. (Ralf) ; et al.
Software Quality Journal vol. 19 no. 2, pp. 333-378

E-Ressource
Zu den Favoriten
9

JAVA VIRTUAL MACHINE SPECIFICATION, JAVA SE 8 EDITION.
LINDHOLM, TIM ; YELLIN, FRANK ; BRACHA, GILAD ; et al.

E-Book
Zu den Favoriten
10

On an algorithm determining direct superclasses in Java and similar languages with inner classes-Its correctness, completeness and uniqueness of solutions
LANGMAACK, Hans ; SALWICKI, Andrzej ; WARPECHOWSKI, Marek
Information and computation (Print). 207(3):389-410

Asie Asia Indonésie Indonesia Java Computer science …
Fachzeitschrift
Zu den Favoriten
12

Recovering Grammar Relationships for the Java Language Specification
Ralf Lämmel ; Vadim Zaytsev
CoRR. abs/1008.4188

Fachzeitschrift
Zu den Favoriten
14

Non periodic task integration in real-time systemes : application to the real-time specification for Java
Intégration des évènements non périodiques dans les systèmes temps réel : application à la gestion des évènements dans la spécification temps réel pour Java
Masson, Damien ; Laboratoire d'Informatique Gaspard-Monge (LIGM) ; Université Paris-Est Marne-la-Vallée (UPEM)-École nationale des ponts et chaussées (ENPC)-ESIEE Paris-Fédération de Recherche Bézout (BEZOUT) ; et al.
Autre [cs.OH]. Université Paris-Est, 2008. Français. ⟨NNT : 2008PEST0247⟩

Java ( language) RTSJ Events Temps réel (informatique... Ordonnancement Apériodique …
Dissertation
Zu den Favoriten
16

Dieses Ergebnis kann Gästen nicht angezeigt werden.

17

Specifying multithreaded Java semantics for program verification
ROYCHOUDHURY, Abhik ; MITRA, Tulika
ICSE 2002 : 24th international conference on software engineering (Orlando FL, 19-25 May 2002)Proceedings - International Conference on Software Engineering. :489-499

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
18

A core calculus for Java exceptions
ANCONA, D ; LAGORIO, G ; ZUCCA, E
Proceedings of the 2001 ACM SIGPLAN conference on object-oriented programming, systems, languages & applications (OOPSLA'01)ACM SIGPLAN notices. 36(11):16-30

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
19

Effective enhancement of loop versioning in Java
MIKHEEV, Vitaly V ; FEDOSEEV, Stanislav A ; SUKHAREV, Vladimir V ; et al.
CC 2002 : compiler construction (Grenoble, 8-12 April 2002)Lecture notes in computer science. :293-306

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter