4743 search results - page 552 / 949 » The PlusCal Algorithm Language |
114
Voted
WCRE
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper presents an algorithm for reverse engineering semantically sound object-oriented data models from programs written in weakly-typed languages like Cobol. Our inference i...
89
Voted
UM
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. A good way to help users finding relevant items on document platforms consists in suggesting content in accordance with their preferences. When implementing such a recom...
93
Voted
CP
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We present an incomplete filtering algorithm for the circuit constraint. The filter removes redundant values by eliminating nonHamiltonian edges from the associated gra...
151
Voted
ICALP
2004
Springer
15 years 8 months ago
2004
Springer
We study graph orientations that minimize the entropy of the in-degree sequence. The problem of finding such an orientation is an interesting special case of the minimum entropy ...
124
Voted
ENTCS
2010
14 years 9 months ago
2010
This is a study of a technique for deriving the session type of a program written in a statically typed imperative language from its control flow. We impose on our unlabelled sess...