6794 search results - page 999 / 1359 » Semantics of Visual Languages |
143
click to vote
FOSSACS
2005
Springer
15 years 10 months ago
2005
Springer
The problems of contextual equivalence and approximation are studied for the third-order fragment of Idealized Algol with iteration (IA∗ 3). They are approached via a combination...
131
click to vote
GPCE
2005
Springer
15 years 10 months ago
2005
Springer
Although a feature model can represent commonalities and variabilities in a very concise taxonomic form, features in a feature model are merely symbols. Mapping features to other m...
163
click to vote
ICALP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We present a Hoare logic for a simple imperative whilelanguage with stored commands, ie. stored parameterless procedures. Stores that may contain procedures are called hi...
161
click to vote
ICCS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Description Logics (DLs) are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from si...
116
click to vote
SOFSEM
2005
Springer
15 years 10 months ago
2005
Springer
We give a new characterization of those languages that are definable in fragments of LTL where the nesting depths of X and U modalities are bounded by given constants. This brings...