4880 search results - page 157 / 976 » Manuals as Structured Programs |
134
click to vote
GD
1994
Springer
15 years 7 months ago
1994
Springer
Abstract. Concept lattices are used in formal concept analysis to represent data conceptually so that the original data are still recognizable. Their line diagrams should re ect th...
141
Voted
TSE
2010
15 years 1 months ago
2010
—Discovering program behaviors and functionalities can ease program comprehension and verification. Existing program analysis approaches have used text mining algorithms to infer...
115
click to vote
ATAL
2007
Springer
15 years 9 months ago
2007
Springer
This paper proposes programming constructs to improve the practical application of existing BDI-based agent-oriented programming languages that have formal semantics. The proposed...
142
Voted
MPC
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Generic Programming deals with the construction of programs that can be applied to many dierent datatypes. This is achieved by parameterizing the generic programs by the...
135
Voted
LICS
2009
IEEE
15 years 10 months ago
2009
IEEE
Pointer programs are a model of structured computation within logspace. They capture the common description of logspace algorithms as programs that take as input some structured d...