2672 search results - page 298 / 535 » Hybridizing Concept Languages |
145
Voted
SDL
2001
15 years 5 months ago
2001
In this paper we propose some extensions necessary to enable the speci cation and description language SDL to become an appropriate formalism for the design of real-time and embedd...
112
Voted
TISSEC
2002
15 years 3 months ago
2002
Language runtime systems are increasingly being embedded in systems to support runtime extensibility via mobile code. Such systems raise a number of concerns when the code running...
145
Voted
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
Atomic regions are an important concept in correct concurrent programming: since atomic regions can be viewed as having executed in a single step, atomicity greatly reduces the nu...
144
Voted
SOSYM
2010
15 years 2 months ago
2010
In this paper we present an approach for the analysis of graph transformation rules based on an intermediate OCL representation. We translate different rule semantics into OCL, to...
85
Voted
SYNTHESE
2010
15 years 2 months ago
2010
In this paper I suggest an answer to the question of what Frege means when he says that his logical system, the Begriffsschrift, is like the language Leibniz sketched, a lingua ch...