2000 search results - page 325 / 400 » Program Transformation and Proof Transformation |
166
click to vote
WCRE
2005
IEEE
15 years 11 months ago
2005
IEEE
Buffer overflows have been the most common form of security vulnerability in the past decade. A number of techniques have been proposed to address such attacks. Some are limited t...
129
click to vote
SIGITE
2005
ACM
15 years 11 months ago
2005
ACM
Educators have long been trying to spice things up in their introductory programming courses. Traditionally, twodimensional arrays have been taught non-graphically using contrived...
169
click to vote
CC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Xtatic is a lightweight extension of C offering native support for statically typed XML processing. XML trees are built-in values in Xtatic, and static analysis of the t...
160
click to vote
IUI
2004
ACM
15 years 11 months ago
2004
ACM
The goal of this work is to provide users immersed in a multi-platform environment with the possibility of interacting with an application while freely moving from one device to a...
191
click to vote
CAISE
2004
Springer
15 years 11 months ago
2004
Springer
Modeling languages have been evolving at a high pace, encouraging the use of automatic code generators for transforming models to programs. Automatic code generators should enable ...