1023 search results - page 114 / 205 » A Formal Method for Program Slicing |
259
click to vote
TKDE
2012
13 years 5 months ago
2012
—The pairwise constraints specifying whether a pair of samples should be grouped together or not have been successfully incorporated into the conventional clustering methods such...
133
click to vote
POPL
2004
ACM
15 years 8 months ago
2004
ACM
The ability to summarize procedures is fundamental to building scalable interprocedural analyses. For sequential programs, procedure summarization is well-understood and used rout...
127
click to vote
TLDI
2009
ACM
16 years 3 days ago
2009
ACM
Type-and-effect systems are a natural approach for statically reasoning about a program’s execution. They have been used to track a variety of computational effects, for example...
118
click to vote
PADL
2010
Springer
16 years 3 days ago
2010
Springer
Abstract. Ontologies and rules are usually loosely coupled in knowledge representation formalisms. In fact, ontologies use open-world reasoning while the leading semantics for rule...
202
click to vote
IFM
2010
Springer
15 years 1 months ago
2010
Springer
Safe is a first-order eager functional language with facilities for programmer controlled destruction and copying of data structures. It provides also regions, i.e. disjoint parts...