Sciweavers

13 search results - page 1 / 3
» sas 2000
Sort
View
SAS
2000
Springer
15 years 29 days 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»
14 years 10 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
15 years 29 days 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
76
Voted
SAS
2000
Springer
15 years 29 days 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