Sciweavers

4716 search results - page 281 / 944
» Tangible functional programming
Sort
View
AMAST
2006
Springer
15 years 10 months ago
Data Movement Optimisation in Point-Free Form
Programs written in point-free form express computation purely in terms of functions. Such programs are especially amenable to local transformation. In this paper, we describe a pr...
Brad Alexander, Andrew L. Wendelborn
USENIX
2001
15 years 8 months ago
Nickle: Language Principles and Pragmatics
Nickle is a vaguely C-like programming language for numerical applications, useful both as a desk calculator and as a prototyping and implementation language for numerical and sem...
Bart Massey, Keith Packard
FSS
2002
125views more  FSS 2002»
15 years 6 months ago
An "orderwise" polynomial regression procedure for fuzzy data
In this work we study approximation of fuzzy functions on a finite set of distinct points. Two types of approximation are considered, one method based on fuzzy linear programming p...
Pierpaolo D'Urso, Tommaso Gastaldi
174
Voted
PPDP
2009
Springer
16 years 1 months ago
Relational semantics for effect-based program transformations: higher-order store
We give a denotational semantics to a type and effect system tracking reading and writing to global variables holding values that may include higher-order effectful functions. Reļ...
Nick Benton, Andrew Kennedy, Lennart Beringer, Mar...
CSMR
2005
IEEE
16 years 8 days ago
Maintenance and Analysis of Visual Programs -- An Industrial Case
A domain-specific visual language, Function Block Language (FBL), is used in Metso Automation for writing automation control programs. The same engineering environment is used for...
Mika Karaila, Tarja Systä