450 search results - page 34 / 90 » Experience with an analytic approach to teaching programming... |
ICSE
2000
IEEE-ACM
15 years 1 months ago
2000
IEEE-ACM
Interactive program analysis tools are often tailored to one particular representation of programs, making adaptation to a new language costly. One way to ease adaptability is to ...
107
click to vote
AOSD
2011
ACM
14 years 4 months ago
2011
ACM
Software systems are increasingly being built as compositions of reusable artifacts (components, frameworks, toolkits, plug-ins, APIs, etc) that have non-trivial usage constraints...
143
click to vote
ASPLOS
2012
ACM
13 years 5 months ago
2012
ACM
Effective resource management of virtualized environments is a challenging task. State-of-the-art management systems either rely on analytical models or evaluate resource allocati...
103
click to vote
PLDI
2011
ACM
14 years 18 days ago
2011
ACM
Translation validators are static analyzers that attempt to verify that program transformations preserve semantics. Normalizing translation validators do so by trying to match the...
116
click to vote
TACAS
1998
Springer
15 years 1 months ago
1998
Springer
Relay Ladder Logic (RLL) [4] is a programming language widely used for complex embedded control applications such as manufacturing and amusement park rides. The cost of bugs in RLL...