1407 search results - page 136 / 282 » The Use of Overloading in Java Programs |
108
click to vote
SIGSOFT
2003
ACM
16 years 3 months ago
2003
ACM
Foundational and scalable techniques for runtime safety analysis of multithreaded programs are explored in this paper. A technique based on vector clocks to extract the causal dep...
125
click to vote
TCS
2008
15 years 2 months ago
2008
Type systems and program logics are often conceived to be at opposing ends of the spectrum of formal software analyses. In this paper we show that a flow-sensitive type system ensu...
145
click to vote
RTA
2007
Springer
15 years 9 months ago
2007
Springer
This paper shows how to construct static analyzers using tree automata and rewriting techniques. Starting from a term rewriting system representing the operational semantics of the...
112
click to vote
VL
2005
IEEE
15 years 8 months ago
2005
IEEE
Structured program editors can lower the entry barrier for beginning computer science students by preventing syntax errors. However, when editors force programs to be executable a...
113
click to vote
SIMULATION
2002
15 years 2 months ago
2002
Trend is a two dimensional cellular automata programming environment with an integrated simulator and a compiler. Trend has many unique features such as simulation backtracking, c...