9626 search results - page 262 / 1926 » Invariant Based Programming |
144
click to vote
MP
2002
15 years 6 months ago
2002
The stability number (G) for a given graph G is the size of a maximum stable set in G. The Lov
175
click to vote
APL
2000
ACM
15 years 11 months ago
2000
ACM
Although classical object-oriented programming languages provide high-level modeling capacities t data type, inheritance etc.), they remain low-level when it comes to data manipul...
191
click to vote
APAQS
2001
IEEE
15 years 10 months ago
2001
IEEE
Infinite looping is a common type of program error. This paper studies the detection of infinite loops in imperative programs. A sufficient condition is given, which is based on p...
153
click to vote
ENTCS
2002
15 years 6 months ago
2002
This work is part of the Fujaba project. The Fujaba project aims to use the Unified Modeling Language UML as a programmed graph rewriting language. This paper describes the new gr...