The Experts below are selected from a list of 34917 Experts worldwide ranked by ideXlab platform

Gilad Bracha - One of the best experts on this subject based on the ideXlab platform.

  • the Java Language specification Java se 7 edition
    2013
    Co-Authors: James Gosling, Guy L Steele, Gilad Bracha, Alex Buckley
    Abstract:

    Written by the inventors of the technology, The Java Language Specification, Java SE 7 Edition, is the definitive technical reference for the Java Programming Language. The book provides complete, accurate, and detailed coverage of the Java Programming Language. It fully describes the new features added in Java SE 7, including the try-with-resources statement, multi-catch, precise rethrow, diamond syntax, strings-in-switch, and binary literals. The book also includes many explanatory notes, and carefully distinguishes the formal rules of the Language from the practical behavior of compilers.

  • the Java Language specification Java se 8 edition
    2013
    Co-Authors: James Gosling, Guy L Steele, Gilad Bracha, Alex Buckley
    Abstract:

    Written by the inventors of the technology, The Java Language Specification, Java SE 8 Edition is the definitive technical reference for the Java Programming Language. The book provides complete, accurate, and detailed coverage of the Java Programming Language. It fully describes the new features added in Java SE 8, including lambda expressions, method references, default methods, type annotations, and repeating annotations. The book also includes many explanatory notes and carefully distinguishes the formal rules of the Language from the practical behavior of compilers.

  • Java tm Language specification the 3rd edition Java addison wesley
    2005
    Co-Authors: James Gosling, Guy L Steele, Bill Joy, Gilad Bracha
    Abstract:

    Written by the inventors of the technology, The Java™ Language Specification, Third Edition, is the definitive technical reference for the Java™ Programming Language. If you want to know the precise meaning of the Language's constructs, this is the source for you.The book provides complete, accurate, and detailed coverage of the Java Programming Language. It provides full coverage of all new features added since the previous edition, including generics, annotations, asserts, autoboxing, enums, for-each loops, variable arity methods, and static import clauses.

  • adding wildcards to the Java Programming Language
    ACM Symposium on Applied Computing, 2004
    Co-Authors: Mads Torgersen, Christian Plesner Hansen, Erik Ernst, Gilad Bracha, Neal M Gafter
    Abstract:

    This paper describes wildcards, a new Language construct designed to increase the flexibility of object-oriented type systems with parameterized classes. Based on the notion of use-site variance, wildcards provide a type safe abstraction over different instantiations of parameterized classes, by using '?' to denote unspecified type arguments. Thus they essentially unify the distinct families of classes often introduced by parametric polymorphism. Wildcards are implemented as part of the upcoming addition of generics to the Java™ Programming Language, and will thus be deployed world-wide as part of the reference implementation of the Java compiler Javac available from Sun Microsystems, Inc. By providing a richer type system, wildcards allow for an improved type inference scheme for polymorphic method calls. Moreover, by means of a novel notion of wildcard capture, polymorphic methods can be used to give symbolic names to unspecified types, in a manner similar to the "open" construct known from existential types. Wildcards show up in numerous places in the Java Platform APIs of the upcoming release, and some of the examples in this paper are taken from these APIs.

  • Java Language specification second edition the Java series
    2000
    Co-Authors: James Gosling, Guy L Steele, Gilad Bracha
    Abstract:

    From the Publisher: Written by the inventors of the technology, The Java(tm) Language Specification, Second Edition is the definitive technical reference for the Java(tm) Programming Language. If you want to know the precise meaning of the Language's constructs, this is the source for you. The book provides complete, accurate, and detailed coverage of the syntax and semantics of the Java Programming Language. It describes all aspects of the Language, including the semantics of all types, statements, and expressions, as well as threads and binary compatibility.

Guy L Steele - One of the best experts on this subject based on the ideXlab platform.

  • the Java Language specification Java se 7 edition
    2013
    Co-Authors: James Gosling, Guy L Steele, Gilad Bracha, Alex Buckley
    Abstract:

    Written by the inventors of the technology, The Java Language Specification, Java SE 7 Edition, is the definitive technical reference for the Java Programming Language. The book provides complete, accurate, and detailed coverage of the Java Programming Language. It fully describes the new features added in Java SE 7, including the try-with-resources statement, multi-catch, precise rethrow, diamond syntax, strings-in-switch, and binary literals. The book also includes many explanatory notes, and carefully distinguishes the formal rules of the Language from the practical behavior of compilers.

  • the Java Language specification Java se 8 edition
    2013
    Co-Authors: James Gosling, Guy L Steele, Gilad Bracha, Alex Buckley
    Abstract:

    Written by the inventors of the technology, The Java Language Specification, Java SE 8 Edition is the definitive technical reference for the Java Programming Language. The book provides complete, accurate, and detailed coverage of the Java Programming Language. It fully describes the new features added in Java SE 8, including lambda expressions, method references, default methods, type annotations, and repeating annotations. The book also includes many explanatory notes and carefully distinguishes the formal rules of the Language from the practical behavior of compilers.

  • Java tm Language specification the 3rd edition Java addison wesley
    2005
    Co-Authors: James Gosling, Guy L Steele, Bill Joy, Gilad Bracha
    Abstract:

    Written by the inventors of the technology, The Java™ Language Specification, Third Edition, is the definitive technical reference for the Java™ Programming Language. If you want to know the precise meaning of the Language's constructs, this is the source for you.The book provides complete, accurate, and detailed coverage of the Java Programming Language. It provides full coverage of all new features added since the previous edition, including generics, annotations, asserts, autoboxing, enums, for-each loops, variable arity methods, and static import clauses.

  • Java Language specification second edition the Java series
    2000
    Co-Authors: James Gosling, Guy L Steele, Gilad Bracha
    Abstract:

    From the Publisher: Written by the inventors of the technology, The Java(tm) Language Specification, Second Edition is the definitive technical reference for the Java(tm) Programming Language. If you want to know the precise meaning of the Language's constructs, this is the source for you. The book provides complete, accurate, and detailed coverage of the syntax and semantics of the Java Programming Language. It describes all aspects of the Language, including the semantics of all types, statements, and expressions, as well as threads and binary compatibility.

  • compatible genericity with run time types for the Java Programming Language
    Conference on Object-Oriented Programming Systems Languages and Applications, 1998
    Co-Authors: Robert Cartwright, Guy L Steele
    Abstract:

    The most serious impediment to writing substantial programs in the Javat Programming Language is the lack of a gentricity mechanism for abstracting classes and methods with respect to type. During the past two years, several research groups have developed Java extensions that support various forms of genericity, but none has succeeded in accommodating general type parameterization (akin to Java arrays) while retaining compatibility with the existing. Java Virtual Machine. In this paper, we explain how to support general type parameterization---including both non-variant and covariant subtyping---on top of the existing Java Virtual Machine at the cost of a larger code footprint and the forwarding of some method calls involving parameterized classes and methods. Our Language extension is forward and backward compatible with the Java 1.2 Language and run-time environment: programs in the extended Language will run on existing Java 1.2 virtual machines (relying only on the unparameterized Java core libraries) and all existing Java 1.2 programs have the same binary representation and semantics (behavior) in the extended Language.

James Gosling - One of the best experts on this subject based on the ideXlab platform.

  • the Java Language specification Java se 7 edition
    2013
    Co-Authors: James Gosling, Guy L Steele, Gilad Bracha, Alex Buckley
    Abstract:

    Written by the inventors of the technology, The Java Language Specification, Java SE 7 Edition, is the definitive technical reference for the Java Programming Language. The book provides complete, accurate, and detailed coverage of the Java Programming Language. It fully describes the new features added in Java SE 7, including the try-with-resources statement, multi-catch, precise rethrow, diamond syntax, strings-in-switch, and binary literals. The book also includes many explanatory notes, and carefully distinguishes the formal rules of the Language from the practical behavior of compilers.

  • the Java Language specification Java se 8 edition
    2013
    Co-Authors: James Gosling, Guy L Steele, Gilad Bracha, Alex Buckley
    Abstract:

    Written by the inventors of the technology, The Java Language Specification, Java SE 8 Edition is the definitive technical reference for the Java Programming Language. The book provides complete, accurate, and detailed coverage of the Java Programming Language. It fully describes the new features added in Java SE 8, including lambda expressions, method references, default methods, type annotations, and repeating annotations. The book also includes many explanatory notes and carefully distinguishes the formal rules of the Language from the practical behavior of compilers.

  • Java tm Language specification the 3rd edition Java addison wesley
    2005
    Co-Authors: James Gosling, Guy L Steele, Bill Joy, Gilad Bracha
    Abstract:

    Written by the inventors of the technology, The Java™ Language Specification, Third Edition, is the definitive technical reference for the Java™ Programming Language. If you want to know the precise meaning of the Language's constructs, this is the source for you.The book provides complete, accurate, and detailed coverage of the Java Programming Language. It provides full coverage of all new features added since the previous edition, including generics, annotations, asserts, autoboxing, enums, for-each loops, variable arity methods, and static import clauses.

  • Java Language specification second edition the Java series
    2000
    Co-Authors: James Gosling, Guy L Steele, Gilad Bracha
    Abstract:

    From the Publisher: Written by the inventors of the technology, The Java(tm) Language Specification, Second Edition is the definitive technical reference for the Java(tm) Programming Language. If you want to know the precise meaning of the Language's constructs, this is the source for you. The book provides complete, accurate, and detailed coverage of the syntax and semantics of the Java Programming Language. It describes all aspects of the Language, including the semantics of all types, statements, and expressions, as well as threads and binary compatibility.

  • the Java Language specification
    1996
    Co-Authors: James Gosling, Guy L Steele
    Abstract:

    From the Publisher: Written by the inventors of the technology, The Java(tm) Language Specification, Second Edition is the definitive technical reference for the Java(tm) Programming Language. If you want to know the precise meaning of the Language's constructs, this is the source for you. The book provides complete, accurate, and detailed coverage of the syntax and semantics of the Java Programming Language. It describes all aspects of the Language, including the semantics of all types, statements, and expressions, as well as threads and binary compatibility.

B.l. Latorre - One of the best experts on this subject based on the ideXlab platform.

  • VisualJVM: A Visual Tool for Teaching Java Technology
    IEEE Transactions on Education, 2008
    Co-Authors: P.p.g. Abenza, A.g. Olivo, B.l. Latorre
    Abstract:

    This paper presents a laboratory session of an advanced Programming course to introduce students to the technology involved with the Java Programming Language. In this special lab session the educational software tool VisualJVM is used, providing a graphical front-end to a Java virtual machine (JVM). This tool helps students learn about JVM architecture, learn how JVM works, and consequently, to understand why a Java program is platform independent. The student reaction to this experience was very positive and the authors are planning to use the tool in other contexts.

Alex Buckley - One of the best experts on this subject based on the ideXlab platform.

  • the Java Language specification Java se 7 edition
    2013
    Co-Authors: James Gosling, Guy L Steele, Gilad Bracha, Alex Buckley
    Abstract:

    Written by the inventors of the technology, The Java Language Specification, Java SE 7 Edition, is the definitive technical reference for the Java Programming Language. The book provides complete, accurate, and detailed coverage of the Java Programming Language. It fully describes the new features added in Java SE 7, including the try-with-resources statement, multi-catch, precise rethrow, diamond syntax, strings-in-switch, and binary literals. The book also includes many explanatory notes, and carefully distinguishes the formal rules of the Language from the practical behavior of compilers.

  • the Java Language specification Java se 8 edition
    2013
    Co-Authors: James Gosling, Guy L Steele, Gilad Bracha, Alex Buckley
    Abstract:

    Written by the inventors of the technology, The Java Language Specification, Java SE 8 Edition is the definitive technical reference for the Java Programming Language. The book provides complete, accurate, and detailed coverage of the Java Programming Language. It fully describes the new features added in Java SE 8, including lambda expressions, method references, default methods, type annotations, and repeating annotations. The book also includes many explanatory notes and carefully distinguishes the formal rules of the Language from the practical behavior of compilers.