3913 search results - page 429 / 783 » complexity 2006 |
205
click to vote
ENTCS
2006
15 years 6 months ago
2006
Parkinson, Bornat, and Calcagno recently introduced a logic for partial correctness in which program variables are treated as resource, generalizing earlier work based on separati...
150
click to vote
ENTCS
2006
15 years 6 months ago
2006
We introduce a simple graph logic that supports specification of Quality of Service (QoS) properties of applications. The idea is that we are not only interested in representing w...
180
click to vote
ENTCS
2006
15 years 6 months ago
2006
We present an operational semantics for a component composition language called Reo. Reo connectors exogenously compose and coordinate the interactions among individual components...
162
click to vote
ENTCS
2006
15 years 6 months ago
2006
We are using ML to build a compiler that does low-level optimization. To support optimizations in classic imperative style, we built a control-flow graph using mutable pointers an...
217
click to vote
ENTCS
2006
15 years 6 months ago
2006
Behavioral interface specification languages, such as Java Modeling Language (JML), can be used to specify the behavior of program modules. We have developed a behavioral interfac...