1375 search results - page 7 / 275 » SDL-2000: A Language with a Formal Semantics |
INFORMATIKTAGE
2010
14 years 11 months ago
2010
42
Voted
COLING
2000
14 years 11 months ago
2000
VL
2010
IEEE
14 years 8 months ago
2010
IEEE
Visual representations are widely used to describe modern-day software systems, but, in most cases, they lack rigour. This paper addresses the problems of formality, rigour and co...
JANCL
2000
14 years 9 months ago
2000
Two levels of description of nonmonotonic reasoning are distinguished. For these levels semantical formalizations are given. The first level is defined semantically by the notion o...
ENTCS
2002
14 years 9 months ago
2002
Practical declarative multi-paradigm languages combine the main features of functional, logic and concurrent programming (e.g., laziness, sharing, higher-order, logic variables, n...