809 search results - page 41 / 162 » Formal Semantics for the Java Modeling Language |
128
click to vote
FMOODS
2006
15 years 3 months ago
2006
In this paper we describe an application of the theory of graph transformations to the practise of language design. In particular, we have defined the static and dynamic semantics ...
118
Voted
ENTCS
2002
15 years 2 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...
148
click to vote
CLIMA
2006
15 years 3 months ago
2006
This paper reports on a fertile marriage between madAgents, a Java and Prolog based multi-agent platform, and EVOLP, a logic programming based language to represent and reason abou...
103
Voted
SAC
2009
ACM
15 years 9 months ago
2009
ACM
Formalization is a necessary precondition for the specification of precise and unambiguous use case models, which serve as reference points for the design and implementation of so...
135
click to vote
COMPSAC
2008
IEEE
15 years 8 months ago
2008
IEEE
1 Typical enterprise and military software systems consist of millions of lines of code with complicated dependence on library abstractions. Manually debugging these codes imposes ...