2496 search results - page 16 / 500 » Error-detecting properties of languages |
ENTCS
2008
13 years 10 months ago
2008
Graphs are among the most frequently used structures in Computer Science. In this work, we analyze how we can express some important graph properties such as connectivity, acyclic...
OOPSLA
2005
Springer
14 years 3 months ago
2005
Springer
A number of effective error detection tools have been built in recent years to check if a program conforms to certain design rules. An important class of design rules deals with s...
COLING
2008
13 years 11 months ago
2008
This work presents the development of a system that detects incorrect uses of complex postpositions in Basque, an agglutinative language. Error detection in complex postpositions ...
ECMDAFA
2009
Springer
14 years 4 months ago
2009
Springer
The need for a design language that is rigorous but accessible and intuitive is often at odds with the formal and mathematical nature of languages used for analysis. UML and Petri ...
ICPADS
1998
IEEE
14 years 2 months ago
1998
IEEE
This paper presents a new conceptual model, the XBWModel. Distributed computing is becoming a cost effective way to implement safety critical control systems. To support the devel...