MultiJava: modular open classes and symmetric multiple dispatch for Java
OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Application isolation in the Java Virtual Machine
OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Specifying internet applications with DiCons
Proceedings of the 2001 ACM symposium on Applied computing
Kava: a Java dialect with a uniform object model for lightweight classes
Proceedings of the 2001 joint ACM-ISCOPE conference on Java Grande
Adaptive interaction for enabling pervasive services
Proceedings of the 2nd ACM international workshop on Data engineering for wireless and mobile access
A framework for efficient reuse of binary code in Java
ICS '01 Proceedings of the 15th international conference on Supercomputing
Modeling weakly consistent memories with locks
Proceedings of the thirteenth annual ACM symposium on Parallel algorithms and architectures
Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation
Formalizing the safety of Java, the Java virtual machine, and Java card
ACM Computing Surveys (CSUR)
A core calculus for Java exceptions
OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Jiazzi: new-age components for old-fasioned Java
OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Real-time convergence of Ada and Java™
Proceedings of the 2001 annual ACM SIGAda international conference on Ada
Extensible algebraic datatypes with defaults
Proceedings of the sixth ACM SIGPLAN international conference on Functional programming
Good design principles in a compiler university course
ACM SIGPLAN Notices
Proceedings of the International Workshop on Principles of Software Evolution
SOMA: a paradigm to evolve software based on separation of concerns
Proceedings of the International Workshop on Principles of Software Evolution
Experiences in porting a virtual reality system to Java
AFRIGRAPH '01 Proceedings of the 1st international conference on Computer graphics, virtual reality and visualisation
Adapting Tomasulo's algorithm for bytecode folding based Java processors
ACM SIGARCH Computer Architecture News - Special Issue: PACT 2001 workshops
Using indexed data structures for program specialization
ASIA-PEPM '02 Proceedings of the ASIAN symposium on Partial evaluation and semantics-based program manipulation
A side-by-side comparison of exception handling in Ada and Java
ACM SIGAda Ada Letters - Exception handling for a 21st century programming language proceedings
True separate compilation of Java classes
Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming
Modular typechecking for hierarchically extensible datatypes and functions
Proceedings of the seventh ACM SIGPLAN international conference on Functional programming
Ensuring code safety without runtime checks for real-time control systems
CASES '02 Proceedings of the 2002 international conference on Compilers, architecture, and synthesis for embedded systems
Implementing distribution and persistence aspects with aspectJ
OOPSLA '02 Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Language-specific make technology for the Java programming language
OOPSLA '02 Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Open runtime platform: flexibility with performance using interfaces
JGI '02 Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande
Adding tuples to Java: a study in lightweight data structures
JGI '02 Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande
Overview of excelsior JET, a high performance alternative to java virtual machines
WOSP '02 Proceedings of the 3rd international workshop on Software and performance
Asynchronous transfer of control in the real-time specification for java™
IRTAW '02 Proceedings of the 11th international workshop on Real-time Ada workshop
Practical extraction techniques for Java
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Theory of Object-Oriented Design
Information Systems Frontiers
An Operational Approach to the Semantics of Classes: Application to Type Checking
Programming and Computing Software
Efficiently Adapting Java Binaries in Limited Memory Contexts
International Journal of Parallel Programming
Interfaces with default implementations in Java
PPPJ '02/IRE '02 Proceedings of the inaugural conference on the Principles and Practice of programming, 2002 and Proceedings of the second workshop on Intermediate representation engineering for virtual machines, 2002
An open framework for data-flow analysis in Java: extended abstract
PPPJ '02/IRE '02 Proceedings of the inaugural conference on the Principles and Practice of programming, 2002 and Proceedings of the second workshop on Intermediate representation engineering for virtual machines, 2002
Coalgebras and monads in the semantics of java
Theoretical Computer Science - Special issue: Algebraic methodology and software technology
A case for statically executable advice: checking the law of demeter with AspectJ
Proceedings of the 2nd international conference on Aspect-oriented software development
Conceptual Modeling of Complex Systems Using an RM-ODP Based Ontology
EDOC '01 Proceedings of the 5th IEEE International Conference on Enterprise Distributed Object Computing
A Formalisation of Java's Exception Mechanism
ESOP '01 Proceedings of the 10th European Symposium on Programming Languages and Systems
Trustless Grid Computing in ConCert
GRID '02 Proceedings of the Third International Workshop on Grid Computing
The MICROBE Benchmarking Toolkit for Java: A Component-Based Approach
ICCS '02 Proceedings of the International Conference on Computational Science-Part II
Pini - A Jini-Like Plug&Play Technology for the KVM/CLDC
IICS '01 Proceedings of the International Workshop on Innovative Internet Computing Systems
A formal model of the java multi-threading system and its validation on a known problem
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
A Most Specific Method Finding Algorithm for Reflection Based Dynamic Prolog-to-Java Interfaces
PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
PADO '01 Proceedings of the Second Symposium on Programs as Data Objects
Sharing Objects by Read-Only References
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
A Formal Framework for Java Separate Compilation
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
Polychotomic Encoding: A Better Quasi-Optimal Bit-Vector Encoding of Tree Hierarchies
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
J-Orchestra: Automatic Java Application Partitioning
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
Type-Safe Prototype-Based Component Evolution
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
Difference-Based Modules: A Class-Independent Module Mechanism
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
Automatic Specialization of Java Programs in the Distributed Environment
ICOIN '02 Revised Papers from the International Conference on Information Networking, Wireless Communications Technologies and Network Applications-Part II
The LOOP Compiler for Java and JML
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
CHASE: A Static Checker for JML's Assignable Clause
VMCAI 2003 Proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation
Can Java Meet Its Real-Time Deadlines?
Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
Ada-Europe '02 Proceedings of the 7th Ada-Europe International Conference on Reliable Software Technologies
ECOOP '01 Proceedings of the Workshops on Object-Oriented Technology
An Operational Semantics of the Java Card Firewall
E-SMART '01 Proceedings of the International Conference on Research in Smart Cards: Smart Card Programming and Security
Design for Reuse via Structuring Techniques for ASMs
Computer Aided Systems Theory - EUROCAST 2001-Revised Papers
A Dynamic Logic for the Formal Verification of Java Card Programs
JavaCard '00 Revised Papers from the First International Workshop on Java on Smart Cards: Programming and Security
Nickle: Language Principles and Pragmatics
Proceedings of the FREENIX Track: 2001 USENIX Annual Technical Conference
An Introduction to Functional Nets
Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
Effective Enhancement of Loop Versioning in Java
CC '02 Proceedings of the 11th International Conference on Compiler Construction
Dynamic Replacement of Active Objects in the Gilgul Programming Language
CD '02 Proceedings of the IFIP/ACM Working Conference on Component Deployment
Evolution of Distributed Java Programs
CD '02 Proceedings of the IFIP/ACM Working Conference on Component Deployment
CD '02 Proceedings of the IFIP/ACM Working Conference on Component Deployment
Supporting Binary Compatibility with Static Compilation
Proceedings of the 2nd Java Virtual Machine Research and Technology Symposium
JaRTS: A Portable Implementation of Real-Time Core Extensions for Java
Proceedings of the 2nd Java Virtual Machine Research and Technology Symposium
Code Sharing among Virtual Machines
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
Nordic Journal of Computing
Memory safety without runtime checks or garbage collection
Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems
Mechanisms for secure modular programming in Java
Software—Practice & Experience - Special issue: Security software
ICS '03 Proceedings of the 17th annual international conference on Supercomputing
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
Monotonicity and Partial Results Protection for Mobile Agents
ICDCS '03 Proceedings of the 23rd International Conference on Distributed Computing Systems
AGATE, Access Graph-Based Tools for Handling Encapsulation
Proceedings of the 16th IEEE international conference on Automated software engineering
Completeness of a Bytecode Verifier and a Certifying Java-to-JVM Compiler
Journal of Automated Reasoning
Jam---designing a Java extension with mixins
ACM Transactions on Programming Languages and Systems (TOPLAS)
Formal Semantics of Java Expressions and Statements
Programming and Computing Software
Dynamically scoped functions as the essence of AOP
ACM SIGPLAN Notices
RacerX: effective, static detection of race conditions and deadlocks
SOSP '03 Proceedings of the nineteenth ACM symposium on Operating systems principles
Refactoring for generalization using type constraints
OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications
Relaxed MultiJava: balancing extensibility and modular typechecking
OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications
LLVA: A Low-level Virtual Instruction Set Architecture
Proceedings of the 36th annual IEEE/ACM International Symposium on Microarchitecture
A practical comparison between Java and Ada in implementing a real-time embedded system
Proceedings of the 2003 annual ACM SIGAda international conference on Ada: the engineering of correct and reliable software for real-time & distributed systems using ada and related technologies
Support of Java API for the jHISC system
ACM SIGARCH Computer Architecture News
Technology for Testing Nondeterministic Client/Server Database Applications
IEEE Transactions on Software Engineering
Support of Java API for the jHISC system
ISICT '03 Proceedings of the 1st international symposium on Information and communication technologies
Formalization of generics for the .NET common language runtime
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
On the design of global object space for efficient multi-threading Java computing on clusters
Parallel Computing - Special issue: Parallel and distributed scientific and engineering computing
The inheritance anomaly: ten years after
Proceedings of the 2004 ACM symposium on Applied computing
Another step towards a smart compilation manager for Java
Proceedings of the 2004 ACM symposium on Applied computing
SmartMethod: an efficient replacement for method
Proceedings of the 2004 ACM symposium on Applied computing
Untangling: a slice extraction refactoring
Proceedings of the 3rd international conference on Aspect-oriented software development
ICDCSW '04 Proceedings of the 24th International Conference on Distributed Computing Systems Workshops - W7: EC (ICDCSW'04) - Volume 7
Distributed versioning model for MOF
WISICT '04 Proceedings of the winter international synposium on Information and communication technologies
Advanced obfuscation techniques for Java bytecode
Journal of Systems and Software
Fragment Class Analysis for Testing of Polymorphism in Java Software
IEEE Transactions on Software Engineering
Journal of Systems and Software
Static and dynamic analysis of call chains in java
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Extensible objects without labels
ACM Transactions on Programming Languages and Systems (TOPLAS)
Modular typechecking for hierarchically extensible datatypes and functions
ACM Transactions on Programming Languages and Systems (TOPLAS)
Software prefetching for mark-sweep garbage collection: hardware analysis and software redesign
ASPLOS XI Proceedings of the 11th international conference on Architectural support for programming languages and operating systems
A Portable CPU-Management Framework for Java
IEEE Internet Computing
Formal Support for Development of JavaBeans" Component Systems
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
Advancements in multicode optimization
OOPSLA '04 Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Deriving refactorings for aspectJ
OOPSLA '04 Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Converting Java classes to use generics
OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Scalable extensibility via nested inheritance
OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Chianti: a tool for change impact analysis of java programs
OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Proceedings of the 2004 annual ACM SIGAda international conference on Ada: The engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies
A quantitative analysis of the performance impact of specialized bytecodes in java
CASCON '04 Proceedings of the 2004 conference of the Centre for Advanced Studies on Collaborative research
Inheritance processing and conflicts in structural generalization hierarchies
ACM Computing Surveys (CSUR)
A Reflective Implementation of Java Multi-Methods
IEEE Transactions on Software Engineering
Extending a J2EE™ server with dynamic and flexible resource management
Proceedings of the 5th ACM/IFIP/USENIX international conference on Middleware
P#: a concurrent prolog for the .NET framework
Software—Practice & Experience
Why matrix manipulation should be done in C++
Journal of Computing Sciences in Colleges
Some remarks on teaching of programming
CompSysTech '04 Proceedings of the 5th international conference on Computer systems and technologies
An efficient and reliable object-oriented exception handling mechanism
ACM SIGPLAN Notices
Parametric polymorphism for Java: is there any hope in sight?
ACM SIGPLAN Notices
Mylar: a degree-of-interest model for IDEs
Proceedings of the 4th international conference on Aspect-oriented software development
Memory safety without garbage collection for embedded applications
ACM Transactions on Embedded Computing Systems (TECS)
Methodology and architecture of JIVE
SoftVis '05 Proceedings of the 2005 ACM symposium on Software visualization
Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation
Improving java virtual machine reliability for memory-constrained embedded systems
Proceedings of the 42nd annual Design Automation Conference
JTutor: an Eclipse plug-in suite for creation and replay of code-based tutorials
eclipse '04 Proceedings of the 2004 OOPSLA workshop on eclipse technology eXchange
Isolation-only transactions by typing and versioning
PPDP '05 Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming
Profile-driven code unloading for resource-constrained JVMs
Proceedings of the 3rd international symposium on Principles and practice of programming in Java
ACM Transactions on Architecture and Code Optimization (TACO)
Supporting software composition at the programming language level
Science of Computer Programming - Special issue on new software composition concepts
The KaffeOS Java runtime system
ACM Transactions on Programming Languages and Systems (TOPLAS)
Maintaining program understanding: issues, tools, and future directions
Nordic Journal of Computing
Factorising temporal specifications
CATS '05 Proceedings of the 2005 Australasian symposium on Theory of computing - Volume 41
PL-detective: A system for teaching programming language concepts
Journal on Educational Resources in Computing (JERIC)
A component-oriented software authoring system for exploratory visualization
Future Generation Computer Systems
Z0 - a tiny experimental language
ACM SIGPLAN Notices
KERIS: evolving software with extensible modules: Research Articles
Journal of Software Maintenance and Evolution: Research and Practice - Unanticipated Software Evolution
Scalable component abstractions
OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Javari: adding reference immutability to Java
OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
X10: an object-oriented approach to non-uniform cluster computing
OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Concurrent clustered programming
CONCUR 2005 - Concurrency Theory
Precise identification of composition relationships for UML class diagrams
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Link-time static analysis for efficient separate compilation of object-oriented languages
PASTE '05 Proceedings of the 6th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
ACM Transactions on Programming Languages and Systems (TOPLAS)
Proving Correctness of JavaCard DL Taclets using Bali
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Object Oriented Verification Kernels for Secure Java Applications
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Logical Foundations of Program Assertions: What do Practitioners Want?
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Runtime recovery and manipulation of software architecture of component-based systems
Automated Software Engineering
Using heuristic search for finding deadlocks in concurrent systems
Information and Computation
Preliminary design of JML: a behavioral interface specification language for java
ACM SIGSOFT Software Engineering Notes
Portable and accurate sampling profiling for Java
Software—Practice & Experience - Research Articles
MultiJava: Design rationale, compiler implementation, and applications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Static check analysis for Java stack inspection
ACM SIGPLAN Notices
A proof outline logic for object-oriented programming
Theoretical Computer Science - Formal methods for components and objects
A framework for implementing pluggable type systems
Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Understanding the shape of Java software
Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Schedulable persistence system for teal-time applications in virtual machine
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
CS1 programming language options
Journal of Computing Sciences in Colleges
Creol: a type-safe object-oriented model for distributed concurrent systems
Theoretical Computer Science - Components and objects
Programming with exceptions in JCilk
Science of Computer Programming - Special issue: Synchronization and concurrency in object-oriented languages
An extended comparative study of language support for generic programming
Journal of Functional Programming
A method of obtaining verified solutions for linear systems suited for Java
Journal of Computational and Applied Mathematics - Special issue: Scientific computing, computer arithmetic, and validated numerics (SCAN 2004)
Towards a type system for detecting never-matching pointcut compositions
Proceedings of the 6th workshop on Foundations of aspect-oriented languages
A metainformatical view of collections
MIS '05 Proceedings of the 2005 symposia on Metainformatics
Creating Java to Native Code Interfaces with Janet
Scientific Programming
Reifying wildcards in Java using the EGO approach
Proceedings of the 2007 ACM symposium on Applied computing
Real-time Java processor optimized for RTSJ
Proceedings of the 2007 ACM symposium on Applied computing
Behavioral similarity matching using concrete source code templates in logic queries
Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
ATEC '03 Proceedings of the annual conference on USENIX Annual Technical Conference
Identifying Failure Causes in Java Programs: An Application of Change Impact Analysis
IEEE Transactions on Software Engineering
A general framework for certifying garbage collectors and their mutators
Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation
Design, implementation, and evaluation of a compilation server
ACM Transactions on Programming Languages and Systems (TOPLAS)
Detecting data races using dynamic escape analysis based on read barrier
VM'04 Proceedings of the 3rd conference on Virtual Machine Research And Technology Symposium - Volume 3
SableVM: a research framework for the efficient execution of java bytecode
JVM'01 Proceedings of the 2001 Symposium on JavaTM Virtual Machine Research and Technology Symposium - Volume 1
Multi-dispatch in the Java virtual machine: design and implementation
COOTS'01 Proceedings of the 6th conference on USENIX Conference on Object-Oriented Technologies and Systems - Volume 6
Java+ITP: A Verification Tool Based on Hoare Logic and Algebraic Semantics
Electronic Notes in Theoretical Computer Science (ENTCS)
An empirical study of cycles among classes in Java
Empirical Software Engineering
Composition inference for UML class diagrams
Automated Software Engineering
Status report: specifying javascript with ML
ML '07 Proceedings of the 2007 workshop on Workshop on ML
Supporting exception handling for futures in Java
Proceedings of the 5th international symposium on Principles and practice of programming in Java
The jastadd extensible java compiler
Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
User-changeable visibility: resolving unanticipated name clashes in traits
Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
Automatic inference of stationary fields: a generalization of java's final fields
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The pitfalls of verifying floating-point computations
ACM Transactions on Programming Languages and Systems (TOPLAS)
A theory of system behaviour in the presence of node and link failure
Information and Computation
Program transformations for light-weight CPU accounting and control in the Java virtual machine
Higher-Order and Symbolic Computation
A metric for software readability
ISSTA '08 Proceedings of the 2008 international symposium on Software testing and analysis
LeakSurvivor: towards safely tolerating memory leaks for garbage-collected languages
ATC'08 USENIX 2008 Annual Technical Conference on Annual Technical Conference
Proceedings of the 2008 ACM SIGPLAN workshop on ML
A framework for command processing in Java/Swing programs based on the MVC pattern
Proceedings of the 6th international symposium on Principles and practice of programming in Java
A lazy developer approach: building a JVM with third party software
Proceedings of the 6th international symposium on Principles and practice of programming in Java
Linking Programs to Architectures: An Object-Oriented Hierarchical Software Model Based on Boxes
The Common Component Modeling Example
Non-blocking root scanning for real-time garbage collection
JTRES '08 Proceedings of the 6th international workshop on Java technologies for real-time and embedded systems
Efficient local type inference
Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
Decomposing bytecode verification by abstract interpretation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Achieving causal and total ordering in publish/subscribe middleware with DSM
Proceedings of the 3rd workshop on Middleware for service oriented computing
Teaching Concurrency Concepts to Freshmen
Transactions on Petri Nets and Other Models of Concurrency I
Exception Handlers as Extensible Cases
APLAS '08 Proceedings of the 6th Asian Symposium on Programming Languages and Systems
Mostly-Functional Behavior in Java Programs
VMCAI '09 Proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation
The art of the meta-aspect protocol
Proceedings of the 8th ACM international conference on Aspect-oriented software development
Methods as Parameters: A Preprocessing Approach to Higher Order in Java
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Zero-a blend of static typing and dynamic metaprogramming
Computer Languages, Systems and Structures
As-if-serial exception handling semantics for Java futures
Science of Computer Programming
Detecting Theft of Java Applications via a Static Birthmark Based on Weighted Stack Patterns
IEICE - Transactions on Information and Systems
JavaΩ: The Structures and the Implementation of a Preprocessor for Java with m and mc parameters
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
An access control framework for reflective middleware
Journal of Computer Science and Technology
Providing temporal isolation in the OSGi framework
Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems
Groovy package templates: supporting reuse and runtime adaption of class hierarchies
DLS '09 Proceedings of the 5th symposium on Dynamic languages
Java active extensions: Scalable middleware for performance-isolated remote execution
Computer Communications
Virtual-Machine Abstraction and Optimization Techniques
Electronic Notes in Theoretical Computer Science (ENTCS)
JavaCOP: Declarative pluggable types for java
ACM Transactions on Programming Languages and Systems (TOPLAS)
Class loading issues in Java™ RMI and Jini™ network technology
Class loading issues in Java™ RMI and Jini™ network technology
Forecasting product sales with dynamic linear mixture models
Forecasting product sales with dynamic linear mixture models
A comparative study of persistence mechanisms for the Java™ platform
A comparative study of persistence mechanisms for the Java™ platform
Mobile agent strategies for the provision of public goods: An experimental study
Electronic Commerce Research and Applications
Refactoring-aware versioning in Eclipse
Electronic Notes in Theoretical Computer Science (ENTCS)
A Run-Time Environment for Concurrent Objects With Asynchronous Method Calls
Electronic Notes in Theoretical Computer Science (ENTCS)
Using Bytecode Instruction Counting as Portable CPU Consumption Metric
Electronic Notes in Theoretical Computer Science (ENTCS)
A component-oriented software authoring system for exploratory visualization
Future Generation Computer Systems
Using heuristic search for finding deadlocks in concurrent systems
Information and Computation
VMKit: a substrate for managed runtime environments
Proceedings of the 6th ACM SIGPLAN/SIGOPS international conference on Virtual execution environments
An architecture for composing embedded domain-specific languages
Proceedings of the 9th International Conference on Aspect-Oriented Software Development
Ada-Europe'03 Proceedings of the 8th Ada-Europe international conference on Reliable software technologies
Obfuscating Java: the most pain for the least gain
CC'07 Proceedings of the 16th international conference on Compiler construction
ICCS'03 Proceedings of the 2003 international conference on Computational science: PartIII
Java as a functional programming language
TYPES'02 Proceedings of the 2002 international conference on Types for proofs and programs
VMCAI'07 Proceedings of the 8th international conference on Verification, model checking, and abstract interpretation
Visualization of permission checks in java using static analysis
WISA'06 Proceedings of the 7th international conference on Information security applications: PartI
MIS'02 Proceedings of the 2002 international conference on Metainformatics
Component adaptation in contemporary execution environments
DAIS'07 Proceedings of the 7th IFIP WG 6.1 international conference on Distributed applications and interoperable systems
ICHIT'06 Proceedings of the 1st international conference on Advances in hybrid information technology
Matchete: paths through the pattern matching jungle
PADL'08 Proceedings of the 10th international conference on Practical aspects of declarative languages
HiPEAC'08 Proceedings of the 3rd international conference on High performance embedded architectures and compilers
On revival of Algol-concepts in modern programming and specification languages
Formal methods and hybrid real-time systems
Enhancing Java security with history based access control
Foundations of security analysis and design IV
A thread calculus with molecular dynamics
Information and Computation
Infering ownership types for encapsulated object-oriented program components
Program analysis and compilation, theory and practice
Verification of object-oriented software: The KeY approach
Verification of object-oriented software: The KeY approach
Proceedings of the 3rd international conference on Security of information and networks
Controlling dynamic module composition through an extensible meta-level API
Proceedings of the 6th symposium on Dynamic languages
Babylon v2.0: middleware for distributed, parallel, and mobile java applications
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Exploiting dynamic proxies in middleware for distributed, parallel, and mobile java applications
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
On the effectiveness of speculative and selective memory fences
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Adapting software fault isolation to contemporary CPU architectures
USENIX Security'10 Proceedings of the 19th USENIX conference on Security
Language convergence infrastructure
GTTSE'09 Proceedings of the 3rd international summer school conference on Generative and transformational techniques in software engineering III
Recovering grammar relationships for the Java Language Specification
Software Quality Control
Titanium performance and potential: an NPB experimental study
LCPC'05 Proceedings of the 18th international conference on Languages and Compilers for Parallel Computing
Modular specification of encapsulated object-oriented components
FMCO'05 Proceedings of the 4th international conference on Formal Methods for Components and Objects
Filtering for private collaborative benchmarking
ETRICS'06 Proceedings of the 2006 international conference on Emerging Trends in Information and Communication Security
Collective communications for scalable programming
ISPA'05 Proceedings of the Third international conference on Parallel and Distributed Processing and Applications
Automatic validation of transformation rules for java verification against a rewriting semantics
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
A comparison of the mutual exclusion features in ada and the real-time specification for JavaTM
Ada-Europe'05 Proceedings of the 10th Ada-Europe international conference on Reliable Software Technologies
The implementation of ada 2005 interface types in the GNAT compiler
Ada-Europe'05 Proceedings of the 10th Ada-Europe international conference on Reliable Software Technologies
Concurrent constraint-based memory machines: a framework for java memory models (summary)
ASIAN'04 Proceedings of the 9th Asian Computing Science conference on Advances in Computer Science: dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birthday
The research on how to reduce the number of EEPROM writing to improve speed of java card
ICESS'05 Proceedings of the Second international conference on Embedded Software and Systems
EUC'05 Proceedings of the 2005 international conference on Embedded and Ubiquitous Computing
A high performance buffering of java objects for java card systems with flash memory
EUC'06 Proceedings of the 2006 international conference on Emerging Directions in Embedded and Ubiquitous Computing
XAMM: a high-performance automatic memory management system with memory-constrained designs
HiPEAC'05 Proceedings of the First international conference on High Performance Embedded Architectures and Compilers
Controlling object allocation using creation guards
FM'05 Proceedings of the 2005 international conference on Formal Methods
A mechanism for secure, fine-grained dynamic provisioning of applications on small devices
CASSIS'04 Proceedings of the 2004 international conference on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Extending standard java runtime systems for resource management
SEM'04 Proceedings of the 4th international conference on Software Engineering and Middleware
Algebraic properties of interfaces
Formal Methods in Software and Systems Modeling
Java JR: fully abstract trace semantics for a core java language
ESOP'05 Proceedings of the 14th European conference on Programming Languages and Systems
Automatic implementation of programming language consistency models
LCPC'02 Proceedings of the 15th international conference on Languages and Compilers for Parallel Computing
Specification and verification of encapsulation in java programs
FMOODS'05 Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Loosely-separated “sister” namespaces in java
ECOOP'05 Proceedings of the 19th European conference on Object-Oriented Programming
Sharing the runtime representation of classes across class loaders
ECOOP'05 Proceedings of the 19th European conference on Object-Oriented Programming
Formal modeling of a slicing algorithm for java event spaces in PVS
TPHOLs'05 Proceedings of the 18th international conference on Theorem Proving in Higher Order Logics
Deterministic parallel random-number generation for dynamic-multithreading platforms
Proceedings of the 17th ACM SIGPLAN symposium on Principles and Practice of Parallel Programming
Transparent and dynamic code offloading for java applications
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part II
Checking JML specifications with b machines
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
Transparent fault tolerance for grid applications
EGC'05 Proceedings of the 2005 European conference on Advances in Grid Computing
A p2p approach to classloading in java
AP2PC'03 Proceedings of the Second international conference on Agents and Peer-to-Peer Computing
Role-Based declarative synchronization for reconfigurable systems
PADL'05 Proceedings of the 7th international conference on Practical Aspects of Declarative Languages
Enforcer – efficient failure injection
FM'06 Proceedings of the 14th international conference on Formal Methods
Modular name analysis for java using jastadd
GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering
Responders: language support for interactive applications
ECOOP'06 Proceedings of the 20th European conference on Object-Oriented Programming
Abstract interface behavior of object-oriented languages with monitors
FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Simulating multiple inheritance and generics in Java
Computer Languages
Window brokers: Collaborative display space control
ACM Transactions on Computer-Human Interaction (TOCHI)
JavaΩ: The Structures and the Implementation of a Preprocessor for Java with m and mc parameters
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Methods as Parameters: A Preprocessing Approach to Higher Order in Java
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Hierarchical pointer analysis for distributed programs
SAS'07 Proceedings of the 14th international conference on Static Analysis
Exception handling: a field study in Java and .NET
ECOOP'07 Proceedings of the 21st European conference on Object-Oriented Programming
A higher abstraction level using first-class inheritance relations
ECOOP'07 Proceedings of the 21st European conference on Object-Oriented Programming
Combining traits with boxes and ownership types in a Java-like setting
Science of Computer Programming
A CASE Tool for Java Mobile Computing Applications
International Journal of Mobile Computing and Multimedia Communications
AutoSynch: an automatic-signal monitor based on predicate tagging
Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation
A graph-based generic type system for object-oriented programs
Frontiers of Computer Science: Selected Publications from Chinese Universities
HELIO: Discovery and analysis of data in heliophysics
Future Generation Computer Systems
Hi-index | 0.00 |
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.