Sciweavers

4719 search results - page 96 / 944
» Spreadsheet functional programming
Sort
View
99
Voted
SERP
2004
15 years 2 months ago
Using Clustering Technique to Restructure Programs
Program restructuring or refactoring is often required when a function becomes too large or is involved in multiple activities and therefore exhibits low cohesion. A critical fact...
Chung-Horng Lung, Marzia Zaman
ICALP
2000
Springer
15 years 4 months ago
A Statically Allocated Parallel Functional Language
Abstract. We describe SAFL, a call-by-value first-order functional language which is syntactically restricted so that storage may be statically allocated to fixed locations. Evalua...
Alan Mycroft, Richard Sharp
ICFP
2008
ACM
16 years 19 days ago
NixOS: a purely functional Linux distribution
Existing package and system configuration management tools suffer from an imperative model, where system administration actions such as upgrading packages or changes to system con...
Andres Löh, Eelco Dolstra
93
Voted
SAS
2004
Springer
140views Formal Methods» more  SAS 2004»
15 years 6 months ago
Path-Sensitive Analysis for Linear Arithmetic and Uninterpreted Functions
We describe data structures and algorithms for performing a path-sensitive program analysis to discover equivalences of expressions involving linear arithmetic or uninterpreted fun...
Sumit Gulwani, George C. Necula
104
Voted
IFL
1997
Springer
153views Formal Methods» more  IFL 1997»
15 years 4 months ago
Common Subexpressions Are Uncommon in Lazy Functional Languages
Common subexpression elimination is a well-known compiler optimisation that saves time by avoiding the repetition of the same computation. In lazy functional languages, referential...
Olaf Chitil