565 search results - page 74 / 113 » A (De)constructive Approach to Program Checking |
POPL
2000
ACM
15 years 1 months ago
2000
ACM
We introduce a language for creating and manipulating certificates, that is, digitally signed data based on public key cryptography, and a system for revoking certificates. Our ap...
FDL
2008
IEEE
14 years 9 months ago
2008
IEEE
Digital television (DTV) is an advanced broadcasting technology that is spreading fast today. It gives broadcasters the capability to send programs with a better picture and sound ...
107
click to vote
ENTCS
2006
14 years 9 months ago
2006
We present a runtime verification framework for Java programs. Properties can be specified in Linear-time Temporal Logic (LTL) over AspectJ pointcuts. These properties are checked...
ICSE
2009
IEEE-ACM
14 years 7 months ago
2009
IEEE-ACM
Interactive tutorials, like Eclipse's cheat sheets, are good for novice programmers to learn how to perform tasks (e.g., checking out a CVS project) in an Integrated Developm...
200
click to vote
POPL
2006
ACM
15 years 10 months ago
2006
ACM
We offer a solution to the type inference problem for an extension of Hindley and Milner's type system with generalized algebraic data types. Our approach is in two strata. T...