Sciweavers

18429 search results - page 315 / 3686
» Typing dynamic typing
Sort
View
PADL
2004
Springer
16 years 1 days ago
Improved Compilation of Prolog to C Using Moded Types and Determinism Information
We describe the current status of and provide performance results for a prototype compiler of Prolog to C, ciaocc. ciaocc is novel in that it is designed to accept different kinds...
José F. Morales, Manuel Carro, Manuel V. He...
242
Voted
PSD
2004
Springer
186views Database» more  PSD 2004»
16 years 1 days ago
Privacy Preserving and Data Mining in an On-Line Statistical Database of Additive Type
In an on-line statistical database, the query-answering system should prevent answers to statistical queries from leading to disclosure of confidential data. On the other hand, a s...
Francesco M. Malvestuto, Mauro Mezzini
SCOPES
2004
Springer
16 years 1 days ago
Fast Points-to Analysis for Languages with Structured Types
Michael Jung, Sorin A. Huss
VMCAI
2004
Springer
16 years 1 days ago
Security Types Preserving Compilation: (Extended Abstract)
Gilles Barthe, Amitabh Basu, Tamara Rezk
COOPIS
2003
IEEE
16 years 5 hour ago
Static Type-Inference for Trust in Distributed Information Systems
Abstract. Decision-makers in critical fields such as medicine and finance make use of a wide range of information available over the Internet. Mediation, a data integration techn...
Premkumar T. Devanbu, Michael Gertz, Brian Toone