Sciweavers

9 search results - page 1 / 2
» sas 1994
Sort
View
SAS
1994
Springer
13 years 10 months ago
A Systematic Construction of Abstract Domains
Dmitri Boulanger, Maurice Bruynooghe
SAS
1994
Springer
13 years 10 months ago
Directional Type Checking of Logic Programs
Alexander Aiken, T. K. Lakshman
SAS
1994
Springer
13 years 11 months ago
Estimating the Computational Cost of Logic Programs
Saumya K. Debray, Pedro López-García...
ANLP
1994
83views more  ANLP 1994»
13 years 8 months ago
Automatic Aquisition of Semantic Attributes for User Defined Words m Japanese to English Machine Translation
This paper proposes a method that automatically acquires the SAs (semantic attributes) of user defined words. Applyingthis method to the compilation of a user dictionary targeting...
Satoru Ikehara, Satoshi Shirai, Akio Yokoo, Franci...
SAS
1994
Springer
104views Formal Methods» more  SAS 1994»
13 years 11 months ago
Strictness and Totality Analysis
We definea novelinference systemfor strictness andtotality analysisfor the simplytyped lazy lambda-calculus with constants and fixpoints. Strictness information identifies those t...
Kirsten Lackner Solberg