Sciweavers

4719 search results - page 356 / 944
» Spreadsheet functional programming
Sort
View
OOPSLA
2004
Springer
16 years 4 days ago
RAIL: code instrumentation for .NET
Code instrumentation is a mechanism that allows modules of programs to be completely rewritten at runtime. With the advent of virtual machines, this type of functionality is becom...
Bruno Cabral, Paulo Marques, Luís Moura Sil...
172
Voted
CORR
2006
Springer
91views Education» more  CORR 2006»
15 years 6 months ago
Quasi-friendly sup-interpretations
In a previous paper [16], the sup-interpretation method was proposed as a new tool to control memory resources of first order functional programs with pattern matching by static an...
Jean-Yves Marion, Romain Péchoux
GLOBECOM
2007
IEEE
16 years 1 months ago
Robust Chebyshev FIR Equalization
Abstract—In Chebyshev finite-impulse response (FIR) equalization, we design an FIR filter that minimizes the Chebyshev equalization error, i.e., the maximum absolute deviation ...
Almir Mutapcic, Seung-Jean Kim, Stephen P. Boyd
TPHOL
2000
IEEE
15 years 10 months ago
Equational Reasoning via Partial Reflection
We modify the reflection method to enable it to deal with partial functions like division. The idea behind reflection is to program a tactic for a theorem prover not in the impleme...
Herman Geuvers, Freek Wiedijk, Jan Zwanenburg
FLOPS
2008
Springer
15 years 8 months ago
Rewriting and Call-Time Choice: The HO Case
It is known that the behavior of non-deterministic functions with call-time choice semantics, present in current functional logic languages, is not well described by usual approach...
Francisco Javier López-Fraguas, Juan Rodr&i...