Sciweavers

9 search results - page 1 / 2
» sas 1994
Sort
View
SAS
1994
Springer
13 years 8 months ago
A Systematic Construction of Abstract Domains
Dmitri Boulanger, Maurice Bruynooghe
SAS
1994
Springer
13 years 8 months ago
Directional Type Checking of Logic Programs
Alexander Aiken, T. K. Lakshman
SAS
1994
Springer
13 years 8 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 5 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 8 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