Sciweavers

13 search results - page 1 / 3
» sas 2000
Sort
View
SAS
2000
Springer
13 years 11 months ago
Unified Analysis of Array and Object References in Strongly Typed Languages
Stephen J. Fink, Kathleen Knobe, Vivek Sarkar
ANLP
1994
83views more  ANLP 1994»
13 years 9 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
2000
Springer
13 years 11 months ago
Enforcing Design Constraints with Object Logic
Design constraints express essential behavioural properties of a software system. Two key elements of a scheme for enforcing design constraints are presented: a logic for describin...
Daniel Jackson
SAS
2000
Springer
13 years 11 months ago
Tree Schemata and Fair Termination
We present a new representation for possibly infinite sets of possibly infinite trees. This representation makes extensive use of sharing to achieve efficiency. As much as possible...
Laurent Mauborgne