Sciweavers

13 search results - page 1 / 3
» sas 2000
Sort
View
SAS
2000
Springer
13 years 8 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 6 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 8 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 8 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