1023 search results - page 157 / 205 » A Formal Method for Program Slicing |
116
Voted
VLDB
1995
ACM
15 years 5 months ago
1995
ACM
We follow the stack-baaed approach to query languages which is a new formal and intellectual paradigm for integrating querying and programming for object-oriented databases. Queri...
135
click to vote
POPL
2012
ACM
13 years 9 months ago
2012
ACM
Since software systems are becoming increasingly more concurrent and distributed, modeling and analysis of interactions among their components is a crucial problem. In several app...
107
click to vote
EMSOFT
2007
Springer
15 years 7 months ago
2007
Springer
This paper describes techniques to estimate the worst case execution time of executable code on architectures with data caches. The underlying mechanism is Abstract Interpretation...
111
Voted
ICFP
2010
ACM
15 years 2 months ago
2010
ACM
Programmers reason about their programs using a wide variety of formal and informal methods. Programmers in untyped languages such as Scheme or Erlang are able to use any such met...
116
Voted
WWW
2005
ACM
16 years 2 months ago
2005
ACM
We present a language for specifying web service interfaces. A web service interface puts three kinds of constraints on the users of the service. First, the interface specifies th...