1781 search results - page 89 / 357 » Visualizing program execution using user abstractions |
125
Voted
AGP
1993
IEEE
15 years 6 months ago
1993
IEEE
Abstract. This paper presents a general approach to the Abstract Interpretation of Prolog programs with cut. In most of previous approaches the cut primitive is merely ignored. Our...
125
Voted
KBSE
2007
IEEE
15 years 8 months ago
2007
IEEE
Flexibility and interoperability make web services well suited for designing highly-customizable reactive service-based applications, that is interactive applications that can be ...
111
click to vote
FORMATS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We examine to what extent implementation of timed automata can be achieved using the standard semantics and appropriate modeling, instead of introducing new semantics. We...
128
Voted
ICSM
1999
IEEE
15 years 6 months ago
1999
IEEE
Software architecture visualization tools tend to support browsing, that is, exploration by following concepts. If architectural diagrams are to be used during daily software main...
101
click to vote
WWW
2005
ACM
16 years 2 months ago
2005
ACM
The difficulty of developing and deploying commercial web applications increases as the number of technologies they use increases and as the interactions between these technologie...