3713 search results - page 344 / 743 » Constructing a Calculus of Programs |
142
click to vote
SAC
2004
ACM
15 years 10 months ago
2004
ACM
Interfaces as defined in the JAVA programming language can enhance both decoupling and comprehensibility of large code bases. Several researchers have pointed out this key role of...
111
click to vote
ANSS
2000
IEEE
15 years 9 months ago
2000
IEEE
The cost of building a new system is usually quite high and without a proper design, a mismatch might occur between the proposed system and the actual system delivered. One aspect...
151
Voted
LICS
1993
IEEE
15 years 8 months ago
1993
IEEE
traction for a Shared Variable Parallel Language Stephen Brookes∗ School of Computer Science Carnegie Mellon University Pittsburgh, Pa 15213 We give a new denotational semantics...
177
click to vote
DSRT
2008
IEEE
15 years 6 months ago
2008
IEEE
Most common real-time embedded programming languages provide a means to specify functionality; however, they have few constructs to specify precise timing constraints. LabVIEW is ...
157
click to vote
JTRES
2010
ACM
15 years 4 months ago
2010
ACM
The Safety Critical Java Specification intends to support the development of programs that must be certified. The specification includes a number of annotations used to constrain ...