233 search results - page 12 / 47 » BlenX Static and Dynamic Semantics |
109
Voted
CSSE
2008
IEEE
15 years 10 months ago
2008
IEEE
Instruction-Set Simulators (ISS) are indispensable tools for studying new architectures. There are several alternatives to achieve instruction set simulation, such as interpretive...
135
Voted
ECOWS
2006
Springer
15 years 7 months ago
2006
Springer
Traditional process support systems offer the promise of software assembled from service elements. The typical approach is a static composition of atomic processes to more powerfu...
178
Voted
WCFLP
2005
ACM
15 years 9 months ago
2005
ACM
Program slicing is a well-known technique that extracts from a program those statements which are relevant to a particular criterion. While static slicing does not consider any in...
128
Voted
IANDC
2010
15 years 2 months ago
2010
Broadcast semantics poses significant challenges over point-to-point communication when it comes to formal modelling and analysis. Current approaches to analysing broadcast netwo...
142
Voted
FMOODS
2006
15 years 5 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 ...