Sciweavers

1210 search results - page 71 / 242
» Formal Techniques for Java Programs
Sort
View
KBSE
2009
IEEE
15 years 9 months ago
Adding Examples into Java Documents
—Code examples play an important role to explain the usage of Application Programming Interfaces (APIs), but most API documents do not provide sufficient code examples. For exam...
Jinhan Kim, Sanghoon Lee, Seung-won Hwang, Sunghun...
ECOOP
2007
Springer
15 years 8 months ago
Metaprogramming with Traits
Abstract. In many domains, classes have highly regular internal structure. For example, so-called business objects often contain boilerplate code for mapping database fields to cl...
John H. Reppy, Aaron Turon
IWPC
2006
IEEE
15 years 8 months ago
JComp: A Reuse-Driven Componentization Framework for Java Applications
Program componentization has been proved to be an effective way to increase the speed and cost-effectiveness of reusing, maintaining, and understanding existing software systems. ...
Shimin Li, Ladan Tahvildari
RTAS
2002
IEEE
15 years 7 months ago
Evaluating Real-Time Java Features and Performance for Real-Time Embedded Systems
This paper provides two contributions to the study of programming languages and middleware for real-time and embedded applications. First, we present the empirical results from ap...
Angelo Corsaro, Douglas C. Schmidt
SIGMOD
2003
ACM
147views Database» more  SIGMOD 2003»
16 years 2 months ago
Formal semantics and analysis of object queries
Modern database systems provide not only powerful data models but also complex query languages supporting powerful features such as the ability to create new database objects and ...
Gavin M. Bierman