3256 search results - page 123 / 652 » Mixin-Based Programming in C |
121
Voted
SIGSOFT
2002
ACM
16 years 4 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...
140
Voted
KBSE
1997
IEEE
15 years 7 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...
227
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.
256
Voted
Book
The book is an introduction to elementary computational linguistics from the point of view of logic programming.
122
Voted
CASES
2006
ACM
15 years 9 months ago
2006
ACM
This paper considers the efficient parallel implementation of control constructs and expressions written in a common software programming language and synthesised to FPGA platform...