6740 search results - page 412 / 1348 » Using Classification as a Programming Language |
125
click to vote
SIGCSE
2002
ACM
15 years 3 months ago
2002
ACM
Abstract This paper examines the use of a simulator to explore process interaction in Unix. The simulator allows instructors to trace through a variety of programs and to show how ...
145
click to vote
ECOOP
2012
Springer
13 years 6 months ago
2012
Springer
Abstract. Since call graphs are an essential starting point for all interprocedural analyses, many tools and frameworks have been developed to generate the call graph of a given pr...
241
click to vote
ICFP
2009
ACM
16 years 4 months ago
2009
ACM
We describe the implementation of first-class polymorphic delimited continuations in the programming language Scala. We use Scala's pluggable typing architecture to implement...
222
click to vote
POPL
2003
ACM
16 years 4 months ago
2003
ACM
Ownership types provide a statically enforceable way of specifying object encapsulation and enable local reasoning about program correctness in object-oriented languages. However,...
120
click to vote
AOSD
2010
ACM
15 years 10 months ago
2010
ACM
Many software security policies can be encoded as aspects that identify and guard security-relevant program operations. Bugs in these aspectually-implemented security policies oft...