Search results for "the Java language"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Eric Van Wyk, Lijesh Krishnan, Derek Bodin, Eric Johnson	Adding domain-specific and general purpose language features to Java with the Java language extender.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	attribute grammars, forwarding, extensible languages
2	Bernd Mathiske, Douglas N. Simon, Dave Ungar	The Project Maxwell assembler system.	PPPJ	2006	DBLP DOI BibTeX RDF	assembler generator, cross assembler, domain-specific framework, the Java language, Java, automated testing, systems programming, disassembler
2	Christopher J. F. Pickett, Clark Verbrugge	Software Thread Level Speculation for the Java Language and Virtual Machine Environment.	LCPC	2005	DBLP DOI BibTeX RDF
2	Frank Dévai, Mizanur Rahman	The Suitability of the Java Language for Computer-Graphics and Visualisation Research.	IV	2002	DBLP DOI BibTeX RDF
1	Ralf Lämmel, Vadim Zaytsev	Recovering grammar relationships for the Java Language Specification.	Software Quality Journal	2011	DBLP DOI BibTeX RDF
1	Ralf Lämmel, Vadim Zaytsev	Recovering Grammar Relationships for the Java Language Specification	CoRR	2010	DBLP BibTeX RDF
1	Nabil El Boustani, Jurriaan Hage	Corrective hints for type incorrect generic Java programs.	PEPM	2010	DBLP DOI BibTeX RDF	compilers, heuristics, error correcting, type checking, java generics, error reporting
1	Gautam Upadhyaya, Samuel P. Midkiff, Vijay S. Pai	Using data structure knowledge for efficient lock generation and strong atomicity.	PPOPP	2010	DBLP DOI BibTeX RDF	automatic lock generation, parallel programming, transactional memory
1	Ralf Lämmel, Vadim Zaytsev	Recovering Grammar Relationships for the Java Language Specification.	SCAM	2009	DBLP DOI BibTeX RDF
1	Martin Th Görg, Jianjun Zhao	Identifying semantic differences in AspectJ programs.	ISSTA	2009	DBLP DOI BibTeX RDF	aop, difference analysis, disjunctive matching, static analysis, aspectj, semantic analysis
1	Myoungkyu Song, Eli Tilevich, Wesley Tansey	Trailblazer: a tool for automated annotation refactoring.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	metadata, frameworks, annotations, refactoring, eclipse
1	Nabil El Boustani, Jurriaan Hage	Improving type error messages for generic java.	PEPM	2009	DBLP DOI BibTeX RDF	compilers, type checking, java generics, error reporting
1	Niels Brouwers, Koen Langendoen, Peter Corke	Darjeeling, a feature-rich VM for the resource poor.	SenSys	2009	DBLP DOI BibTeX RDF	wireless sensor networks, Java, virtual machines
1	Pascal Vicaire, Zhiheng Xie, Enamul Hoque, John A. Stankovic	Physicalnet: a middleware for programming concurrent, across administrative domain sensor and actuator networks.	SenSys	2009	DBLP DOI BibTeX RDF	wireless sensor networks, middleware, architecture
1	Brian Hanks, Matt Brandt	Successful and unsuccessful problem solving approaches of novice programmers.	SIGCSE	2009	DBLP DOI BibTeX RDF	problem solving approaches, java, pair programming, introductory programming, novice, distributed pair programming
1	Joshua S. Auerbach, David F. Bacon, Daniel T. Iercan, Christoph M. Kirsch, V. T. Rajan, Harald Röck, Rainer Trummer	Low-latency time-portable real-time programming with Exotasks.	ACM Trans. Embedded Comput. Syst.	2009	DBLP DOI BibTeX RDF	time portability, virtual machine, Real-time scheduling, UAVs
1	Avinash Malik, Zoran A. Salcic, Partha S. Roop	SystemJ compilation using the tandem virtual machine approach.	ACM Trans. Design Autom. Electr. Syst.	2009	DBLP DOI BibTeX RDF	SystemJ, compilation, virtual machines, System-level design, esterel
1	Lauro Snidaro, Massimo Belluz, Gian Luca Foresti	Modelling and Managing Domain Context for Automatic Surveillance Systems.	AVSS	2009	DBLP DOI BibTeX RDF
1	Lorenzo Bettini, Viviana Bono, Erica Turin	I-Java: An Extension of Java with Incomplete Objects and Object Composition.	Software Composition	2009	DBLP DOI BibTeX RDF	Class-based languages, Java, Object-oriented programming, Language extension, Object composition
1	Matthew M. Papi, Mahmood Ali, Telmo Luis Correa Jr., Jeff H. Perkins, Michael D. Ernst	Practical pluggable types for java.	ISSTA	2008	DBLP DOI BibTeX RDF	igj, javari, pluggable type, java, verification, compiler, annotation, case study, type system, polymorphism, intern, type qualifier, bug finding, flow sensitivity, readonly, immutable, nonnull, javac
1	Kelvin Nilsen	Simple low-level real-time threading semantics to enable portability, efficiency, analyzability, and generality.	JTRES	2008	DBLP DOI BibTeX RDF	safety-critical certification, Java, real-time, threading, RTSJ
1	Craig Anslow, James Noble, Stuart Marshall, Ewan D. Tempero	Visualizing the word structure of Java class names.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	class names, java, evolution, software visualization
1	Nels E. Beckman, Kevin Bierhoff, Jonathan Aldrich	Verifying correct usage of atomic blocks and typestate.	OOPSLA	2008	DBLP DOI BibTeX RDF	transactional memory, permissions, typestate
1	Matthew M. Papi, Mahmood Ali, Michael D. Ernst	Compile-time type-checking for custom type qualifiers in java.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	java, verification, compiler, annotation, type system, type qualifier, nonnull, javac
1	Matthew M. Papi, Mahmood Ali, Michael D. Ernst	Compile-time type-checking for custom type qualifiers in Java.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	java, verification, compiler, annotation, type system, type qualifier, nonnull, javac
1	Wesley Tansey, Eli Tilevich	Annotation refactoring: inferring upgrade transformations for legacy applications.	OOPSLA	2008	DBLP DOI BibTeX RDF	java, metadata, frameworks, annotations, refactoring, eclipse, JUnit, upgrading
1	Marc L. Corliss, E. Christopher Lewis	Bantam: a customizable, java-based, classroom compiler.	SIGCSE	2008	DBLP DOI BibTeX RDF	bantam java
1	Mathias Santos de Brito, Liria Matsumoto Sato	Extending OGSA-DAI Possibilities with a JDBC Driver.	CSE	2008	DBLP DOI BibTeX RDF	Grid Computing, Distributed Databases, OGSA-DAI, JDBC
1	Aamir Shafi, Aftab Hussain, Jamil Raza	A parallel implementation of the Finite-Domain Time-Difference algorithm using MPJ express.	IPDPS	2008	DBLP DOI BibTeX RDF
1	Andrew Cain, Tsong Yueh Chen, D. D. Grant, Fei-Ching Kuo, Jean-Guy Schneider	An Object Oriented Approach towards Dynamic Data Flow Analysis (Short Paper).	QSIC	2008	DBLP DOI BibTeX RDF	Meta-level Programming, Object-Oriented Programs, Program Instrumentation, Dynamic Data Flow Analysis
1	Jaroslav Sevcík, David Aspinall	On Validity of Program Transformations in the Java Memory Model.	ECOOP	2008	DBLP DOI BibTeX RDF
1	John M. Hunt, John D. McGregor	When less is more: implementing optional features.	ACM Southeast Regional Conference	2007	DBLP DOI BibTeX RDF	feature separation, java, reuse, feature interaction
1	Joshua S. Auerbach, David F. Bacon, Bob Blainey, Perry Cheng, Michael Dawson, Mike Fulton, David Grove, Darren Hart, Mark G. Stoodley	Design and implementation of a comprehensive real-time java virtual machine.	EMSOFT	2007	DBLP DOI BibTeX RDF	AOT, java, real time, garbage collection, JVM, JIT
1	Tamar Vilner, Ela Zur, Judith Gal-Ezer	Fundamental concepts of CS1: procedural vs. object oriented paradigm - a case study.	ITiCSE	2007	DBLP DOI BibTeX RDF	OOP paradigm, procedural paradigm, CS1
1	Georgios Gousios	The JikesXen Java server platform.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	performance, virtual machine, operating system, JVM
1	Matthew M. Papi, Michael D. Ernst	Compile-time type-checking for custom type qualifiers in Java.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	Java, verification, compiler, annotation, type system, type qualifier, NonNull, javac
1	Matthew M. Papi, Michael D. Ernst	Compile-time type-checking for custom type qualifiers in Java.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	Java, verification, compiler, annotation, type system, type qualifier, NonNull, javac
1	Ben Titzer, Joshua S. Auerbach, David F. Bacon, Jens Palsberg	The ExoVM system for automatic VM and application reduction.	PLDI	2007	DBLP DOI BibTeX RDF	VM design, VM modularity, pre-initialization, static compilation, embedded systems, static analysis, persistence, feature analysis, dead code elimination
1	Gautier Loyauté, Rémi Forax, Gilles Roussel	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
1	Fabio Mancinelli, Paola Inverardi	Quantitative resource-oriented analysis of Java (Adaptable) applications.	WOSP	2007	DBLP DOI BibTeX RDF	resource aware frameworks, adaptable applications
1	Patrick Eugster	Type-based publish/subscribe: Concepts and experiences.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	Java, distribution, Abstraction, generics, reflection, publish/subscribe, type
1	Ninh-Thuan Truong, Viet Ha Nguyen	Using B to Verify the Weaving of Aspects.	APSEC	2007	DBLP DOI BibTeX RDF
1	Nelson Baloian, Gustavo Zurita, Pedro Antunes, Felipe Baytelman	A Flexible, Lightweight Middleware Supporting the Development of Distributed Applications across Platforms.	CSCWD	2007	DBLP DOI BibTeX RDF
1	Patrícia D. L. Machado, Jorge C. A. de Figueiredo, Emerson F. A. Lima, Ana E. V. Barbosa, Helton S. Lima	Component-based integration testing from UML interaction diagrams.	SMC	2007	DBLP DOI BibTeX RDF
1	Vincenzo Gervasi, Giacomo A. Galilei	Software Manipulation with Annotations in Java.	Lipari Summer School	2007	DBLP DOI BibTeX RDF
1	David Aspinall, Jaroslav Sevcík	Formalising Java's Data Race Free Guarantee.	TPHOLs	2007	DBLP DOI BibTeX RDF
1	Shi Zhang, Linpeng Huang	Research on dynamic update transaction for Java classes.	Frontiers of Computer Science in China	2007	DBLP DOI BibTeX RDF	Java language, program design, dynamic software update, update transaction
1	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
1	Marco A. Wehrmeister, Carlos Eduardo Pereira, Leandro Buss Becker	Optimizing the generation of object-oriented real-time embedded applications based on the real-time specification for Java.	DATE	2006	DBLP DOI BibTeX RDF
1	Ian Utting	Problems in the initial teaching of programming using Java: the case for replacing J2SE with J2ME.	ITiCSE	2006	DBLP DOI BibTeX RDF	programming languages, introductory programming
1	Caroline Appert, Michel Beaudouin-Lafon	SwingStates: adding state machines to the swing toolkit.	UIST	2006	DBLP DOI BibTeX RDF	java swing, toolkit, state machine, widget
1	Gerwin Klein, Tobias Nipkow	A machine-checked model for a Java-like language, virtual machine, and compiler.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	Java, theorem proving, operational semantics
1	Boniface Hicks, Kiyan Ahmadizadeh, Patrick Drew McDaniel	From Languages to Systems: Understanding Practical Application Development in Security-typed Languages.	ACSAC	2006	DBLP DOI BibTeX RDF
1	Pierre Seguin, Haibin Zhu	Implementing a Tool for Role-Based Collaboration.	CCECE	2006	DBLP DOI BibTeX RDF
1	Mark Baker, Bryan Carpenter, Aamir Shafi	MPJ Express: Towards Thread Safe Java HPC.	CLUSTER	2006	DBLP DOI BibTeX RDF
1	Chengwan He, Zhijie Nie, Bifeng Li, Lianlian Cao, Keqing He	Rava: Designing a Java Extension with Dynamic Object Roles.	ECBS	2006	DBLP DOI BibTeX RDF
1	Szabolcs Pota, Zoltan Juhasz	The benefits of Java and Jini in the JGrid system.	IPDPS	2006	DBLP DOI BibTeX RDF
1	Mark A. Baker, Matthew Grove, Aamir Shafi	Parallel and Distributed Computing with Java.	ISPDC	2006	DBLP DOI BibTeX RDF
1	Guy L. Steele Jr.	Parallel Programming and Parallel Abstractions in Fortress.	FLOPS	2006	DBLP DOI BibTeX RDF
1	Ming-Yee Iu, Willy Zwaenepoel	Queryll: Java Database Queries Through Bytecode Rewriting.	Middleware	2006	DBLP DOI BibTeX RDF
1	Su Huang, Rafail Baimouratov, Pengdong Xiao, Anand Ananthasubramaniam, Wieslaw L. Nowinski	A Medical Imaging and Visualization Toolkit in Java.	J. Digital Imaging	2006	DBLP DOI BibTeX RDF	anatomy model, Java, visualization, Medical imaging, toolkit
1	Pavel Avgustinov, Aske Simon Christensen, Laurie J. Hendren, Sascha Kuzins, Jennifer Lhoták, Ondrej Lhoták, Oege de Moor, Damien Sereni, Ganesh Sittampalam, Julian Tibble	abc : An Extensible AspectJ Compiler.	T. Aspect-Oriented Software Development	2006	DBLP DOI BibTeX RDF
1	Pavel Avgustinov, Aske Simon Christensen, Laurie J. Hendren, Sascha Kuzins, Jennifer Lhoták, Ondrej Lhoták, Oege de Moor, Damien Sereni, Ganesh Sittampalam, Julian Tibble	abc: an extensible AspectJ compiler.	AOSD	2005	DBLP DOI BibTeX RDF
1	Arjan Seesing, Alessandro Orso	InsECTJ: a generic instrumentation framework for collecting dynamic information within Eclipse.	ETX	2005	DBLP DOI BibTeX RDF
1	David Saff, Shay Artzi, Jeff H. Perkins, Michael D. Ernst	Automatic test factoring for java.	ASE	2005	DBLP DOI BibTeX RDF	test factoring, unit testing, mock objects
1	Yasuhiro Hayase, Makoto Matsushita, Katsuro Inoue	Revision control system using delta script of syntax tree.	SCM	2005	DBLP DOI BibTeX RDF
1	Leland L. Beck, Alexander W. Chizhik, Amy C. McElroy	Cooperative learning techniques in CS1: design and experimental evaluation.	SIGCSE	2005	DBLP DOI BibTeX RDF	pedagogy, CS1, cooperative learning, classroom management
1	Paul V. Gestwicki, Bharat Jayaraman	Methodology and architecture of JIVE.	SOFTVIS	2005	DBLP DOI BibTeX RDF
1	Tiequan Zhang, Rori Rohlfs, Russell Schwartz	Implementation of a discrete event simulator for biological self-assembly systems.	Winter Simulation Conference	2005	DBLP DOI BibTeX RDF
1	Godmar Back, Wilson C. Hsieh	The KaffeOS Java runtime system.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	language runtimes, Robustness, virtual machines, resource management, garbage collection, termination, isolation
1	Jens Dietrich, Chris Elgar	A Formal Description of Design Patterns Using OWL.	Australian Software Engineering Conference	2005	DBLP DOI BibTeX RDF	software design theory, automated pattern detection, semantic web, object-oriented programming, design patterns, web ontologies
1	Roxana Diaconescu, Lei Wang, Zachary Mouri, Matt Chu	A Compiler and Runtime Infrastructure for Automatic Program Distribution.	IPDPS	2005	DBLP DOI BibTeX RDF
1	Holger Grandy, Kurt Stenzel, Wolfgang Reif	Object Oriented Verification Kernels for Secure Java Applications.	SEFM	2005	DBLP DOI BibTeX RDF
1		Computer Society Connection.	IEEE Computer	2005	DBLP DOI BibTeX RDF
1	Sang Boem Lim, Bryan Carpenter, Geoffrey Fox, Han-Ku Lee	Collective Communications for Scalable Programming.	ISPA	2005	DBLP DOI BibTeX RDF
1	Matteo Baldoni, Guido Boella, Leendert W. N. van der Torre	Bridging Agent Theory and Object Orientation: Importing Social Roles in Object Oriented Languages.	PROMAS	2005	DBLP DOI BibTeX RDF
1	Murat Karaorman, Parker Abercrombie	jContractor: Introducing Design-by-Contract to Java Using Reflective Bytecode Instrumentation.	Formal Methods in System Design	2005	DBLP DOI BibTeX RDF	jContractor, Java, Design by Contract, bytecode instrumentation
1	Liwu Li	Extending the Java Language with Dynamic Classification.	Journal of Object Technology	2004	DBLP DOI BibTeX RDF
1	Jonathan Aldrich, David Garlan, Bradley R. Schmerl, Tony Tseng	Modeling and implementing software architecture with acme and archJava.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF
1	Jonathan Aldrich, David Garlan, Bradley R. Schmerl, Tony Tseng	Modeling and implementing software architecture with acme and archJava.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	languages
1	Daniel von Dincklage, Amer Diwan	Converting Java classes to use generics.	OOPSLA	2004	DBLP DOI BibTeX RDF	generics, type inference, parametric polymorphism
1	Martin Lippert	AJEER: an aspectJ-enabled eclipse runtime.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	cross-plugin pointcuts, eclipse rich client platform, plugin runtime, aspect-oriented programming, modularization, eclipse, aspectJ
1	Martin Lippert	AJEER: an aspectJ-enabled eclipse runtime.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	cross-plugin pointcuts, eclipse rich client platform, plugin runtime, aspect-oriented programming, modularization, eclipse, aspectJ
1	Nathaniel Nystrom, Stephen Chong, Andrew C. Myers	Scalable extensibility via nested inheritance.	OOPSLA	2004	DBLP DOI BibTeX RDF	nested classes, inheritance, object-oriented programming languages, virtual classes
1	Jeremy D. Frens	Taming the tiger: teaching the next version of Java.	SIGCSE	2004	DBLP DOI BibTeX RDF	CS-2, typesafe enums, Java, CS-1, generic types
1	Kevin J. Bierre, Andrew M. Phelps	The use of MUPPETS in an introductory java programming course.	SIGITE Conference	2004	DBLP DOI BibTeX RDF	virtual worlds, graphics, programming education, game programming
1	Yoshinori Saida, Hiroshi Chishima, Satoshi Hieda, Naoki Sato, Yukikazu Nakamoto	An Extensible Browser Architecture for Mobile Terminals.	ICDCS Workshops	2004	DBLP DOI BibTeX RDF	Extensible Architecture, Browser, Mobile Terminal, Markup Languages
1	Patrick Th. Eugster, Christian Heide Damm, Rachid Guerraoui	Towards Safe Distributed Application Development.	ICSE	2004	DBLP DOI BibTeX RDF
1	Michael Factor, Assaf Schuster, Konstantin Shagin	A Distributed Runtime for Java: Yesterday and Today.	IPDPS	2004	DBLP DOI BibTeX RDF
1	Guillaume Marceau, Gregory H. Cooper, Shriram Krishnamurthi, Steven P. Reiss	Dataflow Language for Scriptable Debugging.	ASE	2004	DBLP DOI BibTeX RDF
1	Yoshiharu Asakura, Gen Okuyama, Yoshitaka Nakayama, Kazutoshi Usui, Yukikazu Nakamoto	Multi-Application Platform for Mobile Phones.	WSTFEUS	2004	DBLP DOI BibTeX RDF
1	Patrick Th. Eugster, Rachid Guerraoui	Distributed Programming with Typed Events.	IEEE Software	2004	DBLP DOI BibTeX RDF	Java, events, Distributed programming, publish-subscribe, type safety
1	Juan Guillen Scholten, Farhad Arbab	Coordinated Anonymous Peer-to-Peer Connections with MoCha.	FIDJI	2004	DBLP DOI BibTeX RDF
1	Andrea Corradini, Fernando Luís Dotti, Luciana Foss, Leila Ribeiro	Translating Java Code to Graph Transformation Systems.	ICGT	2004	DBLP DOI BibTeX RDF
1	Nik Shaylor, Douglas N. Simon, William R. Bush	A java virtual machine architecture for very small devices.	LCTES	2003	DBLP DOI BibTeX RDF	CLDC, limited-memory devices, next generation smart cards, java, JVM
1	Kathryn E. Gray, Matthew Flatt	ProfessorJ: a gradual introduction to Java through language levels.	OOPSLA Companion	2003	DBLP DOI BibTeX RDF
1	Charles Reis, Robert Cartwright	A friendly face for Eclipse.	OOPSLA Workshop on Eclipse Technology eXchange	2003	DBLP DOI BibTeX RDF
1	Leonardo Cecchi, Pilu Crescenzi, Gaia Innocenti	C : C++ = JavaMM: Java.	PPPJ	2003	DBLP DOI BibTeX RDF	computer science education, object-oriented languages
1	Robert L. Scot Drysdale, Judith Hromcik, Mark Allen Weiss, Reg Hahne	Java in the morning...Java in the evening...Java in 2004.	SIGCSE	2003	DBLP DOI BibTeX RDF	AP CS, AP CS development committee, advanced placement computer science, high school teachers, marine biology simulation, Java, OOP, C++, case study, computer science, AP
1	Davide Ancona, Giovanni Lagorio, Elena Zucca	Jam - designing a Java extension with mixins.	ACM Trans. Program. Lang. Syst.	2003	DBLP DOI BibTeX RDF	Java, language design