Search results for "Java"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
44	Reinhard Klemm	Practical Guidelines for Boosting Java Server Performance.	Java Grande	1999	DBLP DOI BibTeX RDF
44	Matthew Izatt, Patrick Chan, Tim Brecht	Ajents: Towards an Environment for Parallel, Distributed and Mobile Java Applications.	Java Grande	1999	DBLP DOI BibTeX RDF
44	Maurice Herlihy, Michael P. Warres	A Tale of Two Directories: Implementing Distributed Shared Objects in Java.	Java Grande	1999	DBLP DOI BibTeX RDF
43	Tomas Kalibera, Pavel Parízek, Michal Malohlava, Martin Schoeberl	Exhaustive testing of safety critical Java.	JTRES	2010	DBLP DOI BibTeX RDF	SCJ, model checking, real-time Java, Java PathFinder
43	Maurizio Cimadamore, Mirko Viroli	A Prolog-oriented extension of Java programming based on generics and annotations.	PPPJ	2007	DBLP DOI BibTeX RDF	Java, Prolog, multiparadigm, Java generics
43	Sascha Uhrig, Jörg Wiese	jamuth: an IP processor core for embedded Java real-time systems.	JTRES	2007	DBLP DOI BibTeX RDF	Java execution environment, embedded system-on-a-chip implementation, virtual machine, real-time embedded system, multithreaded processor, Java processor, embedded operating system
43	Thomas Bøgholm, René Rydhof Hansen, Anders P. Ravn, Bent Thomsen, Hans Søndergaard	Schedulability analysis for Java finalizers.	JTRES	2010	DBLP DOI BibTeX RDF	schedulability, Java, model checking, real-time, finalizers
43	Michael H. Dawson	Challenges in Implementing the Real-Time Specification for Java (RTSJ) in a Commercial Real-Time Java Virtual Machine.	ISORC	2008	DBLP DOI BibTeX RDF	Java, Real-time, Implementation
43	Gautier Loyauté, Rémi Forax, Gilles Roussel 0001	A Java toolkit for the design and the automatic checking of server architectures.	PPPJ	2007	DBLP DOI BibTeX RDF	Java toolkit, software engineering, formal model, automatic generation, internet server
43	Lingli Zhang, Chandra Krintz, Priya Nagpurkar	Supporting exception handling for futures in Java.	PPPJ	2007	DBLP DOI BibTeX RDF	Java, concurrent programming, exception handling, future
43	Kelvin Nilsen	Improving abstraction, encapsulation, and performance within mixed-mode real-time Java applications.	JTRES	2007	DBLP DOI BibTeX RDF	safety-critical certification, Java, RTSJ, DO-178B
43	Sven Gestegard Robertz, Roger Henriksson, Klas Nilsson, Anders Blomdell, Ivan Tarasov	Using real-time Java for industrial robot control.	JTRES	2007	DBLP DOI BibTeX RDF	Java, real-time, garbage collection, motion control, industrial robot
43	Tomas Hruz, Matthias Hirsch-Hoffmann, Wilhelm Gruissem, Philip Zimmermann	Reducing Java internet project risks: a case study of public measurement of client component functionality in the user community.	PPPJ	2006	DBLP DOI BibTeX RDF	Java
43	Klaus Havelund, Thomas Pressburger	Model Checking JAVA Programs using JAVA PathFinder.	Int. J. Softw. Tools Technol. Transf.	2000	DBLP DOI BibTeX RDF	Java, Model checking, Program verification, Concurrent programming, Deadlocks, Assertions, Spin
43	Florin Craciun, Hong Yaw Goh, Corneliu Popeea, Wei-Ngan Chin	Core-java: an expression-oriented java.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	type-based analysis, language design
43	Mayumi Kato, Chia-Tien Dan Lo	A heap de/compression module for wireless Java.	PPPJ	2004	DBLP DOI BibTeX RDF
43	Frej Drejhammar, Christian Schulte 0001, Per Brand, Seif Haridi	Flow Java: Declarative Concurrency for Java.	ICLP	2003	DBLP DOI BibTeX RDF
43	Rob van Nieuwpoort, Jason Maassen, Rutger F. H. Hofman, Thilo Kielmann, Henri E. Bal	Ibis: an efficient Java-based grid programming environment.	Java Grande	2002	DBLP DOI BibTeX RDF	Java, performance, grid computing, portability
43	Orit Edelstein, Eitan Farchi, Yarden Nir, Gil Ratsaby, Shmuel Ur	Multithreaded Java program test generation.	Java Grande	2001	DBLP DOI BibTeX RDF	Java
43	Ronald Veldema, Rutger F. H. Hofman, Raoul Bhoedjang, Henri E. Bal	Runtime optimizations for a Java DSM implementation.	Java Grande	2001	DBLP DOI BibTeX RDF	Java
43	Dan Bonachea	Bulk file I/O extensions to Java.	Java Grande	2000	DBLP DOI BibTeX RDF	bulk, Java, asynchronous, I/O
43	Takashi Suezawa	Persistent execution state of a Java virtual machine.	Java Grande	2000	DBLP DOI BibTeX RDF	execution state, Java, checkpointing, JVM, recovery, persistence
43	Florian Forster	Cost and benefit of rigorous decoupling with context-specific interfaces.	PPPJ	2006	DBLP DOI BibTeX RDF	Java-specific metrics, software engineering with Java, the Java language, tools for Java programming, optimization
43	Austin Kim, J. Morris Chang	Advanced POC Model-Based Java Instruction Folding Mechanism.	EUROMICRO	2000	DBLP DOI BibTeX RDF	Instruction Folding, Java Virtual Machine (JVM), Stack, Java processor, Java bytecode, Java programming language
42	Hua Han, Yafei Dai, Xiaoming Li	CSFS: a Java enabled network file storage system.	Java Grande	2002	DBLP DOI BibTeX RDF	network file storage, distributed file system, name space
42	Rüdiger Weis, Bastiaan Bakker, Stefan Lucks	Security on Your Hand: Secure Filesystems with a "Non-Cryptographic" JAVA-Ring.	Java Card Workshop	2000	DBLP DOI BibTeX RDF	i-Button, Remotely Keyed Encryption, tamper proof
42	Zhenyu Qian	A Formal Specification of Java Virtual Machine Instructions for Objects, Methods and Subrountines.	Formal Syntax and Semantics of Java	1999	DBLP DOI BibTeX RDF
42	Pieter H. Hartel, Michael J. Butler, Moshe Levy	The Operational Semantics of a Java Secure Processor.	Formal Syntax and Semantics of Java	1999	DBLP DOI BibTeX RDF
42	Yiyu Tan, Anthony S. Fong, Xiaojian Yang	An Instruction Folding Solution to a Java Processor.	NPC	2007	DBLP DOI BibTeX RDF	Instruction folding, Java virtual machine, Bytecode, Java processor
42	Alan Donovan, Adam Kiezun, Matthew S. Tschantz, Michael D. Ernst	Converting java programs to use generic libraries.	OOPSLA	2004	DBLP DOI BibTeX RDF	JSR-14, Java 1.5, Java 5, instantiation types, raw types, type inference, parametric polymorphism, generic types, parameterized types
42	Guangyu Chen, R. Shetty, Mahmut T. Kandemir, Narayanan Vijaykrishnan, Mary Jane Irwin, Mario Wolczko	Tuning garbage collection for reducing memory system energy in an embedded java environment.	ACM Trans. Embed. Comput. Syst.	2002	DBLP DOI BibTeX RDF	K Virtual Machine (KVM), Java, Java Virtual Machine (JVM), Garbage collector, low power computing
42	L. A. Smith, J. Mark Bull, Jan Obdrzálek	A parallel java grande benchmark suite.	SC	2001	DBLP DOI BibTeX RDF	java, Java, parallel, benchmarking, message passing, threads
42	Egon Börger, Wolfram Schulte	A Practical Method for Specification and Analysis of Exception Handling - A Java/JVM Case Study.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	Java, compiler, Semantics, exception handling, Java Virtual Machine, correctness, abstract state machines
42	John Hale, Mauricio Papa, Oliver Bremer, Rodrigo Chandia, Sujeet Shenoi	Extending Java for Package based Access Control.	ACSAC	2000	DBLP DOI BibTeX RDF	package based access control, programmable security, TBAC, primitive ticket, language translation preprocessor, security service library, ticket management, Java, object-oriented programming, RBAC, MAC, source code, software libraries, syntax, authorisation, program interpreters, DAC, Java language, bytecode interpretation
42	Marc L. Corliss, E. Christopher Lewis	Bantam: a customizable, java-based, classroom compiler.	SIGCSE	2008	DBLP DOI BibTeX RDF	bantam java
42	Jeremy Manson, William W. Pugh, Sarita V. Adve	The Java memory model.	POPL	2005	DBLP DOI BibTeX RDF	Java, concurrency, multithreading, memory model
42	Anders Nilsson 0003, Torbjörn Ekman 0001, Klas Nilsson	Real Java for real time - gain and pain.	CASES	2002	DBLP DOI BibTeX RDF	rtj, embedded systems, real-time Java
42	Ricky K. K. Ma, Cho-Li Wang, Francis C. M. Lau 0001	M-JavaMPI: A Java-MPI Binding with Process Migration Support.	CCGRID	2002	DBLP DOI BibTeX RDF	JVMDI, M-JavaMPI, Java, load balancing, parallel computing, MPI, message passing, cluster computing, process migration
42	Raúl Rojas 0001, Lars Knipping, Ulrich Raffel, Gerald Friedland	Elektronische Kreide: Eine Java-Multimedia-Tafel fuer den Präsenz- und Fernunterricht.	Inform. Forsch. Entwickl.	2001	DBLP DOI BibTeX RDF	Präsenzunterricht, Fernunterricht, rechnerunterstützte Lehre, Handschrifterkennung, Java, Internet, World Wide Web, Multimedia, Streaming, Synchronisation, Whiteboard
42	Stephen N. Freund, John C. Mitchell	A Type System for Object Initialization in the Java Bytecode Language.	OOPSLA	1998	DBLP DOI BibTeX RDF	Java
42	Ciji Isen, Lizy Kurian John, Jung Pil Choi, Hyo Jung Song	On the representativeness of embedded Java benchmarks.	IISWC	2008	DBLP DOI BibTeX RDF
42	Kenji Watanabe, Wanming Chu, Yamin Li	Exploiting Java Instruction/Thread Level Parallelism with Horizontal Multithreading.	ACSAC	2001	DBLP DOI BibTeX RDF
42	Jeffrey Raymond Horowitz	Bringing Java to TMN.	NOMS	1998	DBLP DOI BibTeX RDF
42	Giuseppe Milicia, Vladimiro Sassone	Jeeg: a programming language for concurrent objects synchronization.	Java Grande	2002	DBLP DOI BibTeX RDF	Java, temporal logic, inheritance anomaly
41	Christophe Deleray, Nicolas Bedon, Gilles Roussel 0001	MyJVM: a 100% pure Java customizable Java Virtual Machine.	PPPJ	2003	DBLP BibTeX RDF
41	Pieter H. Hartel, Luc Moreau 0001	Formalizing the safety of Java, the Java virtual machine, and Java card.	ACM Comput. Surv.	2001	DBLP DOI BibTeX RDF	programming, Common criteria
40	Philippe Moret, Walter Binder, Martin Schoeberl, Alex Villazón, Danilo Ansaloni	Analyzing performance and dynamic behavior of embedded Java software with calling-context cross-profiling.	PPPJ	2009	DBLP DOI BibTeX RDF	calling-context cross-profiling, visualization of calling-context profiles, Java, Java processors
40	Thomas Bøgholm, Henrik Kragh-Hansen, Petur Olsen, Bent Thomsen, Kim Guldstrand Larsen	Model-based schedulability analysis of safety critical hard real-time Java programs.	JTRES	2008	DBLP DOI BibTeX RDF	real-time systems, model checking, schedulability analysis, software verification, real-time Java, Java processor
40	Moonzoo Kim, Mahesh Viswanathan 0001, Sampath Kannan, Insup Lee 0001, Oleg Sokolsky	Java-MaC: A Run-Time Assurance Approach for Java Programs.	Formal Methods Syst. Des.	2004	DBLP DOI BibTeX RDF	run-time monitoring and checking, execution trace validation, Java bytecode engineering, Java, formal specification, software reliability, program instrumentation
40	Christoph Kerschbaumer, Gregor Wagner, Christian Wimmer, Andreas Gal, Christian Steger, Michael Franz	SlimVM: a small footprint Java virtual machine for connected embedded systems.	PPPJ	2009	DBLP DOI BibTeX RDF	connected embedded systems, optimization, Java virtual machine, just-in-time compilation, code-size reduction
40	Lorenzo Bettini, Viviana Bono, Marco Naddeo	A trait based re-engineering technique for Java hierarchies.	PPPJ	2008	DBLP DOI BibTeX RDF	Java, formal concept analysis, re-engineering, code reuse, trait
40	M. Teresa Higuera-Toledano	Making stronger and flexible the single parent rule in the real-time specification of Java.	JTRES	2008	DBLP DOI BibTeX RDF	illegal assignments, reference-counting collection, scoped-regions, single parent rule, real-time Java, write-barriers
40	Yunwen Ye, Yasuhiro Yamamoto, Kumiyo Nakakoji, Yoshiyuki Nishinaka, Mitsuhiro Asada	Searching the library and asking the peers: learning to use Java APIs on demand.	PPPJ	2007	DBLP DOI BibTeX RDF	Java API, software reuse, expertise location, peer support
40	Delvin C. Defoe, Rob LeGrand, Ron K. Cytron	On the connection between functional programming languages and real-time Java scoped memory.	JTRES	2007	DBLP DOI BibTeX RDF	scoped memory, real-time, performance analysis, data structures, programming languages, functional programming, memory, memory management, real-time Java
40	Stephan Korsholm, Philippe Jean	The Java legacy interface.	JTRES	2007	DBLP DOI BibTeX RDF	Java/C integration, multilanguage interoperability, scheduling, embedded systems, real-time, encapsulation, legacy code
40	Matthias Pfeffer, Sascha Uhrig, Theo Ungerer, Uwe Brinkschulte	A Real-Time Java System on a Multithreaded Java Microcontroller.	Symposium on Object-Oriented Real-Time Distributed Computing	2002	DBLP DOI BibTeX RDF	real-time kernel and operating system, embedded systems, multithreading, real-time scheduling, real-time Java
40	Eamonn Hyland, Gary Clynch	Initial experiences gained and initiatives employed in the teaching of Java programming in the Institute of Technology Tallaght.	PPPJ/IRE	2002	DBLP BibTeX RDF	Java
40	T. John Brown, Ivor T. A. Spence, Peter Kilpatrick	Mixin programming in Java with reflection and dynamic invocation.	PPPJ/IRE	2002	DBLP BibTeX RDF	dynamic invocation, role base programming, Java, C++, reflection, mixin
40	Eric E. Allen, Robert Cartwright	The case for run-time types in generic Java.	PPPJ/IRE	2002	DBLP BibTeX RDF	Java
40	Neng-Fa Zhou	Building Java Applets by Using DJ - A Java-based Constraint Language.	COMPSAC	1999	DBLP DOI BibTeX RDF	DJ, Java, Prolog, Layout, Constraint programming, Applet
40	Martin Plümicke	Intersection types in Java.	PPPJ	2008	DBLP DOI BibTeX RDF	program design and implementation, code generation, type system, type inference, language design
40	Jianna J. Zhang, Huy Nguyen	An example oriented on-line Java tutorial for university students.	PPPJ	2004	DBLP BibTeX RDF
40	Jean-Pierre Talpin, Abdoulaye Gamatié, David Berner, Bruno Le Dez, Paul Le Guernic	Hard Real-Time Implementation of Embedded Software in JAVA.	FIDJI	2003	DBLP DOI BibTeX RDF
40	Jun-Young Jung, Min-Soo Jung	Design and Implementation of Small-Sized Java Virtual Machine on Java Platform Jini.	ICOIN (1)	2002	DBLP DOI BibTeX RDF
40	Catalin Amza, Gianna Reggio	A Notation for Component-Based Design of Java Applications.	FIDJI	2002	DBLP DOI BibTeX RDF
39	Laurent Baduel, Françoise Baude, Denis Caromel	Efficient, flexible, and typed group communications in Java.	Java Grande	2002	DBLP DOI BibTeX RDF	hierarchical and dynamic groups, group communications, active objects
39	Bernhard Beckert	A Dynamic Logic for the Formal Verification of Java Card Programs.	Java Card Workshop	2000	DBLP DOI BibTeX RDF
39	Don Syme	Proving Java Type Soundness.	Formal Syntax and Semantics of Java	1999	DBLP DOI BibTeX RDF
39	Pietro Cenciarelli, Alexander Knapp, Bernhard Reus, Martin Wirsing	An Event-Based Structural Operational Semantics of Multi-Threaded Java.	Formal Syntax and Semantics of Java	1999	DBLP DOI BibTeX RDF
39	Jim Alves-Foss, Fong Shing Lam	Dynamic Denotational Semantics of Java.	Formal Syntax and Semantics of Java	1999	DBLP DOI BibTeX RDF
39	Chris Carter 0001, Abdennour El Rhalibi, Madjid Merabti, Marc Price	Networking Middleware and Online-Deployment Mechanisms for Java-Based Games.	Trans. Edutainment	2009	DBLP DOI BibTeX RDF	Homura, NetHomura, Java Monkey Engine, jME, Java Web Start, P2P Games, Java, Distributed Systems, Peer to Peer Networking, Deployment, Web Technologies, JXTA
39	Jens Müller, Wilhelm G. Spruth	Anwendungs- und Transaktionsisolation unter Java.	Inform. Forsch. Entwickl.	2008	DBLP DOI BibTeX RDF	ACID, Application Isolation API, JSR-121, Multi-Tasking Virtual Machine, Persistent Reusable Java Virtual Machine, Virtual Machine Container, Transaction, Java Virtual Machine, J2EE, Isolation, Enterprise JavaBeans, Java EE
39	Sotiris Skevoulis, Xiaoping Jia	Generic Invariant-Based Static Analysis Tool for Detection of Runtime Errors in Java Programs.	TOOLS (37)	2000	DBLP DOI BibTeX RDF	generic invariant-based static analysis tool, runtime error detection, automatic bug detection, illegal dereference, array bounds, Java class, Java, object-oriented programming, object oriented language, program debugging, program diagnostics, Java programs
39	Antonio Corradi, Rebecca Montanari, Cesare Stefanelli, Emil Lupu, Morris Sloman	A Flexible Access Control Service for Java Mobile Code.	ACSAC	2000	DBLP DOI BibTeX RDF	flexible access control service, Java mobile code, remote servers, distributed heterogeneous clients, foreign code execution, host node protection, code protection, sandbox model, downloaded code, source location, inter-organisational environments, expressive languages, Ponder, Java security architecture, Java, Internet, specification languages, security policies, signature, distributed programming, Internet applications, authorisation, declarative language, technology diffusion, dynamic loading
39	Stefano Campadello, Oskari Koskimies, Kimmo E. E. Raatikainen, Heikki Helin	Wireless Java RMI.	EDOC	2000	DBLP DOI BibTeX RDF	wireless Java RMI, protocol overhead, round-trips, slow wireless links, Java RMI specification, network hosts, mediator technology, Java, data traffic
39	Stefan Covaci, Tianning Zhang, Ingo Busse	Java-Based Intelligent Mobil Agents for Open System Management.	ICTAI	1997	DBLP DOI BibTeX RDF	Java based intelligent mobile agents, open system management, telecommunications environments, Java based mobile agent platform, mobile management agents, mobility framework, intelligence platform, management solution knowledge, Java based rules, specialization/generalization relationships, intelligence paradigm, knowledge processing mechanism, widely distributed telecommunications environment, network management solutions, specification, service management, computer network management, object oriented development
39	Olli Vertanen	Java Type Confusion and Fault Attacks.	FDTC	2006	DBLP DOI BibTeX RDF	type confusion, Java, embedded systems, fault attacks, Java Card
39	Néstor Cataño, Marieke Huisman	Formal Specification and Static Checking of Gemplus' Electronic Purse Using ESC/Java.	FME	2002	DBLP DOI BibTeX RDF	ESC/Java, Java, specification, smart cards, static checking
39	Sanjay P. Ahuja, Renato Quintao	Performance Evaluation of Java RMI: A Distributed Object Architecture for Internet Based Applications.	MASCOTS	2000	DBLP DOI BibTeX RDF	Java Sockets, performance evaluation, Internet, WWW, Java RMI
39	Joachim Posegga	Die Sicherheitsaspekte von Java.	Inform. Spektrum	1998	DBLP DOI BibTeX RDF	Java Sicherheit, downloadable code, Java
39	Said Hadjerrouit	A constructivist framework for integrating the Java paradigm into the undergraduate curriculum.	ITiCSE	1998	DBLP DOI BibTeX RDF	Java paradigm, Java, constructivism, undergraduate curriculum
39	Rachid Helaihel, Kunle Olukotun	Java as a specification language for hardware-software systems.	ICCAD	1997	DBLP DOI BibTeX RDF	java, Java, specification languages, hardware-software co-design
39	Kiyokuni Kawachiya, Kazunori Ogata, Tamiya Onodera	Analysis and reduction of memory inefficiencies in Java strings.	OOPSLA	2008	DBLP DOI BibTeX RDF	footprint analysis and reduction, java, garbage collection, memory management, string
39	Byung-Sun Yang, Junpyo Lee, SeungIl Lee, Seongbae Park, Yoo C. Chung, Suhyun Kim, Kemal Ebcioglu, Erik R. Altman, Soo-Mook Moon	Efficient Register Mapping and Allocation in LaTTe, an Open-Source Java Just-in-Time Compiler.	IEEE Trans. Parallel Distributed Syst.	2007	DBLP DOI BibTeX RDF	register mapping, copy coalescing, Java virtual machine, register allocation, just-in-time compilation
39	Gang Tan, Greg Morrisett	Ilea: inter-language analysis across java and c.	OOPSLA	2007	DBLP DOI BibTeX RDF	JVML, inter-language analysis, specification extraction, JNI, java native interface
39	Youngsun Han, Seon Kim, Chulwoo Kim	Jaguar: A Compiler Infrastructure for Java Reconfigurable Computing.	ICESS	2005	DBLP DOI BibTeX RDF	Java, FPGA, compiler, Reconfigurable computing, Verilog
39	Peng Li, Steve Zdancewic	Advanced control flow in Java card programming.	LCTES	2004	DBLP DOI BibTeX RDF	trampolined style, smart card, continuation, control flow, Java card, CPS
39	Abhik Roychoudhury, Tulika Mitra	Specifying multithreaded Java semantics for program verification.	ICSE	2002	DBLP DOI BibTeX RDF	Java, JavaScript
39	Jerome Miecznikowski, Laurie J. Hendren	Decompiling Java Using Staged Encapsulation.	WCRE	2001	DBLP DOI BibTeX RDF	Java Decompile Soot Dava Staged Encapsulation Sable
39	Egon Börger, Wolfram Schulte	Initialization problems for Java.	Softw. Concepts Tools	2000	DBLP DOI BibTeX RDF	Java, Compiler, Virtual machine, Programming language
39	Ravi B. Konuru, Harini Srinivasan, Jong-Deok Choi	Deterministic Replay of Distributed Java Applications.	IPDPS	2000	DBLP DOI BibTeX RDF	Java tools, network, debugging, distributed, threads, deterministic replay
39	Sara Bouchenak, Daniel Hagimont	Pickling Threads State in the Java System.	TOOLS (33)	2000	DBLP DOI BibTeX RDF	Java, thread migration
39	Byung-Sun Yang, Soo-Mook Moon, Seongbae Park, Junpyo Lee, SeungIl Lee, Jinpyo Park, Yoo C. Chung, Suhyun Kim, Kemal Ebcioglu, Erik R. Altman	LaTTe: A Java VM Just-In-Time Compiler with Fast and Efficient Register Allocation.	IEEE PACT	1999	DBLP DOI BibTeX RDF	Java JIT compilation, register allocation
39	Zhiyi Huang 0001, Stephen Cranefield, K. M. V. Chee, Martin K. Purvis	A Java Networking API for ATM Networks.	TOOLS (31)	1999	DBLP DOI BibTeX RDF	Java, network, Asynchronous Transfer Mode (ATM), Application Programming Interface (API), socket
39	Sara Porat, Bilha Mendelson, Irina Shapira	Sharpening global static analysis to cope with Java.	CASCON	1998	DBLP BibTeX RDF	Java
38	Daniel Smith 0003, Robert Cartwright	Java type inference is broken: can we fix it?	OOPSLA	2008	DBLP DOI BibTeX RDF	bounded quantification, polymorphic methods, type argument inference, generics, type inference, subtyping, intersection types, union types, wildcards, parameterized types
38	Henrique Rebêlo, Sérgio Soares, Ricardo Massa Ferreira Lima, Leopoldo Ferreira, Márcio Cornélio	Implementing Java modeling language contracts with AspectJ.	SAC	2008	DBLP DOI BibTeX RDF	JML compiler, aspect-oriented programming, AspectJ, design by contract, JML language
38	Ying Jin 0002	Formal Verification of Protocol Properties of Sequential Java Programs.	COMPSAC (1)	2007	DBLP DOI BibTeX RDF
38	Yangsun Lee 0002, Seungwon Na	Java Bytecode-to-.NET MSIL Translator for Construction of Platform Independent Information Systems.	KES	2004	DBLP DOI BibTeX RDF
38	Hsin-Ta Chiao, Chi-Houng Wu, Shyan-Ming Yuan	A More Expressive Monitor for Concurrent Java Programming.	Euro-Par	2000	DBLP DOI BibTeX RDF