*Search Results* - The Java language specification

sublabel_EDS

*license_notice_EDS_guest_loggedout* *Login*

1
2
3
4
5
6
7
8
9
10
11
*Next*

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*

*CL-Zum Volltext*

Recovering grammar relationships for the Java Language Specification
Lämmel, R.
SOFTWARE QUALITY JOURNAL. 19(2):333-378

*Periodical*

*CL-Check availability*

Real-Time Extensions to the Java Platform: As it stands now, neither the Java language nor the Java Virtual Machine is compatible with truly real-time systems. However, extensions to the Java specifications are now being made to make Java a better language for real-time programming
Furr, S.
EMBEDDED SYSTEMS PROGRAMMING. 12(13):71-78

*Periodical*

*CL-Check availability*

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

*Electronic Resource*

*CL-View this record from OAIster*

Transaction Processing with EJB: The new EJB specification enables a transaction processing model to be introduced into the Java language, giving developers the ability to build reliable systems quickly. See how classes and interfaces in the transaction packages relate
Orchard, D.
COMPONENT STRATEGIES. 1(10):50-57

*Periodical*

*CL-Check availability*

Preliminary Design of BML: A Behavioral Interface Specification Language for Java Bytecode
Fundamental approaches to software engineering; FASE 2007
Burdy, L. ; Huisman, M. ; Pavlova, M.
LECTURE NOTES IN COMPUTER SCIENCE. (4422):215-229

*Conference*

*CL-Check availability*

JAVA MUSIC SPECIFICATION LANGUAGE AND MAX/MSP
International computer music conference
Didkovsky, N. ; Crawford, L.
PROCEEDINGS OF THE INTERNATIONAL COMPUTER MUSIC CONFERENCE. :620-623

*Conference*

*CL-Check availability*

466-086: Real Time Meta Event Specification Language for Java
International conference on parallel and distributed computing systems
Caruso, V. ; Midonnet, S.
PARALLEL AND DISTRIBUTED COMPUTING AND SYSTEMS. CONF 17:169-174

*Conference*

*CL-Check availability*

JAVA MUSIC SPECIFICATION LANGUAGE, V103 UPDATE
Computer music; ICMC 2004
Didkovsky, N.
PROCEEDINGS OF THE INTERNATIONAL COMPUTER MUSIC CONFERENCE. 30:742-745

*Conference*

*CL-Check availability*

RECENT COMPOSITIONS AND PERFORMANCE INSTRUMENTS REALIZED IN JAVA MUSIC SPECIFICATION LANGUAGE
Computer music; ICMC 2004
Didkovsky, N.
PROCEEDINGS OF THE INTERNATIONAL COMPUTER MUSIC CONFERENCE. 30:746-749

*Conference*

*CL-Check availability*

Mapping Nautilus Language into Java: Towards a Specification and Programming Environment for Distributed Systems
International workshop on computer aided systems theory; EUROCAST 2003
Fuzitaki, C. N. ; Menezes, P. B. ; Machado, J. P. ; et al.
LECTURE NOTES IN COMPUTER SCIENCE. :243-252

*Conference*

*CL-Check availability*

JAVA MUSIC SPECIFICATION LANGUAGE, AN INTRODUCTION AND OVERVIEW
International computer music conference
Didkovsky, N. ; Burk, P.
PROCEEDINGS OF THE INTERNATIONAL COMPUTER MUSIC CONFERENCE. :123-126

*Conference*

*CL-Check availability*

The Java language specification; Java SE 7 edition
Reference & Research Book News. August, 2013, Vol. 28 Issue 4

*Periodical*

*CL-Check availability*

JCML: A specification language for the runtime verification of Java Card programs
da Costa, U. S. ; Moreira, A. M. ; Musicante, M. A. ; et al.
SCIENCE OF COMPUTER PROGRAMMING. 77(4):533-550

*Periodical*

*CL-Check availability*

Design of a Specification Language and Real-Time APIs for Easy Expression of Soft Real-Time Constraints with Java
Sung, K.-Y.
LECTURE NOTES IN COMPUTER SCIENCE. (2093):530-539

*Periodical*

*CL-Check availability*

A Formal Specification of the Java Bytecode Language and Bytecode Verifier
Freund, S. ; Mitchell, J. C.
ACM SIGPLAN NOTICES. 34(10):147-166

*Periodical*

*CL-Check availability*

Java as a Specification Language for Hardware-Software Systems
Digest of Technical Papers
Helaihel, R. ; Olukotun, K.
IEEE INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN. :690-699

*Periodical*

*CL-Check availability*

Automatic Translation from Combined B and CSP Specification to Java Programs
B 2007: formal specification and development in B
Yang, L. ; Poppleton, M. R.
LECTURE NOTES IN COMPUTER SCIENCE. (4355):64-78

*Conference*

*CL-Check availability*

A Formal Specification of the Java Bytecode Language and Bytecode Verifier
Object-oriented programming systems, languages, and applications
Freund, S. ; Mitchell, J. C.
ACM SIGPLAN NOTICES. 34(10):147-166

*Conference*

*CL-Check availability*

Synthesis of Interface Specifications for Java Classes
POPL 2005: the 32nd ACM SIGPLAN-SIGACT symposium on principles of programming languages
Alur, R. ; Cerny, P. ; Madhusudan, P. ; et al.
ACM SIGPLAN NOTICES. 40(1):98-109

*Conference*

*CL-Check availability*

1
2
3
4
5
6
7
8
9
10
11
*Next*

*Remove Filters*

*eds_limiter_FT**eds_limiter_RV**eds_expander_fulltext*

*SourceEDS*

Complementary Index 63*number_thousands_separator*805 Gale General OneFile 10*number_thousands_separator*883 Gale Academic OneFile 10*number_thousands_separator*530 Gale Academic OneFile Select 3*number_thousands_separator*737 Gale eBooks 3*number_thousands_separator*663 BASE 3*number_thousands_separator*139 *more* ...

*sublabel_EDS*

*Showing* 1 - 20 *of* 93*number_thousands_separator*684

*pagination*

*pagination*

*Refine Results*

sublabel_EDS

Showing 1 - 20 of **93number_thousands_separator684**

pagination

pagination

Refine Results