Sciweavers

9595 search results - page 23 / 1919
» Functional programming in C
Sort
View
HICSS
1999
IEEE
72views Biometrics» more  HICSS 1999»
13 years 12 months ago
Software Reliability as a Function of User Execution Patterns
Assessing the reliability of a software system has always been an elusive target. A program may work very well for a number of years and this same program may suddenly become quit...
John C. Munson, Sebastian G. Elbaum
LCPC
1999
Springer
13 years 12 months ago
An Empirical Study of Function Pointers Using SPEC Benchmarks
Since the C language imposes little restriction on the use of function pointers, the task of call graph construction for a C program is far more di cult than what the algorithms d...
Ben-Chung Cheng, Wen-mei W. Hwu
ISIPTA
2003
IEEE
117views Mathematics» more  ISIPTA 2003»
14 years 26 days ago
Dynamic Programming for Discrete-Time Systems with Uncertain Gain
We generalise the optimisation technique of dynamic programming for discretetime systems with an uncertain gain function. We assume that uncertainty about the gain function is des...
Gert de Cooman, Matthias C. M. Troffaes
SAS
2004
Springer
140views Formal Methods» more  SAS 2004»
14 years 29 days ago
Path-Sensitive Analysis for Linear Arithmetic and Uninterpreted Functions
We describe data structures and algorithms for performing a path-sensitive program analysis to discover equivalences of expressions involving linear arithmetic or uninterpreted fun...
Sumit Gulwani, George C. Necula

Book
1455views
15 years 5 months ago
Introduction to Object-Oriented Programming using C++
A set of lecture notes that introduces the reader to the object-orientation as a new programming concept. However, this is not a course for learning the C++ programming language.
Peter Müller