713 search results - page 70 / 143 » Viewcharts: Syntax and Semantics |
134
click to vote
FUIN
2008
15 years 4 months ago
2008
The aim of this work is to describe the translation from Intermediate Language, one of the input formalisms of the model checking platform VerICS, to timed automata with discrete d...
124
Voted
ENTCS
2006
15 years 4 months ago
2006
Communication in multi-agent systems is an important subject of the current research. In this paper, the syntax and semantics of a multi-agent programming language, called ECCS, a...
128
click to vote
JAVA
1999
Springer
15 years 8 months ago
1999
Springer
This chapter presents a dynamic denotational semantics of the Java programming language. This semantics covers almost the full range of the base language, excluding only concurrenc...
157
click to vote
DOOD
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. We present a well-founded semantics for deductive objectoriented database (dood) languages by applying the alternating- xpoint characterization of the well-founded model ...
135
click to vote
KONVENS
1992
15 years 8 months ago
1992
: We consider communication between modules in an integrated architecture for Speech and Natural Language (NL), in particular the communication with the semantics module. In an int...