4725 search results - page 503 / 945 » Dependence-Based Program Analysis |
300
Voted
POPL
2006
ACM
16 years 7 months ago
2006
ACM
Traditional static type systems are very effective for verifying basic interface specifications, but are somewhat limited in the kinds specificationsthey support. Dynamically-chec...
177
Voted
SOFSEM
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. Rewriting is the underlying evaluation mechanism of functional programming languages. Therefore, termination analysis of term rewrite systems (TRSs) is an important techn...
158
click to vote
HASKELL
2009
ACM
16 years 1 months ago
2009
ACM
We present by example a new application domain for functional languages: emulators for embedded real-time protocols. As a casestudy, we implement a simple emulator for the Biphase...
180
Voted
ICALT
2006
IEEE
16 years 28 days ago
2006
IEEE
This paper describes the design, development and qualitative evaluation of a web-based personalized assessment service of an object–oriented programming course at the University...
168
Voted
IPPS
2006
IEEE
16 years 27 days ago
2006
IEEE
1 This paper presents a methodology to develop more modular parallel applications, based on aspect oriented programming. Traditional object oriented mechanisms implement applicatio...