194 search results - page 17 / 39 » A Rewriting Semantics for Type Inference |
254
click to vote
AMW
2011
14 years 7 months ago
2011
Subqueries are a poweful feature which allows to enforce reuse, composition, rewriting and optimization in a query language. In this paper we perform a comprehensive study of the i...
101
click to vote
BIRTHDAY
2005
Springer
15 years 8 months ago
2005
Springer
Expander2 is a flexible multi-purpose workbench for interactive rewriting, verification, constraint solving, flow graph analysis and other procedures that build up proofs or co...
132
click to vote
SEMCO
2007
IEEE
15 years 9 months ago
2007
IEEE
Many recent advances in complex domains such as Natural Language Processing (NLP) have taken a discriminative approach in conjunction with the global application of structural and...
128
click to vote
RTA
2005
Springer
15 years 8 months ago
2005
Springer
Proof-carrying code provides a mechanism for insuring that a host, or code consumer, can safely run code delivered by a code producer. The host specifies a safety policy as a set ...
126
click to vote
FUIN
2007
15 years 3 months ago
2007
Proof-carryingcode provides a mechanism for insuring that a host, or code consumer, can safely run code delivered by a code producer. The host specifies a safety policy as a set o...