3708 search results - page 153 / 742 » Programming with C Exceptions |
167
click to vote
ICFP
2005
ACM
16 years 6 months ago
2005
ACM
Implementing first-class continuations can pose a challenge if the target machine makes no provisions for accessing and re-installing the run-time stack. In this paper, we present...
154
click to vote
SIGSOFT
2002
ACM
16 years 6 months ago
2002
ACM
Consider the execution of a failing program as a sequence of program states. Each state induces the following state, up to the failure. Which variables and values of a program sta...
170
click to vote
KBSE
1997
IEEE
15 years 10 months ago
1997
IEEE
Given a program S and a precondition Q, the strongest postcondition, denoted sp(S Q), is defined as the strongest condition that holds after the execution of S, given that S term...
276
click to vote
Source Code
A C++ program that utilizes the quick and accurate implementation of the simplex method (i.e., unconstrained nonlinear optimization) using vtk 4.2.
308
click to vote
Book
The book is an introduction to elementary computational linguistics from the point of view of logic programming.