Sciweavers

4719 search results - page 33 / 944
» Spreadsheet functional programming
Sort
View
92
Voted
ASWEC
2004
IEEE
15 years 4 months ago
Obstacles to a Totally Functional Programming Style
"Totally Functional Programming" (TFP) advocates the complete replacement of symbolic representations for data by functions. TFP is motivated by observations from practi...
Paul A. Bailes, Colin J. M. Kemp
DATE
2004
IEEE
174views Hardware» more  DATE 2004»
15 years 4 months ago
Graph-Based Functional Test Program Generation for Pipelined Processors
Functional verification is widely acknowledged as a major bottleneck in microprocessor design. While early work on specification driven functional test program generation has prop...
Prabhat Mishra, Nikil Dutt
POPL
1997
ACM
15 years 4 months ago
A Unified Computation Model for Functional and Logic Programming
We propose a new computation model which combines the operational principles of functional languages (reduction), logic languages (non-deterministic search for solutions), and int...
Michael Hanus
104
Voted
GPCE
2008
Springer
15 years 1 months ago
Program refactoring using functional aspects
A functional aspect is an aspect that has the semantics of a transformation; it is a function that maps a program to an advised program. Functional aspects are composed by functio...
Sven Apel, Christian Kästner, Don S. Batory
LOPSTR
2005
Springer
15 years 6 months ago
Declarative Programming with Function Patterns
We propose an extension of functional logic languages that allows the definition of operations with patterns containing other defined operation symbols. Such “function patterns...
Sergio Antoy, Michael Hanus