OOPSLA 2007 - PDF Preprint Papers

OOPSLA 2007 Security for Object-Oriented Systems

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed OOPSLA-2007 Paper

click to vote

OOPSLA
2007
Springer

208views Security Privacy» more OOPSLA 2007»

Component nextgen: a sound and expressive component framework for java

13 years 10 months ago

Download www.cs.rice.edu

Developing a general component system for a statically typed, object-oriented language is a challenging design problem for two reasons. First, mutually recursive references across...

James Sasitorn, Robert Cartwright

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	208	Component nextgen: a sound and expressive component framework for java	claim
2	206	CodeGenie: : a tool for test-driven source code search	claim
3	183	Statistically rigorous java performance evaluation	claim
4	179	CUTE: C++ unit testing easier	claim
5	168	A proposal for taming uncertainty in the collaborative conceptual model development process	claim
6	157	Ilea: inter-language analysis across java and c	claim
7	157	Elephant 2000: a programming language based on speech acts	claim
8	152	DigitalAssets discoverer: automatic identification of reusable software components	claim
9	150	A rewriting approach to the design and evolution of object-oriented languages	claim
10	147	The design and implementation of formal monitoring techniques	claim
11	146	Recursive adaptive computations using perobject visitors	claim
12	143	Transactions with isolation and cooperation	claim
13	142	No ifs, ands, or buts: uncovering the simplicity of conditionals	claim
14	140	Lost in translation: formalizing proposed extensions to c#	claim
15	140	Can programming be liberated from the two-level style: multi-level programming with deepjava	claim
16	139	The JastAdd extensible Java compiler	claim
17	139	Software speculative multithreading for Java	claim
18	138	Probabilistic calling context	claim
19	136	Democratizing the cloud	claim
20	135	Compile-time execution structure of object-oriented programs with practical ownership domain annotations	claim
21	133	Scalable omniscient debugging	claim
22	133	The causes of bloat, the limits of health	claim
23	133	Swashup: situational web applications mashups	claim
24	133	Activating refactorings faster	claim
25	133	Complexity management	claim
26	128	Modular typestate checking of aliased objects	claim
27	124	Towards a framework for requirement change management in healthcare software applications	claim
28	123	Ready for distribution?: turning modular into distributed applications with the R-OSGi deployment tool	claim
29	122	Confessions of a used programming language salesman	claim
30	121	Collaboration and telecollaboration in design	claim
31	117	Supporting systems QoS design and evolution through model transformations	claim
32	115	Living it up with a live programming language	claim
33	114	Synthesizing reactive systems from LSC requirements using the play-engine	claim
34	113	Streamflex: high-throughput stream programming in java	claim
35	112	Inferring aliasing and encapsulation properties for java	claim
36	111	OOMatch: pattern matching as dispatch in Java	claim
37	110	A practical high volume software product line	claim
38	109	The JikesXen Java server platform	claim
39	108	Dependent classes	claim
40	108	A framework for distributed collaborative conceptual model development	claim
41	106	Establishing object invariants with delayed types	claim
42	105	SmartEMF: guidance in modeling tools	claim
43	105	Randoop: feedback-directed random testing for Java	claim
44	105	Detection and correction of design defects in object-oriented designs	claim
45	101	Refactoring support for the C++ development tooling	claim
46	99	IAnticorruption: a domain-driven design approach to more robust integration	claim
47	98	Combining structural subtyping and external dispatch	claim
48	93	Microphase: an approach to proactively invoking garbage collection for improved performance	claim
49	92	Multiple ownership	claim
50	92	The transactional memory / garbage collection analogy	claim
51	91	Tools for enforcing and inferring reference immutability in Java	claim
52	88	From developer's head to developer tests: characterization, theories, and preventing one more bug	claim
53	86	Using early phase termination to eliminate load imbalances at barrier synchronization points	claim
54	86	Notation and representation in collaborative object-oriented design: an observational study	claim
55	86	Making frameworks work: a project retrospective	claim
56	85	User-changeable visibility: resolving unanticipated name clashes in traits	claim
57	85	CASE-FX: feature modeling support in an OO Case tool	claim
58	84	Teaching strategies for reinforcing structural recursion with lists	claim
59	83	Living in the comfort zone	claim
60	83	Jeannie: granting java native interface developers their wishes	claim
61	81	Variant path types for scalable extensibility	claim
62	80	Using hpm-sampling to drive dynamic compilation	claim
63	80	Understanding programmer language	claim
64	79	Making trace monitors feasible	claim
65	78	Understanding the value of program analysis tools	claim
66	77	Improving quality together	claim
67	73	Tracking bad apples: reporting the origin of null and undefined value errors	claim
68	73	Mining modal scenarios from execution traces	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers