6794 search results - page 964 / 1359 » Semantics of Visual Languages |
173
Voted
ESOP
2003
Springer
16 years 1 days ago
2003
Springer
Abstract. This paper concerns mechanisms for maintaining the value of an instrumentation predicate (a.k.a. derived predicate or view), defined via a logical formula over core pred...
188
click to vote
FASE
2003
Springer
16 years 1 days ago
2003
Springer
In this paper, we present a generic approach to integrate datatypes expressed using formal specification languages within state diagrams. Our main motivations are (i) to be able t...
150
click to vote
TOOLS
2010
IEEE
15 years 12 months ago
2010
IEEE
This paper presents Welterweight Java (WJ), a new minimal core Java calculus intended to be a suitable starting point for investigations in the semantics of Java-like programs. To ...
196
click to vote
MPC
2010
Springer
15 years 11 months ago
2010
Springer
Parser combinators are a popular tool for designing parsers in functional programming languages. If such combinators generate an abstract representation of the grammar as an interm...
210
click to vote
LOPSTR
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. The ability of reacting to changes in the external environment is of crucial importance within the context of software agents. Such feature must however be suitably recon...