6201 search results - page 135 / 1241 » Implementation of Axiomatic Language |
161
click to vote
JOT
2010
15 years 2 months ago
2010
Design contracts can be used in software development to ensure the preservation of assertions for program correctness. This can increase reliability in software design. Design by ...
156
click to vote
ICFP
1999
ACM
15 years 8 months ago
1999
ACM
The MrEd virtual machine serves both as the implementation platform for the DrScheme programming environment, and as the underlying Scheme engine for executing expressions and pro...
145
click to vote
TOOLS
1999
IEEE
15 years 8 months ago
1999
IEEE
The goal of this paper is to obtain a one-to-one correspondence between state machines as e.g. used in UML and object-oriented programming languages. A proposal is made for a lang...
126
click to vote
CSREAESA
2004
15 years 5 months ago
2004
For many years, C has been known as a fast, yet unfriendly language. Similarly, Java presents its own trade-offs, including more advanced language features at the cost of slower ex...
187
click to vote
IFIP
2010
Springer
14 years 11 months ago
2010
Springer
Modern embedded systems are often heterogeneous in that their design requires several description paradigms, based on different models of computation and concurrency (MoCCs). In th...