• Publications
  • Influence
Validating the unit correctness of spreadsheet programs
TLDR
We describe XeLda, our tool for unit checking Excel spreadsheets. Expand
  • 86
  • 6
  • PDF
Correct Higher-Order Program Transformations
TLDR
We present a method for proving the correctness of compiler optimizations for higher-order programming languages. Expand
  • 7
MysterX: a Scheme toolkit for building interactive applications with COM
  • P. A. Steckler
  • Computer Science
  • Proceedings of Technology of Object-Oriented…
  • 1 August 1999
TLDR
MysterX is an object oriented Scheme toolkit for building applications from off-the-shelf COM components. Expand
  • 7
Tracking Available Values for Lightweight Closures (Summary)
In earlier work, we showed how the free variables of a procedure in a higher-order programming language can sometimes be omitted from the closure for that procedure. The omitted free variables wereExpand
  • 6
Selectors Make Analyzing case-lambda Too Hard
Flanagan's set-based analysis (SBA) uses selectors to choose data owing through expressions. For example, the rng selector chooses the ranges of procedures owing through an expression. The MrSpideyExpand
Services a base de schema pour acces a des donnees a base d'identite
Ensemble de services (416) a base de schema afin d'acceder par Internet a des donnees d'utilisateur, l'acces a ces donnees etant base sur l'identite de chaque utilisateur. Ces services (404)Expand
Esquemas para una plataforma de notificaciones y servicios de informacin relacionados.
Un procedimiento en una red de ordenadores, que comprende: recibir una notificacion dirigida a un usuario desde una fuente de informacion (5021, 5022, 5023, .. , 502m) estando regularizada laExpand