Sciweavers

Share
SIGPLAN
2002
8 years 4 months ago
Write barrier removal by static analysis
We present a new analysis for removing unnecessary write barriers in programs that use generational garbage collection. To our knowledge, this is the first static program analysis...
Karen Zee, Martin C. Rinard
SIGPLAN
2002
8 years 4 months ago
World-class product certification using Erlang
Ulf Wiger, Gösta Ask, Kent Boortz
SIGPLAN
2002
8 years 4 months ago
A modest proposal for curing the public field phobia
Field accessor methods have become a ubiquitous feature of object-oriented programming. The definition and use of such methods promote code bloat and an unnatural expression style...
Diomidis Spinellis
SIGPLAN
2002
8 years 4 months ago
Template meta-programming for Haskell
We propose a new extension to the purely functional programming language Haskell that supports compile-time meta-programming. The purpose of the system is to support the algorithm...
Tim Sheard, Simon L. Peyton Jones
SIGPLAN
2002
8 years 4 months ago
Weaving Aspects in a Persistent Environment
This paper discusses two mechanisms for weaving aspects in persistent environments founded on object-oriented databases. The first mechanism is based on exploiting existing aspect ...
Awais Rashid
SIGPLAN
2002
8 years 4 months ago
Objects for Lexical Analysis
Bernd Kühl, Axel-Tobias Schreiner
SIGPLAN
2002
8 years 4 months ago
SXML specification
Oleg Kiselyov
SIGPLAN
2002
8 years 4 months ago
Embedding built-in tests in hot spots of an object-oriented framework
: Object-oriented frameworks require thorough testing as they are intended to be reused repeatedly in developing numerous applications. Moreover, whenever a framework is extended f...
Taewoong Jeon, Hyonwoo Seung, Sungyoung Lee
SIGPLAN
2002
8 years 4 months ago
On-the-fly model checking from interval logic specifications
Future Interval Logic (FIL) and its intuitive graphical representation, Graphical Interval Logic (GIL), can be used as the formal description language of model checking tools to v...
Miguel J. Hornos, Manuel I. Capel
books