6794 search results - page 999 / 1359 » Semantics of Visual Languages |
183
click to vote
FOSSACS
2005
Springer
16 years 9 days 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...
154
click to vote
GPCE
2005
Springer
16 years 8 days 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...
202
click to vote
ICALP
2005
Springer
16 years 8 days 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...
194
click to vote
ICCS
2005
Springer
16 years 8 days 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...
150
click to vote
SOFSEM
2005
Springer
16 years 7 days 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...