2496 search results - page 150 / 500 » Error-detecting properties of languages |
104
Voted
TCS
2011
14 years 7 months ago
2011
In this paper, we introduce block insertion and deletion on trajectories, which provide us with a new framework to study properties of language operations. With the parallel synta...
ECOOP
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Interaction protocols are a popular means to construct correct component-based systems. Aspects that modify such protocols are interesting in this context because they su...
101
click to vote
PASTE
2004
ACM
15 years 6 months ago
2004
ACM
A context-sensitive analysis is an analysis in which program elements are assigned sets of properties that depend upon the context in which they occur. For analyses on imperative ...
104
click to vote
ICFP
2003
ACM
16 years 24 days ago
2003
ACM
We develop an explicit two level system that allows programmers to reason about the behavior of effectful programs. The first level is an ordinary ML-style type system, which conf...
114
Voted
FMICS
2009
Springer
15 years 7 months ago
2009
Springer
Cell libraries often contain a simulation model in a system design language, such as Verilog. These languages usually involve nondeterminism, which in turn, poses a challenge to th...