1375 search results - page 17 / 275 » SDL-2000: A Language with a Formal Semantics |
IJIS
2002
14 years 9 months ago
2002
Dynamics are an important aspect of agent models. Control of dynamics requires specific methods of specification that have their own specific semantics. This paper addresses speci...
96
Voted
TLCA
2007
Springer
15 years 3 months ago
2007
Springer
A Kripke Semantics is defined for a higher-order logic programming language with constraints, based on Church’s Theory of Types and a generic constraint formalism. Our syntactic...
SIGLEX
1991
15 years 1 months ago
1991
One problem in the design of a lexicon for natural language processing is the representation of semantic knowledge. We examine the adequacy of knowledge representation formalisms ...
KBSE
1997
IEEE
15 years 1 months ago
1997
IEEE
Given a program S and a precondition Q, the strongest postcondition, denoted sp(S Q), is defined as the strongest condition that holds after the execution of S, given that S term...
KBS
2006
2006
Facilitating formal specification acquisition by using recursive functions on context-free languages
14 years 9 months ago
Although formal specification techniques are very useful in software development, the acquisition of formal specification is a difficult task. This paper presents the formal softw...