| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jonathan Misurda, Bruce R. Childers, Mary Lou Soffa |
Jazz2: a flexible and extensible framework for structural testing in a Java VM.  |
PPPJ  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent Cavé, Jisheng Zhao, Jun Shirako, Vivek Sarkar |
Habanero-Java: the new adventures of old X10.  |
PPPJ  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Javed Absar, Deepak Shekhar |
Eliminating partially-redundant array-bounds check in the Android Dalvik JIT compiler.  |
PPPJ  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Coen De Roover, Carlos Noguera, Andy Kellens, Viviane Jonckers |
The SOUL tool suite for querying programs in symbiosis with Eclipse.  |
PPPJ  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Schatzl, Laurent Daynès, Hanspeter Mössenböck |
Optimized memory management for class metadata in a JVM.  |
PPPJ  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Bettini, Betti Venneri |
Object reuse and behavior adaptation in Java-like languages.  |
PPPJ  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Achille Peternier, Daniele Bonetta, Walter Binder, Cesare Pautasso |
Overseer: low-level hardware monitoring and management for Java.  |
PPPJ  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian W. Probst, Christian Wimmer (eds.) |
Proceedings of the 9th International Conference on Principles and Practice of Programming in Java, PPPJ 2011, Kongens Lyngby, Denmark, August 24-26, 2011  |
PPPJ  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Du Li, Witawas Srisa-an |
Quarantine: a framework to mitigate memory errors in JNI applications.  |
PPPJ  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Aibek Sarimbekov, Andreas Sewe, Walter Binder, Philippe Moret, Martin Schoeberl, Mira Mezini |
Portable and accurate collection of calling-context-sensitive bytecode metrics for the Java virtual machine.  |
PPPJ  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Bettini |
A DSL for writing type systems for Xtext languages.  |
PPPJ  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Plümicke |
Well-typings for Javaλ.  |
PPPJ  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jarred Payne, Vincent Cavé, Raghavan Raman, Mathias Ricken, Robert Cartwright, Vivek Sarkar |
DrHJ: a lightweight pedagogic IDE for Habanero Java.  |
PPPJ  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nathan P. Ricci, Samuel Z. Guyer, J. Eliot B. Moss |
Elephant Tracks: generating program traces with object death records.  |
PPPJ  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Gudenkauf, Wilhelm Hasselbring |
Space-based multi-core programming in Java.  |
PPPJ  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Häubl, Hanspeter Mössenböck |
Trace-based compilation for the Java HotSpot virtual machine.  |
PPPJ  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Filip Pizlo, Daniel Frampton, Antony L. Hosking |
Fine-grained adaptive biased locking.  |
PPPJ  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Kaufmann, Matthias Häsing, Thomas Preußer, Rainer G. Spallek |
The Java Virtual Machine in retargetable, high-performance instruction set simulation.  |
PPPJ  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Corradi, Marco Servetto, Elena Zucca |
DeepFJig: modular composition of nested classes.  |
PPPJ  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Schoeberl |
ejIP: a TCP/IP stack for embedded Java.  |
PPPJ  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jason McCandless, David Gregg |
Optimizing interpreters by tuning opcode orderings on virtual machines for modern architectures: or: how I learned to stop worrying and love hill climbing.  |
PPPJ  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Aamir Shafi, Jawad Manzoor, Kamran Hameed, Bryan Carpenter, Mark Baker |
Multicore-enabling the MPJ express messaging library.  |
PPPJ  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rhodes H. F. Brown, R. Nigel Horspool |
Local redundant polymorphism query elimination.  |
PPPJ  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Sewe, Dingwen Yuan, Jan Sinschek, Mira Mezini |
Headroom-based pretenuring: dynamically pretenuring objects that live "long enough".  |
PPPJ  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Moret, Walter Binder, Abbas Heydarnoori, Danilo Ansaloni |
Tool demonstration: effective runtime exploration of the inter-procedural control flow in Java applications.  |
PPPJ  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Arno Puder |
Cross-compiling Android applications to the iPhone.  |
PPPJ  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hugo Rito, João P. Cachopo |
Memoization of methods using software transactional memory to track internal state dependencies.  |
PPPJ  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Krall, Hanspeter Mössenböck (eds.) |
Proceedings of the 8th International Conference on Principles and Practice of Programming in Java, PPPJ 2010, Vienna, Austria, September 15-17, 2010  |
PPPJ  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Marco Autili, Paolo Di Benedetto, Paola Inverardi |
A programming model for adaptable Java applications.  |
PPPJ  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Olha Shkaravska, Rody Kersten, Marko C. J. D. van Eekelen |
Test-based inference of polynomial loop-bound functions.  |
PPPJ  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lajos Schrettner, Lajos Jeno Fülöp, Rudolf Ferenc, Tibor Gyimóthy |
Visualization of software architecture graphs of Java systems: managing propagated low level dependencies.  |
PPPJ  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lukas Stadler, Thomas Würthinger, Christian Wimmer |
Efficient coroutines for the Java platform.  |
PPPJ  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Thalinger, John Rose |
Optimizing invokedynamic.  |
PPPJ  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Sobernig, Uwe Zdun |
Evaluating Java runtime reflection for implementing cross-language method invocations.  |
PPPJ  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriella Toth, Péter Hegedus, Árpád Beszédes, Tibor Gyimóthy, Judit Jász |
Comparison of different impact analysis methods and programmer's opinion: an empirical study.  |
PPPJ  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Liangliang Tong, Francis C. M. Lau |
Exploiting memory usage patterns to improve garbage collections in Java.  |
PPPJ  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Bebenita, Mason Chang, Gregor Wagner, Andreas Gal, Christian Wimmer, Michael Franz |
Trace-based compilation in execution environments without interpreters.  |
PPPJ  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Würthinger, Christian Wimmer, Lukas Stadler |
Dynamic code evolution for Java.  |
PPPJ  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Buchgeher, Rainer Weinreich |
Tool demonstration: a toolkit for architecture-centric software development.  |
PPPJ  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer, Fabio Strocco |
A prototypical Java-like language with records and traits.  |
PPPJ  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Borys J. Bradel, Tarek S. Abdelrahman |
The use of hardware transactional memory for the trace-based parallelization of recursive Java programs.  |
PPPJ  |
2009 |
DBLP DOI BibTeX RDF |
Java, parallelism, transactional memory, traces |
| 1 | Christian Wimmer, Marcelo Silva Cintra, Michael Bebenita, Mason Chang, Andreas Gal, Michael Franz |
Phase detection using trace compilation.  |
PPPJ  |
2009 |
DBLP DOI BibTeX RDF |
trace compilation, Java, optimization, data flow, just-in-time compilation, phase detection |
| 1 | Xiaoming Gu, Xiao-Feng Li, Buqi Cheng, Eric Huang |
Virtual reuse distance analysis of SPECjvm2008 data locality.  |
PPPJ  |
2009 |
DBLP DOI BibTeX RDF |
SPECjvm2008, managed runtime, data locality, reuse distance |
| 1 | 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 |
| 1 | Axel-Tobias Schreiner, James E. Heliotis |
A discipline of tree processing.  |
PPPJ  |
2009 |
DBLP DOI BibTeX RDF |
tree manipulation, parser generators |
| 1 | Rajesh K. Karmani, Amin Shali, Gul Agha |
Actor frameworks for the JVM platform: a comparative analysis.  |
PPPJ  |
2009 |
DBLP DOI BibTeX RDF |
Java, performance, semantics, frameworks, abstractions, JVM, libraries, comparison, actors |
| 1 | Guillermo L. Taboada, Juan Touriño, Ramon Doallo |
Java for high performance computing: assessment of current research and practice.  |
PPPJ  |
2009 |
DBLP DOI BibTeX RDF |
cluster, Java, performance evaluation, message-passing, high performance computing, threads, InfiniBand, multi-core architectures |
| 1 | Sukyoung Ryu |
Parsing Fortress syntax.  |
PPPJ  |
2009 |
DBLP DOI BibTeX RDF |
parsing |
| 1 | Nagy Mostafa, Chandra Krintz |
Tracking performance across software revisions.  |
PPPJ  |
2009 |
DBLP DOI BibTeX RDF |
performance-aware revision control, profiling, calling context tree |
| 1 | Peter Molnar, Andreas Krall, Florian Brandner |
Stack allocation of objects in the CACAO virtual machine.  |
PPPJ  |
2009 |
DBLP DOI BibTeX RDF |
object allocation on stack, just-in-time compiler, escape analysis |
| 1 | William Harrison, David Lievens, Fabio Simeoni |
Safer typing of complex API usage through Java generics.  |
PPPJ  |
2009 |
DBLP DOI BibTeX RDF |
family polymorphism, interface-based programming, programming patterns, generics, programming languages |
| 1 | Alan Leung, Ondrej Lhoták, Ghulam Lashari |
Automatic parallelization for graphics processing units.  |
PPPJ  |
2009 |
DBLP DOI BibTeX RDF |
Java |
| 1 | Lukas Stadler, Christian Wimmer, Thomas Würthinger, Hanspeter Mössenböck, John Rose |
Lazy continuations for Java virtual machines.  |
PPPJ  |
2009 |
DBLP DOI BibTeX RDF |
stack frame, Java, optimization, performance, virtual machine, continuation, activation |
| 1 | Viera K. Proulx, Weston Jossey |
Unit test support for Java via reflection and annotations.  |
PPPJ  |
2009 |
DBLP DOI BibTeX RDF |
design, testing, CS1/2 |
| 1 | Matthias Hauswirth, Andrea Adamoli |
Solve & evaluate with informa: a Java-based classroom response system for teaching Java.  |
PPPJ  |
2009 |
DBLP DOI BibTeX RDF |
classroom clickers, collaborative learning |
| 1 | Rui Shen, Ji Wang, Shengdong Zhang, Siqi Shen, Pei Fan |
A framework for constructing peer-to-peer overlay networks in Java.  |
PPPJ  |
2009 |
DBLP DOI BibTeX RDF |
peer-to-peer, overlay network, asynchronous messaging |
| 1 | Ben Stephenson, Christian W. Probst (eds.) |
Proceedings of the 7th International Conference on Principles and Practice of Programming in Java, PPPJ 2009, Calgary, Alberta, Canada, August 27-28, 2009  |
PPPJ  |
2009 |
DBLP BibTeX RDF |
|
| 1 | Philip Hanna, Ian M. O'Neill, Darryl Stewart, Behrang QasemiZadeh |
Development of a Java-based unified and flexible natural language discourse system.  |
PPPJ  |
2009 |
DBLP DOI BibTeX RDF |
human computer interaction, spoken dialogue systems, dialogue management |
| 1 | Alex Villazón, Walter Binder, Philippe Moret, Danilo Ansaloni |
MAJOR: rapid tool development with aspect-oriented programming.  |
PPPJ  |
2009 |
DBLP DOI BibTeX RDF |
rapid tool development, Java, testing, aspect-oriented programming, debugging, profiling, Java virtual machine, bytecode instrumentation |
| 1 | Walter Binder, Danilo Ansaloni, Alex Villazón, Philippe Moret |
Parallelizing calling context profiling in virtual machines on multicores.  |
PPPJ  |
2009 |
DBLP DOI BibTeX RDF |
calling context profiling, Java, concurrency, aspect-oriented programming, multicores, Java virtual machine, bytecode instrumentation, calling context tree |
| 1 | Tal Cohen, Joseph Gil |
Three approaches to object evolution.  |
PPPJ  |
2009 |
DBLP DOI BibTeX RDF |
Java |
| 1 | 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 |
| 1 | Mathias Ricken, Robert Cartwright |
ConcJUnit: unit testing for concurrent programs.  |
PPPJ  |
2009 |
DBLP DOI BibTeX RDF |
Java, concurrent programming, unit testing, JUnit |
| 1 | Lorenzo Bettini, Viviana Bono |
Type safe dynamic object delegation in class-based languages.  |
PPPJ  |
2008 |
DBLP DOI BibTeX RDF |
delegation, language extensions, object composition, featherweight Java |
| 1 | Jevgeni Kabanov, Rein Raudjärv |
Embedded typesafe domain specific languages for Java.  |
PPPJ  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Gast |
Patterns and traceability in teaching software architecture.  |
PPPJ  |
2008 |
DBLP DOI BibTeX RDF |
software architecture, software engineering education |
| 1 | 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 |
| 1 | Pietu Pohjalainen, Juha Taina |
Self-configuring object-to-relational mapping queries.  |
PPPJ  |
2008 |
DBLP DOI BibTeX RDF |
object-to-relational mapping, persistence, software maintainability |
| 1 | Anna Riccioni, Enrico Denti, Roberto Laschi |
An experimental environment for teaching Java security.  |
PPPJ  |
2008 |
DBLP DOI BibTeX RDF |
Java cryptography extension, computer engineering education, virtual laboratory |
| 1 | Andreas Gampe, Jeffery von Ronne, David Niedzielski, Kleanthis Psarris |
Speculative improvements to verifiable bounds check elimination.  |
PPPJ  |
2008 |
DBLP DOI BibTeX RDF |
SafeTSA, array bounds check elimination, verifiable annotations, Java, optimization, just-in-time compilation |
| 1 | Nicolas Geoffray, Gaël Thomas, Charles Clément, Bertil Folliot |
A lazy developer approach: building a JVM with third party software.  |
PPPJ  |
2008 |
DBLP DOI BibTeX RDF |
BoehmGC, GNU classpath, JnJVM, Java, LLVM |
| 1 | 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 |
| 1 | Luís Veiga, Vasco Amaral, R. Nigel Horspool, Giacomo Cabri (eds.) |
Proceedings of the 6th International Symposium on Principles and Practice of Programming in Java, PPPJ 2008, Modena, Italy, September 9-11, 2008  |
PPPJ  |
2008 |
DBLP BibTeX RDF |
|
| 1 | Matthias Hauswirth, Dmitrijs Zaparanuks, Amirhossein Malekpour, Mostafa Keikha |
The JavaFest: a collaborative learning technique for Java programming courses.  |
PPPJ  |
2008 |
DBLP DOI BibTeX RDF |
collaborative learning |
| 1 | Andreas Naderlinger, Josef Templ |
A framework for command processing in Java/Swing programs based on the MVC pattern.  |
PPPJ  |
2008 |
DBLP DOI BibTeX RDF |
Java, framework, pattern, exception, MVC, undo, command, redo, Swing |
| 1 | Gregor Wagner, Andreas Gal, Michael Franz |
Slim VM: optimistic partial program loading for connected embedded Java virtual machines.  |
PPPJ  |
2008 |
DBLP DOI BibTeX RDF |
cold code removal, embedded connected devices, Java virtual machine, just-in-time compilation |
| 1 | Christopher Line, K. R. Jayaram, Patrick Eugster |
Lazy argument passing in Java RMI.  |
PPPJ  |
2008 |
DBLP DOI BibTeX RDF |
argument passing, invocation, method remote, Java, asynchronous, future, lazy |
| 1 | Milan Jovic, Matthias Hauswirth |
Measuring the performance of interactive applications with listener latency profiling.  |
PPPJ  |
2008 |
DBLP DOI BibTeX RDF |
listeners, GUI, profiling, latency |
| 1 | Alex Villazón, Walter Binder, Philippe Moret |
Aspect weaving in standard Java class libraries.  |
PPPJ  |
2008 |
DBLP DOI BibTeX RDF |
memory leak detection, aspect-oriented programming, profiling, bytecode instrumentation, aspect weaving |
| 1 | Alexander Yermolovich, Andreas Gal, Michael Franz |
Portable execution of legacy binaries on the Java virtual machine.  |
PPPJ  |
2008 |
DBLP DOI BibTeX RDF |
system emulation, legacy software |
| 1 | Christian Häubl, Christian Wimmer, Hanspeter Mössenböck |
Optimized strings for the Java HotSpot™ virtual machine.  |
PPPJ  |
2008 |
DBLP DOI BibTeX RDF |
Java, optimization, performance, string |
| 1 | Ian Rogers, Jisheng Zhao, Chris C. Kirkham, Ian Watson |
Constraint based optimization of stationary fields.  |
PPPJ  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Raffaele Quitadamo, Danilo Ansaloni, Niranjan Suri, Kenneth M. Ford, James F. Allen, Giacomo Cabri |
The PIM: an innovative robot coordination model based on Java thread migration.  |
PPPJ  |
2008 |
DBLP DOI BibTeX RDF |
mobile Java, robot coordination, PIM, thread migration |
| 1 | Arno Puder |
A cross-language framework for developing AJAX applications.  |
PPPJ  |
2007 |
DBLP DOI BibTeX RDF |
web applications, AJAX, cross-compiler |
| 1 | Vasco Amaral, Luis Marcelino, Luís Veiga, H. Conrad Cunningham (eds.) |
Proceedings of the 5th International Symposium on Principles and Practice of Programming in Java, PPPJ 2007, Lisboa, Portugal, September 5-7, 2007  |
PPPJ  |
2007 |
DBLP BibTeX RDF |
|
| 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 | Alessandro Ricci, Mirko Viroli |
simpA: an agent-oriented approach for prototyping concurrent applications on top of Java.  |
PPPJ  |
2007 |
DBLP DOI BibTeX RDF |
agents & artifacts, simpA, concurrent programming |
| 1 | Thomas Würthinger, Christian Wimmer, Hanspeter Mössenböck |
Array bounds check elimination for the Java HotSpot™ client compiler.  |
PPPJ  |
2007 |
DBLP DOI BibTeX RDF |
array bounds check elimination, Java, optimization, performance, just-in-time compilation |
| 1 | Soumaya Marzouk, Maher Ben Jemaa, Mohamed Jmaiel |
A serialization based approach for strong mobility of shared object.  |
PPPJ  |
2007 |
DBLP DOI BibTeX RDF |
Java thread, shared object migration, strong mobility, distributed applications, Java-RMI, serialization, source code transformation |
| 1 | Michael Bebenita, Andreas Gal, Michael Franz |
Implementing fast JVM interpreters using Java itself.  |
PPPJ  |
2007 |
DBLP DOI BibTeX RDF |
interpreter design, metacircular/self-interpreters, minimal trusted computing base, Java virtual machine |
| 1 | Sudharshan S. Vazhkudai, James Arthur Kohl, Jens Schwidder |
A Java-based science portal for neutron scattering experiments.  |
PPPJ  |
2007 |
DBLP DOI BibTeX RDF |
Java web portal, neutron science portal, architectures, service oriented |
| 1 | Walter Binder, Jarle Hulaas, Philippe Moret |
Advanced Java bytecode instrumentation.  |
PPPJ  |
2007 |
DBLP DOI BibTeX RDF |
dynamic bytecode instrumentation, Java, program transformations, profiling, JVM, dynamic metrics |
| 1 | Maurizio Lancia, Roberto Puccinelli, Flavio Lombardi |
Feasibility and benefits of migrating towards JEE: a real life case.  |
PPPJ  |
2007 |
DBLP DOI BibTeX RDF |
JEE, financial accounting, human resource management systems, Java, helpdesk, open standards |
| 1 | Martin Plümicke |
Typeless programming in Java 5.0 with wildcards.  |
PPPJ  |
2007 |
DBLP DOI BibTeX RDF |
program design and implementation, code generation, type system, type inference, language design |
| 1 | Jeremy Singer, Gavin Brown, Mikel Luján, Ian Watson |
Towards intelligent analysis techniques for object pretenuring.  |
PPPJ  |
2007 |
DBLP DOI BibTeX RDF |
object lifetime analysis, pretenuring, information theory |
| 1 | Olly Gotel, Christelle Scharff, Andrew Wildenberg |
Extending and contributing to an open source web-based system for the assessment of programming problems.  |
PPPJ  |
2007 |
DBLP DOI BibTeX RDF |
WeBWorK, Java, testing, open source, Eclipse, peer-review, JUnit, automated grading |
| 1 | Lorenzo Bettini, Sara Capecchi, Betti Venneri |
Featherweight Java with multi-methods.  |
PPPJ  |
2007 |
DBLP DOI BibTeX RDF |
dynamic overloading, language extensions, multi-methods, featherweight Java |
| 1 | Roberto Tiella, Adolfo Villafiorita, Silvia Tomasi |
FSMC+, a tool for the generation of Java code from statecharts.  |
PPPJ  |
2007 |
DBLP DOI BibTeX RDF |
evoting, model checking, code generation, statecharts |
| 1 | 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 |
| 1 | Yuji Chiba |
Redundant boxing elimination by a dynamic compiler for Java.  |
PPPJ  |
2007 |
DBLP DOI BibTeX RDF |
auto-boxing, Java, optimization |