7681 search results - page 51 / 1537 » Typed Membrane Systems |
WCRE
2000
IEEE
15 years 2 months 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
15 years 1 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
15 years 4 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
15 years 1 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
15 years 3 months 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...