5451 search results - page 184 / 1091 » Typed Operational Semantics |
134
click to vote
APLAS
2009
ACM
15 years 10 months ago
2009
ACM
Ownership types support information hiding by providing object-based encapsulation. However the static restrictions they impose on object accessibility can limit the expressiveness...
123
Voted
ACSAC
2001
IEEE
15 years 7 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...
122
click to vote
ENTCS
2002
15 years 3 months ago
2002
Category theory has proved a useful tool in the study of type systems for sequential programming languages. Various approaches have been proposed to use categorical models to exam...
141
click to vote
PPDP
2010
Springer
15 years 2 months ago
2010
Springer
We show how to achieve typed and unambiguous declarative pattern matching on strings using regular expressions extended with a simple recording operator. We give a characterizatio...
159
click to vote
VLSID
2002
IEEE
16 years 4 months ago
2002
IEEE
In this paper, a new logic synthesis method for an AND-XOR-OR type sense-amplifying PLA is proposed. An AND-XOR-OR type sense-amplifying PLA can achieve lowpower dissipation and h...