3185 search results - page 129 / 637 » Principles for modeling language design |
SIGCSE
2006
ACM
14 years 1 months ago
2006
ACM
We describe the implementation of “MARS,” a GUI, Java-based simulator for the MIPS assembly language. MIPS, the computer architecture underlying the simulated assembly languag...
ESOP
2006
Springer
13 years 11 months ago
2006
Springer
This paper describes FrTime, an extension of Scheme designed for writing interactive applications. Inspired by functional reactive programming, the language embeds dynamic dataflow...
CODES
2008
IEEE
13 years 9 months ago
2008
IEEE
SystemC is widely used for modeling and simulation in hardware/software co-design. Due to the lack of a complete formal semantics, it is not possible to verify SystemC designs. In...
DATE
1999
IEEE
14 years 5 days ago
1999
IEEE
Software programming languages, such as C/C++, have been used as means for specifying hardware for quite a while. Different design methodologies have exploited the advantages of f...
EMISA
2002
Springer
13 years 7 months ago
2002
Springer
: In this paper a proposal for the Biology Petri Net Markup Language (BioPNML) is presented. The concepts and terminology of the interchange format as well as its syntax that is ba...