215 search results - page 30 / 43 » Pattern Matching in Order-Sorted Languages |
POPL
1997
ACM
15 years 1 months ago
1997
ACM
We present a new predicative and decidable type system, called ML , suitable for languages that integrate functional programming and parametric polymorphism in the tradition of ML...
EDBT
2009
ACM
15 years 4 months ago
2009
ACM
A wealth of information is available only in web pages, patents, publications etc. Extracting information from such sources is challenging, both due to the typically complex langu...
POLICY
2007
Springer
15 years 3 months ago
2007
Springer
Obligation Policies specify management actions that must be performed when a particular kind of event occurs and certain conditions are satisfied. Large scale distributed systems...
ACL
2009
14 years 7 months ago
2009
An important and well-studied problem is the production of semantic lexicons from a large corpus. In this paper, we present a system named ASIA (Automatic Set Instance Acquirer), ...
154
click to vote
ICMT
2011
Springer
14 years 1 months ago
2011
Springer
Complex model editing activities are frequently performed to realize various model evolution tasks (e.g., model scalability, weaving aspects into models, and model refactoring). In...