4139 search results - page 357 / 828 » Designing and Implementing Combinator Languages |
214
click to vote
WOTUG
2008
15 years 8 months ago
2008
When teaching concurrency, using a process-oriented language, it is often introduced through a visual representation of programs in the form of process network . These diagrams all...
267
Voted
JTRES
2010
ACM
15 years 7 months ago
2010
ACM
We present oSCJ, an implementation of the draft of Safety Critical Java (SCJ) specification. SCJ is designed to make Java amenable to writing mission- and safety-critical software...
184
click to vote
ICCS
2007
Springer
16 years 1 months ago
2007
Springer
Designing and refining ontologies becomes a tedious task, once the boundary to real-world-size knowledge bases has been crossed. Hence semi-automatic methods supporting those task...
219
Voted
AOIS
2003
15 years 8 months ago
2003
Abstract. Agent-oriented modelling of software systems and agent-based simulation are commonly viewed as two separate fields with different concepts and techniques. We show that th...
183
click to vote
FAC
2002
15 years 7 months ago
2002
Formal methods can be used in effective combination only if the semantic links between individual methods are clearly established. This paper discusses the semantic design of TCOZ,...