Sciweavers

190 search results - page 24 / 38
» Aspect-Oriented Programming in BETA Using the Fragment Syste...
Sort
View
SIGMOD
2010
ACM
250views Database» more  SIGMOD 2010»
15 years 2 months ago
Spreadsheet as a relational database engine
Spreadsheets are among the most commonly used applications for data management and analysis. Perhaps they are even among the most widely used computer applications of all kinds. H...
Jerzy Tyszkiewicz
WSCG
2004
161views more  WSCG 2004»
14 years 10 months ago
Data Visualization Using Hardware Accelerated Spline Interpolation
We present our method of real-time rendering of grid-structured data. The method uses bicubic spline interpolation running on common current graphics hardware to map the values to...
Petr Kadlec, Marek Gayer, Pavel Slavík
ENTCS
2002
134views more  ENTCS 2002»
14 years 9 months ago
Implementing Compositional Analysis Using Intersection Types With Expansion Variables
A program analysis is compositional when the analysis result for a particular program fragment is obtained solely from the results for its immediate subfragments via some composit...
Assaf J. Kfoury, Geoffrey Washburn, Joe Wells
SIGMOD
2009
ACM
117views Database» more  SIGMOD 2009»
15 years 9 months ago
FERRY: database-supported program execution
We demonstrate the language Ferry and its editing, compilation, and execution environment FerryDeck. Ferry's type system and operations match those of scripting or programmin...
Torsten Grust, Manuel Mayr, Jan Rittinger, Tom Sch...
ASE
2006
122views more  ASE 2006»
14 years 9 months ago
Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis
The structured programming literature provides methods and a wealth of heuristic knowledge for guiding the construction of provably correct imperative programs. We investigate the...
Andrew Ireland, Jamie Stark