6054 search results - page 104 / 1211 » Implementation of Andorra-based Languages |
148
click to vote
HASE
2008
IEEE
15 years 11 months ago
2008
IEEE
Implementing real-time critical systems is an increasingly complex process that calls for high-level formal programming languages. Existing languages mainly focus on mono-periodic...
163
click to vote
JOT
2010
15 years 3 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 ...
157
click to vote
ICFP
1999
ACM
15 years 9 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...
149
Voted
TOOLS
1999
IEEE
15 years 9 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...
127
Voted
CSREAESA
2004
15 years 6 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...