Sciweavers

9595 search results - page 63 / 1919
» Functional programming in C
Sort
View
DATE
2009
IEEE
122views Hardware» more  DATE 2009»
15 years 9 months ago
A MILP-based approach to path sensitization of embedded software
—We propose a new methodology based on Mixed Integer Linear Programming (MILP) for determining the input values that will exercise a specified execution path in a program. In or...
José C. Costa, José C. Monteiro
PLDI
1999
ACM
15 years 6 months ago
An Evaluation of Staged Run-Time Optimizations in DyC
Previous selective dynamic compilation systems have demonstrated that dynamic compilation can achieve performance improvements at low cost on small kernels, but they have had diff...
Brian Grant, Matthai Philipose, Markus Mock, Craig...
101
Voted
DAGSTUHL
2003
15 years 3 months ago
DSL Implementation in MetaOCaml, Template Haskell, and C++
A wide range of domain-specific languages (DSLs) has been implemented successfully by embedding them in general purpose languages. This paper reviews embedding, and summarizes how...
Krzysztof Czarnecki, John T. O'Donnell, Jörg ...
AC
2002
Springer
15 years 2 months ago
Software Fault Prevention by Language Choice: Why C is Not My Favorite Language
How much does the choice of a programming language influence the prevalence of bugs in the resulting code? It seems obvious that at the level at which individuals write new progra...
Richard J. Fateman
114
Voted
POS
2000
Springer
15 years 5 months ago
Hyper-Code Revisited: Unifying Program Source, Executable, and Data
Abstract. The technique of hyper-programming allows program representations held in a persistent store to contain embedded links to persistent code and data. In 1994, Connor et al ...
Evangelos Zirintsis, Graham N. C. Kirby, Ronald Mo...