Principles in formal specification of object oriented design and architecture
CASCON '01 Proceedings of the 2001 conference of the Centre for Advanced Studies on Collaborative research
Algebraic Semantics of an Imperative Programming Language
Programming and Computing Software
A delta-driven execution model for semantic computing
OOPSLA '05 Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Transaction Support Using Unit of Work Modeling in the Context of MDA
EDOC '05 Proceedings of the Ninth IEEE International EDOC Enterprise Computing Conference
Analyzing the Evolutionary History of the Logical Design of Object-Oriented Software
IEEE Transactions on Software Engineering
The implementation of ada 2005 synchronized interfaces in the GNAT compiler
Proceedings of the 2005 annual ACM SIGAda international conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies
Safe Concurrency for Aggregate Objects with Invariants
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Applying Web Service and Windows Clustering for High Volume Risk Analysis
HPCASIA '05 Proceedings of the Eighth International Conference on High-Performance Computing in Asia-Pacific Region
A join point for loops in AspectJ
Proceedings of the 5th international conference on Aspect-oriented software development
Java version 5 for introductory courses
Journal of Computing Sciences in Colleges
Algorithm specialization in generic programming: challenges of constrained generics in C++
Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation
A microkernel virtual machine:: building security with clear interfaces
Proceedings of the 2006 workshop on Programming languages and analysis for security
Advanced unit testing: how to scale up a unit test framework
Proceedings of the 2006 international workshop on Automation of software test
Formal specification and verification of the C# thread model
Theoretical Computer Science - Formal methods for components and objects
Systems research challenges: a scale-out perspective
IBM Journal of Research and Development
Statically scoped object adaptation with expanders
Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Concepts: linguistic support for generic programming in C++
Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
The Project Maxwell assembler system
PPPJ '06 Proceedings of the 4th international symposium on Principles and practice of programming in Java
A framework for unified resource management in Java
PPPJ '06 Proceedings of the 4th international symposium on Principles and practice of programming in Java
Core-java: an expression-oriented java
Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications
Semantics of persistence in the glib programming language
Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications
Adaptiveness in well-typed Java bytecode verification
CASCON '06 Proceedings of the 2006 conference of the Center for Advanced Studies on Collaborative research
A provenly correct translation of Fickle into Java
ACM Transactions on Programming Languages and Systems (TOPLAS)
Proceedings of the 12th ACM SIGPLAN symposium on Principles and practice of parallel programming
The cost of erasure in Java generics type system
Journal of Computing Sciences in Colleges
Java from the trenches: dealing with object orientation and generics
Journal of Computing Sciences in Colleges
Dynamic updates: another middleware service?
MAI '07 Proceedings of the 1st workshop on Middleware-application interaction: in conjunction with Euro-Sys 2007
An evaluation of Java for numerical computing
Scientific Programming
The Yoix® scripting language: a different way of writing Java™ applications
Software—Practice & Experience
Proceedings of the 2007 ACM symposium on Applied computing
Modular multiple dispatch with multiple inheritance
Proceedings of the 2007 ACM symposium on Applied computing
Co-evolving application code and design models by exploiting meta-data
Proceedings of the 2007 ACM symposium on Applied computing
Static Analysis of Object References in RMI-Based Java Software
IEEE Transactions on Software Engineering
Secure object flow analysis for java card
CARDIS'02 Proceedings of the 5th conference on Smart Card Research and Advanced Application Conference - Volume 5
Compilation Techniques for Real-Time Java Programs
Proceedings of the International Symposium on Code Generation and Optimization
Cloneable JVM: a new approach to start isolated java applications faster
Proceedings of the 3rd international conference on Virtual execution environments
Engineering a BPEL orchestration engine as a multi-agent system
Science of Computer Programming
Efficient distributed subtyping tests
Proceedings of the 2007 inaugural international conference on Distributed event-based systems
Reasoning about safety properties in a JVM-like environment
Science of Computer Programming
AVal: an extensible attribute-oriented programming validator for Java: Research Articles
Journal of Software Maintenance and Evolution: Research and Practice - Source Code Analysis and Manipulation (SCAM 2006)
An integrated verification environment for JML: architecture and early results
Proceedings of the 2007 conference on Specification and verification of component-based systems: 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
Advanced Java bytecode instrumentation
Proceedings of the 5th international symposium on Principles and practice of programming in Java
A Prolog-oriented extension of Java programming based on generics and annotations
Proceedings of the 5th international symposium on Principles and practice of programming in Java
User-changeable visibility: resolving unanticipated name clashes in traits
Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
Transactions with isolation and cooperation
Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
Packrat parsers can support left recursion
PEPM '08 Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Extensible encoding of type hierarchies
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The design and implementation of typed scheme
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
E-cognocracy and its voting process
Computer Standards & Interfaces
The pitfalls of verifying floating-point computations
ACM Transactions on Programming Languages and Systems (TOPLAS)
StrongAspectJ: flexible and safe pointcut/advice bindings
Proceedings of the 7th international conference on Aspect-oriented software development
Relational aspects as tracematches
Proceedings of the 7th international conference on Aspect-oriented software development
Integrating Java and Prolog through generic methods and type inference
Proceedings of the 2008 ACM symposium on Applied computing
Parsing Expression Grammar as a Primitive Recursive-Descent Parser with Backtracking
Fundamenta Informaticae - Special Issue on Concurrency Specification and Programming (CS&P)
Dynamic detection of atomic-set-serializability violations
Proceedings of the 30th international conference on Software engineering
Design of the Java HotSpot™ client compiler for Java 6
ACM Transactions on Architecture and Code Optimization (TACO)
WebLogic event server: a lightweight, modular application server for event processing
Proceedings of the second international conference on Distributed event-based systems
Contracts for aspect-oriented design
Proceedings of the 2008 AOSD workshop on Software engineering properties of languages and aspect technologies
A concise XML binding framework facilitates practical object-oriented document engineering
Proceedings of the eighth ACM symposium on Document engineering
Speculative improvements to verifiable bounds check elimination
Proceedings of the 6th international symposium on Principles and practice of programming in Java
Constraint based optimization of stationary fields
Proceedings of the 6th international symposium on Principles and practice of programming in Java
Optimized strings for the Java HotSpot™ virtual machine
Proceedings of the 6th international symposium on Principles and practice of programming in Java
Domain-specific languages and program generation with meta-AspectJ
ACM Transactions on Software Engineering and Methodology (TOSEM)
Exploiting Loop-Level Parallelism for SIMD Arrays Using OpenMP
IWOMP '07 Proceedings of the 3rd international workshop on OpenMP: A Practical Programming Model for the Multi-Core Era
A Comparison of the Object-Oriented Features of Ada 2005 and JavaTM
Ada-Europe '08 Proceedings of the 13th Ada-Europe international conference on Reliable Software Technologies
Symbolic Step Encodings for Object Based Communicating State Machines
FMOODS '08 Proceedings of the 10th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Annotation Framework Validation Using Domain Models
ECMDA-FA '08 Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications
Verification of Java Programs with Generics
AMAST 2008 Proceedings of the 12th international conference on Algebraic Methodology and Software Technology
A Model for Java with Wildcards
ECOOP '08 Proceedings of the 22nd European conference on Object-Oriented Programming
Flow Analysis of Code Customizations
ECOOP '08 Proceedings of the 22nd European conference on Object-Oriented Programming
Message Quality for Ambient System Security
ADHOC-NOW '08 Proceedings of the 7th international conference on Ad-hoc, Mobile and Wireless Networks
Symbolic Hybrid Programming Tool for Software Understanding
HAIS '08 Proceedings of the 3rd international workshop on Hybrid Artificial Intelligence Systems
Enriching Reverse Engineering with Annotations
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Whiteoak: introducing structural typing into java
Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
The impact of static-dynamic coupling on remodularization
Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
Analysis and reduction of memory inefficiencies in Java strings
Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
Constrained types for object-oriented languages
Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
Java type inference is broken: can we fix it?
Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
Cache-aware cross-profiling for java processors
CASES '08 Proceedings of the 2008 international conference on Compilers, architectures and synthesis for embedded systems
A programming model for concurrent object-oriented programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Practical Approach for Finding Stale References in a Dynamic Service Platform
CBSE '08 Proceedings of the 11th International Symposium on Component-Based Software Engineering
A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs
Logic-Based Program Synthesis and Transformation
Software Manipulation with Annotations in Java
Advances in Software Engineering
Sound and Complete Type Inference for a Systems Programming Language
APLAS '08 Proceedings of the 6th Asian Symposium on Programming Languages and Systems
Java memory model aware software validation
Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Argos, an extensible personal application server
Proceedings of the ACM/IFIP/USENIX 2007 International Conference on Middleware
Methods as Parameters: A Preprocessing Approach to Higher Order in Java
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
A Deterministic Algorithm for Identifying Direct Superclasses in Java
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Some Aspects of Parsing Expression Grammar
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Improved bounds on the average length of longest common subsequences
Journal of the ACM (JACM)
A pattern for almost compositional functions
Journal of Functional Programming
Mathematical Structures in Computer Science
Algebraic specification techniques for parametric types with logic-based constraints
Proceedings of the 2009 ACM symposium on Applied Computing
Precise slicing of concurrent programs
Automated Software Engineering
CHR for Imperative Host Languages
Constraint Handling Rules
Practical Variable-Arity Polymorphism
ESOP '09 Proceedings of the 18th European Symposium on Programming Languages and Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
An Interval-Based Inference of Variant Parametric Types
ESOP '09 Proceedings of the 18th European Symposium on Programming Languages and Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
A Formal Connection between Security Automata and JML Annotations
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Java Type Unification with Wildcards
Applications of Declarative Programming and Knowledge Management
Robust Generation of Dynamic Data Structure Visualizations with Multiple Interaction Approaches
ACM Transactions on Computing Education (TOCE) - Special Issue on the 5th Program Visualization Workshop (PVW’08)
Embedding process models in object-oriented program code
Proceedings of the 1st Workshop on Behaviour Modelling in Model-Driven Architecture
Sourcerer: An internet-scale software repository
SUITE '09 Proceedings of the 2009 ICSE Workshop on Search-Driven Development-Users, Infrastructure, Tools and Evaluation
Range parameterized types: use-site variance without the existential questions
Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs
Semantic predicate types and approximation for class-based object oriented programming
Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs
On subtyping, wildcards, and existential types
Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs
On the interplay between the semantics of Java's finally clauses and the JML run-time checker
Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs
Writing an OS Kernel in a Strictly and Statically Typed Language
Formal to Practical Security
Towards a dynamic-update-enabled JVM
Proceedings of the Workshop on AOP and Meta-Data for Software Evolution
Dealing with inheritance in OO evolutionary testing
Proceedings of the 11th Annual conference on Genetic and evolutionary computation
Human Memory Assistance through Semantic-Based Text Processing
IWANN '09 Proceedings of the 10th International Work-Conference on Artificial Neural Networks: Part II: Distributed Computing, Artificial Intelligence, Bioinformatics, Soft Computing, and Ambient Assisted Living
Implicit First Class Genericity
SC '09 Proceedings of the 8th International Conference on Software Composition
JavaΩ: The Structures and the Implementation of a Preprocessor for Java with m and mc parameters
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
PPPJ '09 Proceedings of the 7th International Conference on Principles and Practice of Programming in Java
Parallelizing calling context profiling in virtual machines on multicores
PPPJ '09 Proceedings of the 7th International Conference on Principles and Practice of Programming in Java
Security Monitor Inlining for Multithreaded Java
Genoa Proceedings of the 23rd European Conference on ECOOP 2009 --- Object-Oriented Programming
Data caching, garbage collection, and the Java memory model
Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems
Computational tools for the analysis of spatial patterns of gene expression in Common Lisp
Proceedings of the 2007 International Lisp Conference
Revised6 report on the algorithmic language scheme
Journal of Functional Programming
Pattern-driven deadlock avoidance
Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging
Beyond static and dynamic scope
DLS '09 Proceedings of the 5th symposium on Dynamic languages
Type-Checking Software Product Lines - A Formal Approach
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Nondeterministic one-tape off-line turing machines and their time complexity
Journal of Automata, Languages and Combinatorics
Recognition is not parsing - SPPF-style parsing from cubic recognisers
Science of Computer Programming
A survey of techniques for achieving metadata interoperability
ACM Computing Surveys (CSUR)
Cross-profiling for Java processors
Software—Practice & Experience
Platform-Specific Restrictions on Concurrency in Model Checking of Java Programs
FMICS '09 Proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems
Productive petascale computing: requirements, hardware, and software
Productive petascale computing: requirements, hardware, and software
Corrective hints for type incorrect generic Java programs
Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation
Virtual class support at the virtual machine level
Proceedings of the Third Workshop on Virtual Machines and Intermediate Languages
@J: towards rapid development of dynamic analysis tools for the Java Virtual Machine
Proceedings of the Third Workshop on Virtual Machines and Intermediate Languages
Compilation of extended recursion in call-by-value functional languages
Higher-Order and Symbolic Computation
A domain specific language for the definition of extended queueing network models
SE '08 Proceedings of the IASTED International Conference on Software Engineering
A lightweight approach for program analysis and debugging
Proceedings of the 3rd India software engineering conference
Some remarks about OO teaching
CompSysTech '09 Proceedings of the International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing
Test-first Java concurrency for the classroom
Proceedings of the 41st ACM technical symposium on Computer science education
Parallel dynamic analysis on multicores with aspect-oriented programming
Proceedings of the 9th International Conference on Aspect-Oriented Software Development
On formalization of object model by unifying intensional and extensional representations
Proceedings of the 2010 conference on Information Modelling and Knowledge Bases XXI
Preliminary design of BML: a behavioral interface specification language for java bytecode
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
The java memory model: operationally, denotationally, axiomatically
ESOP'07 Proceedings of the 16th European conference on Programming
Type-based analysis of deadlock for a concurrent calculus with interrupts
ESOP'07 Proceedings of the 16th European conference on Programming
Semantics driven interaction using natural language in students tutoring
KES'07/WIRN'07 Proceedings of the 11th international conference, KES 2007 and XVII Italian workshop on neural networks conference on Knowledge-based intelligent information and engineering systems: Part III
Using abstract interpretation to add type checking for interfaces in Java bytecode verification
Theoretical Computer Science
Using abstract interpretation to add type checking for interfaces in Java bytecode verification
Theoretical Computer Science
Exhaustive testing of exception handlers with enforcer
FMCO'06 Proceedings of the 5th international conference on Formal methods for components and objects
A definition of exceptions in agent-oriented computing
ESAW'06 Proceedings of the 7th international conference on Engineering societies in the agents world VII
Argos, an extensible personal application server
MIDDLEWARE2007 Proceedings of the 8th ACM/IFIP/USENIX international conference on Middleware
Precise set sharing analysis for Java-style programs
VMCAI'08 Proceedings of the 9th international conference on Verification, model checking, and abstract interpretation
Proving theorems about JML classes
Formal methods and hybrid real-time systems
Jinn: synthesizing dynamic bug detectors for foreign language interfaces
PLDI '10 Proceedings of the 2010 ACM SIGPLAN conference on Programming language design and implementation
From behaviour preservation to behaviour modification: constraint-based mutant generation
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1
Recommending rename refactorings
Proceedings of the 2nd International Workshop on Recommendation Systems for Software Engineering
Role-based access control (RBAC) in Java via proxy objects using annotations
Proceedings of the 15th ACM symposium on Access control models and technologies
Nonblocking real-time garbage collection
ACM Transactions on Embedded Computing Systems (TECS)
C++ lambda expressions and closures
Science of Computer Programming
Type safety for feature-oriented product lines
Automated Software Engineering
JGroovy - an extensible Java programming language with Groovy
ICACT'10 Proceedings of the 12th international conference on Advanced communication technology
Compact and efficient strings for Java
Science of Computer Programming
Automatic feedback-directed object fusing
ACM Transactions on Architecture and Code Optimization (TACO)
Proceedings of the 8th International Conference on the Principles and Practice of Programming in Java
Dynamic code evolution for Java
Proceedings of the 8th International Conference on the Principles and Practice of Programming in Java
A programming model for adaptable Java applications
Proceedings of the 8th International Conference on the Principles and Practice of Programming in Java
JRF-E: using model checking to give advice on eliminating memory model-related bugs
Proceedings of the IEEE/ACM international conference on Automated software engineering
An empirical study of overriding in open source Java
ACSC '10 Proceedings of the Thirty-Third Australasian Conferenc on Computer Science - Volume 102
CloudEdge: a content delivery system for storage service in cloud environment
International Journal of Ad Hoc and Ubiquitous Computing
Composition of dynamic analysis aspects
GPCE '10 Proceedings of the ninth international conference on Generative programming and component engineering
ABI compatibility through a customizable language
GPCE '10 Proceedings of the ninth international conference on Generative programming and component engineering
A transactional model for automatic exception handling
Computer Languages, Systems and Structures
Efficient modular glass box software model checking
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Compiler construction with a dash of concurrency and an embedded twist
Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion
Factor: a dynamic stack-based programming language
Proceedings of the 6th symposium on Dynamic languages
SegSlice: towards a new class of secure programming primitives for trustworthy platforms
TRUST'10 Proceedings of the 3rd international conference on Trust and trustworthy computing
Correct refactoring of concurrent java code
ECOOP'10 Proceedings of the 24th European conference on Object-oriented programming
Modules as objects in newspeak
ECOOP'10 Proceedings of the 24th European conference on Object-oriented programming
The use of overloading in JAVA programs
ECOOP'10 Proceedings of the 24th European conference on Object-oriented programming
Falling back on executable specifications
ECOOP'10 Proceedings of the 24th European conference on Object-oriented programming
Enforcing secure object initialization in java
ESORICS'10 Proceedings of the 15th European conference on Research in computer security
A proposal for OpenMP for Java
IWOMP'05/IWOMP'06 Proceedings of the 2005 and 2006 international conference on OpenMP shared memory parallel programming
Verification of causality requirements in Java memory model is undecidable
PPAM'09 Proceedings of the 8th international conference on Parallel processing and applied mathematics: Part II
Revisiting parametric types and virtual classes
TOOLS'10 Proceedings of the 48th international conference on Objects, models, components, patterns
Encoding ownership types in java
TOOLS'10 Proceedings of the 48th international conference on Objects, models, components, patterns
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Growing virtual plants for virtual worlds
Proceedings of the 24th Spring Conference on Computer Graphics
Implementing statically typed object-oriented programming languages
ACM Computing Surveys (CSUR)
Towards a semantic model for Java wildcards
Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs
A type system for access control views in object-oriented languages
ARSPA-WITS'10 Proceedings of the 2010 joint conference on Automated reasoning for security protocol analysis and issues in the theory of security
Model-based testing without a model: assessing portability in the Seattle testbed
SSV'10 Proceedings of the 5th international conference on Systems software verification
Efficient run-time dispatching in generic programming with minimal code bloat
Science of Computer Programming
Methods for efficient development of task-based applications
HCSE'10 Proceedings of the Third international conference on Human-centred software engineering
Run-time verification of networked software
RV'10 Proceedings of the First international conference on Runtime verification
Optimizing the evaluation of patterns in pointcuts
Virtual Machines and Intermediate Languages
Communications of the ACM
A Dozen Instructions Make Java Bytecode
Electronic Notes in Theoretical Computer Science (ENTCS)
FoVeOOS'10 Proceedings of the 2010 international conference on Formal verification of object-oriented software
Verification of software product lines with delta-oriented slicing
FoVeOOS'10 Proceedings of the 2010 international conference on Formal verification of object-oriented software
Language convergence infrastructure
GTTSE'09 Proceedings of the 3rd international summer school conference on Generative and transformational techniques in software engineering III
Closure joinpoints: block joinpoints without surprises
Proceedings of the tenth international conference on Aspect-oriented software development
Polymorphic bytecode instrumentation
Proceedings of the tenth international conference on Aspect-oriented software development
Applying dependability aspects on top of "aspectized" software layers
Proceedings of the tenth international conference on Aspect-oriented software development
A process for aspect-oriented platform-specific profile checking
Proceedings of the 2011 international workshop on Early aspects
Refactoring using type constraints
ACM Transactions on Programming Languages and Systems (TOPLAS)
Recovering grammar relationships for the Java Language Specification
Software Quality Control
JavaGI: The Interaction of Type Classes with Interfaces and Inheritance
ACM Transactions on Programming Languages and Systems (TOPLAS)
Parametric model checking with verICS
Transactions on Petri nets and other models of concurrency IV
Building and using pluggable type-checkers
Proceedings of the 33rd International Conference on Software Engineering
Runtime verification for generic classes with CONGU2
SBMF'10 Proceedings of the 13th Brazilian conference on Formal methods: foundations and applications
Typing local control and state using flow analysis
ESOP'11/ETAPS'11 Proceedings of the 20th European conference on Programming languages and systems: part of the joint European conferences on theory and practice of software
News personalization using the CF-IDF semantic recommender
Proceedings of the International Conference on Web Intelligence, Mining and Semantics
Attempts to verify written English
Proceedings of The Fourth International C* Conference on Computer Science and Software Engineering
Safe optimisations for shared-memory concurrent programs
Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation
Taming wildcards in Java's type system
Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation
On designing safe and flexible embedded DSLs with Java 5
Science of Computer Programming
How to miscompile programs with "benign" data races
HotPar'11 Proceedings of the 3rd USENIX conference on Hot topic in parallelism
Lifted Java: a minimal calculus for translation polymorphism
TOOLS'11 Proceedings of the 49th international conference on Objects, models, components, patterns
A Java and OWL based approach for system interoperability
Proceedings of the 15th WSEAS international conference on Computers
Types, regions, and effects for safe programming with object-oriented parallel frameworks
Proceedings of the 25th European conference on Object-oriented programming
Proceedings of the 25th European conference on Object-oriented programming
Logic Java: combining object-oriented and logic programming
WFLP'11 Proceedings of the 20th international conference on Functional and constraint logic programming
A Distributed Platform for Global-Scale Agent-Based Models of Disease Transmission
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Firepile: run-time compilation for GPUs in scala
Proceedings of the 10th ACM international conference on Generative programming and component engineering
Trustworthy numerical computation in Scala
Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
JIT compilation policy for modern machines
Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
Backstage Java: making a difference in metaprogramming
Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
Type checking modular multiple dispatch with parametric polymorphism and multiple inheritance
Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
Separating ownership topology and encapsulation with generic universe types
ACM Transactions on Programming Languages and Systems (TOPLAS)
Towards an open meta modeling environment
Proceedings of the 10th Workshop on Domain-Specific Modeling
Automatic code generation from event-B models
Proceedings of the Second Symposium on Information and Communication Technology
SMV: selective multi-versioning STM
DISC'11 Proceedings of the 25th international conference on Distributed computing
A formalisation of java strings for program specification and verification
SEFM'11 Proceedings of the 9th international conference on Software engineering and formal methods
Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs
Guarded type promotion: eliminating redundant casts in Java
Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs
On the interplay of exception handling and design by contract: an aspect-oriented recovery approach
Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs
Implementing a Language with Flow-Sensitive and Structural Typing on the JVM
Electronic Notes in Theoretical Computer Science (ENTCS)
Enhanced Type-based Component Compatibility Using Deployment Context Information
Electronic Notes in Theoretical Computer Science (ENTCS)
Language support for asynchronous event handling in the invocation call stack
Proceedings of the 10th SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software
Proceedings of the 9th International Conference on Principles and Practice of Programming in Java
DeepFJig: modular composition of nested classes
Proceedings of the 9th International Conference on Principles and Practice of Programming in Java
Optimized memory management for class metadata in a JVM
Proceedings of the 9th International Conference on Principles and Practice of Programming in Java
A comparison of ada and real-time Java™ for safety-critical applications
Ada-Europe'06 Proceedings of the 11th Ada-Europe international conference on Reliable Software Technologies
Abstract interface types in GNAT: conversions, discriminants, and C++
Ada-Europe'06 Proceedings of the 11th Ada-Europe international conference on Reliable Software Technologies
POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Exact type parameterization and ThisType support
TLDI '12 Proceedings of the 8th ACM SIGPLAN workshop on Types in language design and implementation
Implicit and dynamic parameters in c++
JMLC'06 Proceedings of the 7th joint conference on Modular Programming Languages
Reconciling virtual classes with genericity
JMLC'06 Proceedings of the 7th joint conference on Modular Programming Languages
Oberon script: a lightweight compiler and runtime system for the web
JMLC'06 Proceedings of the 7th joint conference on Modular Programming Languages
Practical exception specifications
Advanced Topics in Exception Handling Techniques
Exceptions in java and eiffel: two extremes in exception design and application
Advanced Topics in Exception Handling Techniques
Closing the gap between modelling and java
SLE'09 Proceedings of the Second international conference on Software Language Engineering
Efficiently refactoring java applications to use generic libraries
ECOOP'05 Proceedings of the 19th European conference on Object-Oriented Programming
A comparison of generic template support: ada, C++, C#, and javaTM
Ada-Europe'10 Proceedings of the 15th Ada-Europe international conference on Reliable Software Technologies
Modular name analysis for java using jastadd
GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering
LATA'10 Proceedings of the 4th international conference on Language and Automata Theory and Applications
JASMine: accessing java code from CoreASM
Rigorous Methods for Software Construction and Analysis
Shakeins: nonintrusive aspects for middleware frameworks
Transactions on Aspect-Oriented Software Development II
Multi-level virtual machine debugging using the java platform debugger architecture
PSI'09 Proceedings of the 7th international Andrei Ershov Memorial conference on Perspectives of Systems Informatics
A theory of speculative computation
ESOP'10 Proceedings of the 19th European conference on Programming Languages and Systems
TRX: a formally verified parser interpreter
ESOP'10 Proceedings of the 19th European conference on Programming Languages and Systems
Verifying a compiler for java threads
ESOP'10 Proceedings of the 19th European conference on Programming Languages and Systems
Full abstraction at package boundaries of object-oriented languages
SBMF'11 Proceedings of the 14th Brazilian conference on Formal Methods: foundations and Applications
Enabling on demand deployment of middleware services in componentized middleware
CBSE'10 Proceedings of the 13th international conference on Component-Based Software Engineering
Component composition using feature models
CBSE'10 Proceedings of the 13th international conference on Component-Based Software Engineering
Verification of the java causality requirements
HVC'05 Proceedings of the First Haifa international conference on Hardware and Software Verification and Testing
Precise static analysis for generic programs in object oriented languages
ACM SIGSOFT Software Engineering Notes
Lifting the barriers --- reducing latencies with transparent transactional memory
ICDCN'12 Proceedings of the 13th international conference on Distributed Computing and Networking
Computer Methods and Programs in Biomedicine
Using machines to learn method-specific compilation strategies
CGO '11 Proceedings of the 9th Annual IEEE/ACM International Symposium on Code Generation and Optimization
Type checking annotation-based product lines
ACM Transactions on Software Engineering and Methodology (TOSEM)
A framework for the checking and refactoring of crosscutting concepts
ACM Transactions on Software Engineering and Methodology (TOSEM)
Proceedings of the 2011 ACM SIGPLAN X10 Workshop
A type system for checking specialization of packages in object-oriented programming
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Safety-critical Java with cyclic executives on chip-multiprocessors
Concurrency and Computation: Practice & Experience
A testing strategy for abstract classes
Software Testing, Verification & Reliability
Fast method dispatch and effective use of primitives for reified generics in managed X10
Proceedings of the 2012 ACM SIGPLAN X10 Workshop
Distributed garbage collection for managed X10
Proceedings of the 2012 ACM SIGPLAN X10 Workshop
new Scala() instance of Java: a comparison of the memory behaviour of Java and Scala programs
Proceedings of the 2012 international symposium on Memory Management
Java and the java memory model -- a unified, machine-checked formalisation
ESOP'12 Proceedings of the 21st European conference on Programming Languages and Systems
Java memory model-aware model checking
TACAS'12 Proceedings of the 18th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Improving type error messages for generic Java
Higher-Order and Symbolic Computation
Comparison of context-free grammars based on parsing generated test data
SLE'11 Proceedings of the 4th international conference on Software Language Engineering
Detecting entry points in java libraries
PSI'11 Proceedings of the 8th international conference on Perspectives of System Informatics
Permission regions for race-free parallelism
RV'11 Proceedings of the Second international conference on Runtime verification
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)
A Deterministic Algorithm for Identifying Direct Superclasses in Java
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Some Aspects of Parsing Expression Grammar
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
Lightweight polymorphic effects
ECOOP'12 Proceedings of the 26th European conference on Object-Oriented Programming
Magda: a new language for modularity
ECOOP'12 Proceedings of the 26th European conference on Object-Oriented Programming
Parsing Expression Grammar as a Primitive Recursive-Descent Parser with Backtracking
Fundamenta Informaticae - Special Issue on Concurrency Specification and Programming (CS&P)
An idea for a type system of multi-paradigm language with extensible syntax
Proceedings of the 13th International Conference on Computer Systems and Technologies
Interruptible context-dependent executions: a fresh look at programming context-aware applications
Proceedings of the ACM international symposium on New ideas, new paradigms, and reflections on programming and software
Formal specification of a JavaScript module system
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
A replicated information system to enable dynamic collaborations in the Grid
Concurrency and Computation: Practice & Experience
Test-case generation and bug-finding through symbolic execution
Proceedings of the South African Institute for Computer Scientists and Information Technologists Conference
Implementing conformiq Qtronic
TestCom'07/FATES'07 Proceedings of the 19th IFIP TC6/WG6.1 international conference, and 7th international conference on Testing of Software and Communicating Systems
Non-null references by default in java: alleviating the nullity annotation burden
ECOOP'07 Proceedings of the 21st European conference on Object-Oriented Programming
Synchronization cannot be implemented as a library
Proceedings of the 2012 ACM conference on High integrity language technology
Transactions on Large-Scale Data- and Knowledge-Centered Systems VI
Testing-based process for component substitutability
Software Testing, Verification & Reliability
Left recursion in parsing expression grammars
SBLP'12 Proceedings of the 16th Brazilian conference on Programming Languages
View-based propagator derivation
Constraints
Language composition untangled
Proceedings of the Twelfth Workshop on Language Descriptions, Tools, and Applications
Improving precision of generated ASTs
Proceedings of the Twelfth Workshop on Language Descriptions, Tools, and Applications
Dynamic aspect-oriented programming in java: the hotwave experience
Transactions on Aspect-Oriented Software Development IX
Science of Computer Programming
NRU 'near you': Real-World Interaction with a Mobile Phone
International Journal of Creative Interfaces and Computer Graphics
On the integration of Smalltalk and Java: practical experience with STX:LIBJAVA
Proceedings of the International Workshop on Smalltalk Technologies
Secure and modular access control with aspects
Proceedings of the 12th annual international conference on Aspect-oriented software development
Unrestricted and safe dynamic code evolution for Java
Science of Computer Programming
Position paper: OPENi -- future of a consumer-centric cloud-based application platform
Proceedings of the 2013 international workshop on Hot topics in cloud services
Reducing startup time of a deterministic virtualizing runtime environment
Proceedings of the 16th International Workshop on Software and Compilers for Embedded Systems
Automatic testing of sequential and concurrent substitutability
Proceedings of the 2013 International Conference on Software Engineering
Inference rules for generic code migration of aspect-oriented programs
Science of Computer Programming
Multi-polymorphic programming in bondi
Proceedings of the 9th ACM SIGPLAN workshop on Generic programming
Extensible intraprocedural flow analysis at the abstract syntax tree level
Science of Computer Programming
Polymorphic identifiers: uniform resource access in objective-smalltalk
Proceedings of the 9th symposium on Dynamic languages
Online feedback-directed optimizations for parallel Java code
Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications
Class hierarchy complementation: soundly completing a partial type graph
Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications
Making the java memory model safe
ACM Transactions on Programming Languages and Systems (TOPLAS)
Answer set programming: language, applications and development tools
RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems
Sourcerer: An infrastructure for large-scale collection and analysis of open-source code
Science of Computer Programming
Exploring single and multilevel JIT compilation policy for modern machines 1
ACM Transactions on Architecture and Code Optimization (TACO)
On the way of bottom-up designing textual domain-specific modelling languages
Proceedings of the 2013 ACM workshop on Domain-specific modeling
Automated verification of design patterns: A case study
Science of Computer Programming
String deduplication for Java-based middleware in virtualized environments
Proceedings of the 10th ACM SIGPLAN/SIGOPS international conference on Virtual execution environments
A Domain-Theoretic Model Of Nominally-Typed Object-Oriented Programming
Electronic Notes in Theoretical Computer Science (ENTCS)
Data Linkage Algebra, Data Linkage Dynamics, and Priority Rewriting
Fundamenta Informaticae
Hi-index | 0.02 |
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.