P. A. Steckler

Publications10
h-index4
Citations108
Highly Influential Citations6
Claim Author Page
Author pages are created from data sourced from our academic publisher partnerships and public sources.

Recommended Authors

  • M. Burnett
  • 268 Publications, 8,774 Citations
  • M. Wand
  • 142 Publications, 6,206 Citations
  • P. Steckler
  • 13 Publications, 529 Citations
  • J. Palsberg
  • 277 Publications, 6,829 Citations
  • 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 were… Expand
  • 6
Polymorphism over Nested Regular Arrays: Theory and Implementation in Fish
  • 2
Implementing a Static Debugger for a First-Order Functional Programming Language
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 MrSpidey… Expand
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 la… Expand
Forms for a communication platform and related information services