526 search results - page 24 / 106 » Programming in JoCaml (Tool Demonstration) |
153
click to vote
VL
2005
IEEE
15 years 11 months ago
2005
IEEE
Large software projects often require a programmer to make changes to unfamiliar source code. This paper describes a set of tools, called Team Tracks, designed to ease program com...
170
click to vote
SOSP
1997
ACM
15 years 7 months ago
1997
ACM
Multi-threaded programming is difficult and error prone. It is easy to make a mistake in synchronization that produces a data race, yet it can be extremely hard to locate this mi...
156
click to vote
HYBRID
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. In this paper, we consider the problem of generating optimized, executable control code from high-level, symbolic specifications. In particular, we construct symbolic co...
156
click to vote
CEC
2009
IEEE
16 years 28 days ago
2009
IEEE
— In this paper, a revised form of Implicit Context Representation Cartesian Genetic Programming is used in the development of a diagnostic tool for the assessment of patients wi...
183
click to vote
TPHOL
2008
IEEE
16 years 16 days ago
2008
IEEE
We introduce a lightweight approach for reasoning about programs involving imperative data structures using the proof assistant Isabelle/HOL. It is based on shallow embedding of pr...