773 search results - page 66 / 155 » Program Slicing by Calculation |
IFIP
2009
Springer
15 years 7 months ago
2009
Springer
We firstly describe an algebraic structure which serves as solid basis to quantitatively reason about information flows. We demonstrate how programs in form of partition of state...
67
Voted
USENIX
2001
15 years 1 months ago
2001
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...
123
Voted
CEC
2010
IEEE
15 years 23 days ago
2010
IEEE
— Genetic programming is the usage of the paradigm of survival of the fittest in scientific computing. It is applied to evolve solutions to problems where dependencies between ...
108
Voted
PVM
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. PVM is a succesfull programming environment for distributed computing in the languages C and Fortran. Recently several implementations of PVM for Java have been added, ma...
101
Voted
ICFP
2010
ACM
15 years 1 months ago
2010
ACM
We present a novel approach to regular, multi-dimensional arrays in Haskell. The main highlights of our approach are that it (1) is purely functional, (2) supports reuse through s...