Sciweavers

2777 search results - page 137 / 556
» Example centric programming
Sort
View
LISP
1998
88views more  LISP 1998»
15 years 9 days ago
Visualizing Evaluation in Scheme
Abstract. RainbowScheme is a visual stepping system that presents Scheme program’s runtime state using icons, colored environment trees, and colored Scheme code. A Scheme program...
Sho-Huan Simon Tung
88
Voted
PPDP
2010
Springer
14 years 11 months ago
HSS: a compiler for cascading style sheets
This article presents HSS1 , a compiler for CSS. It is first argued that generating CSS improves portability and maintainability of CSS files. This claim is supported by realist...
Manuel Serrano
229
Voted
FM
2011
Springer
357views Formal Methods» more  FM 2011»
14 years 4 months ago
TraceContract: A Scala DSL for Trace Analysis
Abstract. In this paper we describe TRACECONTRACT, an API for trace analysis, implemented in the SCALA programming language. We argue that for certain forms of trace analysis the b...
Howard Barringer, Klaus Havelund
PEPM
1994
ACM
15 years 4 months ago
Dictionary-Free Overloading by Partial Evaluation
One of the most novel features in the functional programming language Haskell is the system of type classes used to support a combination of overloading and polymorphism. Current ...
Mark P. Jones
POS
1990
Springer
15 years 4 months ago
Semantic Clustering
Appropriate clustering of objects into pages in secondary memory is crucial to achieving good performance in a persistent object store. We present a new approach, termed semantic ...
Karen Shannon, Richard T. Snodgrass