1216 search results - page 69 / 244 » Hybrid type checking |
BIRTHDAY
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We consider programs which are data independent with respect to two type variables X and Y , and can in addition use arrays indexed by X and storing values from Y . We ar...
102
click to vote
GPCE
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. SafeGen is a meta-programming language for writing statically safe generators of Java programs. If a program generator written in SafeGen passes the checks of the SafeGen...
102
click to vote
DALT
2004
Springer
15 years 5 months ago
2004
Springer
In this paper we address the challenges associated with the verification of correctness of communication between agents in MultiAgent Systems. Our approach applies model-checking ...
100
click to vote
ECEASST
2010
14 years 9 months ago
2010
d Abstract) Detlef Plump Abstract. In general, it is undecidable whether a terminating graphtransformation system is confluent or not. We introduce the class of coverable hypergrap...
175
click to vote
PEPM
2009
ACM
17 years 17 hour ago
2009
ACM
The Verilog hardware description language has padding semantics that allow designers to write descriptions where wires of different bit widths can be interconnected. However, many ...