1623 search results - page 110 / 325 » Programming language concepts for software developers |
161
Voted
AADEBUG
2005
Springer
15 years 9 months ago
2005
Springer
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...
131
Voted
AGTIVE
2003
Springer
15 years 9 months ago
2003
Springer
OptimixJ is a graph rewrite tool that can be embedded easily into the standard software process. Applications and models can be developed in Java or UML and extended by graph rewri...
140
Voted
TACAS
2000
Springer
15 years 7 months ago
2000
Springer
This note describes Proof General, a tool for developing machine proofs with an interactive proof assistant. Interaction is based around a proof script, which is the target of a pr...
150
Voted
PLDI
2005
ACM
15 years 9 months ago
2005
ACM
Software pipelining of a multi-dimensional loop is an important optimization that overlaps the execution of successive outermost loop iterations to explore instruction-level paral...
169
Voted
ICSE
1999
IEEE-ACM
15 years 8 months ago
1999
IEEE-ACM
The principle of separation of concerns has long been used by software engineers to manage the complexity of software system development. Programming languages help software engin...