4722 search results - page 231 / 945 » Representation-independent program analysis |
179
click to vote
JCS
2007
15 years 6 months ago
2007
We present a general unwinding framework for the definition of information flow security properties of concurrent programs, described in a simple imperative language enriched wi...
511
click to vote
Book
"Scheme is a general-purpose computer programming language. It is a high-level language, supporting operations on structured data such as strings, lists, and vectors, as well ...
172
click to vote
ICIP
2001
IEEE
16 years 8 months ago
2001
IEEE
We have designed a series of computer sessions build around ImageJ (a public-domain software for image analysis), as a practical complement to a two-semester course in image proce...
162
click to vote
CEC
2009
IEEE
16 years 1 months 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...
170
click to vote
ICSM
2009
IEEE
16 years 1 months ago
2009
IEEE
Back in 2001, the MIT announced aspect-oriented programming as a key technology in the next 10 years. Nowadays, 8 years later, AOP is not widely adopted. Several reasons can expla...