7535 search results - page 28 / 1507 » A Type System for CHR |
WCRE
2000
IEEE
14 years 1 hour ago
2000
IEEE
We show how hypertext-based program understanding tools eve new levels of abstraction by using inferred type information for cases where the subject software system is written in ...
POPL
1989
ACM
13 years 11 months ago
1989
ACM
This paper presents an overview of the programming language Modula-3, and a more detailed description of its type system.
OOPSLA
2009
Springer
14 years 2 months ago
2009
Springer
Today’s shared-memory parallel programming models are complex and error-prone. While many parallel programs are intended to be deterministic, unanticipated thread interleavings ...
ACSAC
2001
IEEE
13 years 11 months ago
2001
IEEE
In most of the current authorization frameworks in application systems, the authorization for a user operation is determined using a static database like ACL entries or system tab...
ICEIS
2003
IEEE
14 years 27 days ago
2003
IEEE
: A definition of types in an information system is given from real-world abstractions through data constructs, schema and definitions to physical data values. Category theory su...