6740 search results - page 535 / 1348 » Using Classification as a Programming Language |
147
click to vote
SIGSOFT
2010
ACM
15 years 2 months ago
2010
ACM
A replay tool aiming to reproduce a program's execution interposes itself at an appropriate replay interface between the program and the environment. During recording, it log...
139
click to vote
ICFP
2008
ACM
16 years 4 months ago
2008
ACM
There are now a number of bidirectional programming languages, where every program can be read both as a forward transformation mapping one data structure to another and as a reve...
151
click to vote
PLDI
2009
ACM
15 years 11 months ago
2009
ACM
Decentralized information flow control (DIFC) is a promising model for writing programs with powerful, end-to-end security guarantees. Current DIFC systems that run on commodity ...
289
click to vote
POPL
2002
ACM
16 years 5 months ago
2002
ACM
In this paper we propose a scheme that combines type inference and run-time checking to make existing C programs type safe. We describe the CCured type system, which extends that ...
124
click to vote
CHI
2009
ACM
16 years 5 months ago
2009
ACM
Programmers of all types from novice end-user developers to professional software engineers make use of application programming interfaces (API) within their various designs. And,...