scientific article

Bill Joy, James Gosling, Guy L. jun. Steele

Publication date: 3 March 1997

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Java context-free grammars object-oriented language

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of programming languages (68N15)

Related Items (95)

A domain-theoretic model of nominally-typed object-oriented programming ⋮ Feature-oriented programming: A new way of object composition ⋮ Confined types in Java ⋮ JAC—Access right based encapsulation for Java ⋮ Partial redundancy elimination for access path expressions ⋮ Coping with aliasing in the GNU Eiffel Compiler implementation ⋮ Semi-automatic grammar recovery ⋮ Security in the Ajanta mobile agent system ⋮ Java based replicated server objects and their remote method invocations in a distributed environment ⋮ An enhanced thread synchronization mechanism for Java ⋮ Verified bytecode verification and type-certifying compilation ⋮ A stochastic load balancing algorithm for i-Computing ⋮ Principality and type inference for intersection types using expansion variables ⋮ An inheritance flow model for class hierarchy analysis ⋮ Initialization problems for Java ⋮ What is a sorting function? ⋮ Some observations on LR-like parsing with delayed reduction ⋮ Compilation of extended recursion in call-by-value functional languages ⋮ A platform-independent distributed runtime for standard multithreaded Java ⋮ Creol: A type-safe object-oriented model for distributed concurrent systems ⋮ Are the logical foundations of verifying compiler prototypes matching user expectations? ⋮ A flexible model for dynamic linking in Java and C\# ⋮ Model checking a cache coherence protocol of a Java DSM implementation ⋮ Recognition is not parsing - SPPF-style parsing from cubic recognisers ⋮ An experimental ambiguity detection tool ⋮ An algebraic approach to the design of compilers for object-oriented languages ⋮ Semantic types and approximation for Featherweight Java ⋮ Estimation of dynamical characteristics of a parallel program on a model ⋮ A scalable module system ⋮ Improving type error messages for generic Java ⋮ A domain-theoretic semantics of lax generic functions. ⋮ Mathematical context in interactive documents ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Hoare logic for Java in Isabelle/HOL ⋮ Thread algebra for poly-threading ⋮ Agent deliberation in an executable temporal framework ⋮ Unnamed Item ⋮ On the interpretation of mathematical entities in the formalisation of programming and modelling languages ⋮ A pattern for almost compositional functions ⋮ Productivity prediction of MPI programs based on models ⋮ Typing Local Control and State Using Flow Analysis ⋮ Jaguar: enabling efficient communication and I/O in Java ⋮ COMPILE-TIME ANALYSIS AND OPTIMIZATION OF EXPLICITLY PARALLEL PROGRAMS* ⋮ Thread algebra for strategic interleaving ⋮ Unnamed Item ⋮ An efficient object promotion algorithm for persistent object systems ⋮ Reducing the overhead of dynamic compilation ⋮ Class invariants as abstract interpretation of trace semantics ⋮ Regular languages viewed from a graph-theoretic perspective ⋮ Coalgebras for Binary Methods: Properties of Bisimulations and Invariants ⋮ Modeling and visualizing object-oriented programs with Codecharts ⋮ Process algebra with strategic interleaving ⋮ Strategies for the efficient exploitation of loop-level parallelism in Java ⋮ High-performance file I/O in Java: Existing approaches and bulk I/O extensions ⋮ Using JavaNws to compare C and Java TCP-Socket performance ⋮ Statically safe program generation with SafeGen ⋮ NTGsim: A graphical user interface and a 3D simulator for nonlinear trajectory generation methodology ⋮ Using abstract interpretation to add type checking for interfaces in Java bytecode verification ⋮ An assertion-based proof system for multithreaded Java ⋮ Personal mobility support in future service architectures ⋮ Program transformations for light-weight CPU accounting and control in the Java virtual machine ⋮ Non-intrusive object introspection in C++ ⋮ Fast portable orthogonally persistent JavaTM ⋮ Design of the Kan distributed object system ⋮ Teaching Concurrency Concepts to Freshmen ⋮ Compact and efficient strings for Java ⋮ WIRED -- world wide web interactive remote event display. ⋮ C++ lambda expressions and closures ⋮ Integrating coercion with subtyping and multiple dispatch ⋮ Quantifying and evaluating the space overhead for alternative C++ memory layouts ⋮ Verification of Software Product Lines with Delta-Oriented Slicing ⋮ Cibai: An Abstract Interpretation-Based Static Analyzer for Modular Analysis and Verification of Java Classes ⋮ Machine structure oriented control code logic ⋮ CHR for Imperative Host Languages ⋮ Refinement and verification in component-based model-driven design ⋮ Abstract interface behavior of object-oriented languages with monitors ⋮ Principal Types for Nominal Theories ⋮ SMV: Selective Multi-Versioning STM ⋮ Full Abstraction at Package Boundaries of Object-Oriented Languages ⋮ Revised6 Report on the Algorithmic Language Scheme ⋮ Mobile ambients ⋮ A minimalist approach to objects ⋮ A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs ⋮ Verification of Java Programs with Generics ⋮ Using heuristic search for finding deadlocks in concurrent systems ⋮ Comparative performance evaluation of Java threads for embedded applications: Linux Thread vs. Green Thread. ⋮ Coalgebras and monads in the semantics of Java ⋮ Specification languages in algebraic compilers ⋮ Modular statically typed multimethods ⋮ Type inference for variant object types ⋮ On inner classes ⋮ View-based propagator derivation ⋮ Program algebra with unit instruction operators ⋮ Recovering distributed objects

This page was built for publication: