Sciweavers

11 search results - page 2 / 3
» Logical Spreadsheets
Sort
View
KER
2007
72views more  KER 2007»
13 years 10 months ago
An introduction to logical spreadsheets
Michael Kassoff, André Valente
RULEML
2010
Springer
13 years 9 months ago
Logical Spreadsheets
Michael R. Genesereth
EGC
2005
Springer
14 years 4 months ago
XDTM: The XML Data Type and Mapping for Specifying Datasets
We are concerned with the following problem: How do we allow a community of users to access and process diverse data stored in many different formats? Standard data formats and da...
Luc Moreau, Yong Zhao, Ian T. Foster, Jens-S. V&ou...
C5
2004
IEEE
14 years 2 months ago
Skeleton - Easy Simulation System
Skeleton is a visual scripting environment as an extension of Squeak etoy [1] with Connectors [2] system to make mathematical and physical simulation for non professional computer...
Takashi Yamamiya
TLDI
2010
ACM
198views Formal Methods» more  TLDI 2010»
13 years 11 months ago
Verifying event-driven programs using ramified frame properties
Interactive programs, such as GUIs or spreadsheets, often maintain dependency information over dynamically-created networks of objects. That is, each imperative object tracks not ...
Neel R. Krishnaswami, Lars Birkedal, Jonathan Aldr...