2370 search results - page 261 / 474 » On the Revival of Dynamic Languages |
208
click to vote
APLAS
2010
ACM
15 years 7 months ago
2010
ACM
Semantic preorders between processes are usually applied in practice to model approximation or implementation relationships. For interactive models these preorders depend crucially...
207
click to vote
AML
2010
15 years 7 months ago
2010
Let L be a propositional language with standard Boolean connectives plus two modalities: an S4-ish topological modality and a temporal modality , understood as `next'. We ext...
177
click to vote
AML
2006
15 years 7 months ago
2006
Abstract Let L be a propositional language with standard Boolean connectives plus two modalities: an S4-ish topological modality and a temporal modality , understood as `next'...
193
click to vote
ENTCS
2006
15 years 7 months ago
2006
This paper describes a Java-based framework for the development of componentbased software systems supporting the specification of the logic of component interactions as a first-c...
203
click to vote
JOT
2008
15 years 7 months ago
2008
We present, in this paper, a framework supporting a formal verification of concurrent UML models using the Maude language. We consider both static and dynamic features of concurre...