Sciweavers

1037 search results - page 127 / 208
» Lightweight Languages as Software Engineering Tools
Sort
View
SCAM
2008
IEEE
14 years 2 months ago
Aspect-Aware Points-to Analysis
Points-to analysis is a fundamental analysis technique whose results are useful in compiler optimization and software engineering tools. Although many points-to analysis algorithm...
Qiang Sun, Jianjun Zhao
KBSE
2007
IEEE
14 years 2 months ago
Keyword programming in java
Keyword programming is a novel technique for reducing the need to remember details of programming language syntax and APIs, by translating a small number of keywords provided by t...
Greg Little, Robert C. Miller
ICSE
2011
IEEE-ACM
12 years 11 months ago
Always-available static and dynamic feedback
Developers who write code in a statically typed language are denied the ability to obtain dynamic feedback by executing their code during periods when it fails the static type che...
Michael Bayne, Richard Cook, Michael D. Ernst
AADEBUG
2005
Springer
14 years 1 months ago
Tdb: a source-level debugger for dynamically translated programs
Debugging techniques have evolved over the years in response to changes in programming languages, implementation techniques, and user needs. A new type of implementation vehicle f...
Naveen Kumar, Bruce R. Childers, Mary Lou Soffa
ICSE
2008
IEEE-ACM
14 years 8 months ago
DySy: dynamic symbolic execution for invariant inference
Dynamically discovering likely program invariants from concrete test executions has emerged as a highly promising software engineering technique. Dynamic invariant inference has t...
Christoph Csallner, Nikolai Tillmann, Yannis Smara...