31686 search results - page 331 / 6338 » Resource typing in Guru |
101
click to vote
AMAST
1998
Springer
15 years 5 months ago
1998
Springer
Abstract. This paper proposes a tool to support reasoning about (partial) correctness of constraint logic programs. The tool infers a speci cation that approximates the semantics o...
IFIP
1998
Springer
15 years 5 months ago
1998
Springer
We present a distributed algorithm animation system called Catai (for Concurrent Algorithms and data Types Animation over the Internet). Among the features of this system are a lo...
HICSS
1997
IEEE
15 years 5 months ago
1997
IEEE
The goal of this paper is to develop methods to handle inconsistent knowledge elicited from multiple sources. Knowledge is represented using predicates that define relationships w...
TAPSOFT
1997
Springer
15 years 5 months ago
1997
Springer
This paper presents a type system which guarantees that well-typed programs in a procedural programming language satisfy a noninterference security property. With all program input...
101
click to vote
COMPASS
1994
15 years 5 months ago
1994
ASL+ is a formalism for speci cation and programming in-the-large, based on an arbitrary institution. It has rules for proving the satisfaction and re nement of speci cations, whic...