4008 search results - page 176 / 802 » An expressive language of signatures |
146
click to vote
AMAST
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We present a separate compositional analysis for objectoriented languages. We show how a generic static analysis of a context that uses an object can be split into two se...
165
click to vote
ER
2004
Springer
15 years 12 months ago
2004
Springer
In this paper, we develop a novel Web Usage Manipulation Language (WUML) which is a declarative language for manipulating Web log data. We assume that a set of trails formed by use...
156
click to vote
ECOOPW
1999
Springer
15 years 10 months ago
1999
Springer
The GOODLY language can be used to specify the design of systems built according to the Object Oriented paradigm. It was conceived with the main purpose of facilitating the extrac...
153
click to vote
FM
2006
Springer
15 years 10 months ago
2006
Springer
Design patterns are usually described in terms of instances. Templates describe sentences of some language with a particular form, generate sentences upon instantiation, and can be...
194
click to vote
AISC
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We introduce and study a tactic language, Hitac, for constructing hierarchical proofs, known as hiproofs. The idea of hiproofs is to superimpose a labelled hierarchical n...