582 search results - page 2 / 117 » Abstract Families of Abstract Categorial Languages |
LATA
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. Kanazawa ([1]) has studied the learnability of several parameterized families of classes of categorial grammars. These classes were shown to be learnable from text, in th...
DAC
2008
ACM
14 years 5 months ago
2008
ACM
ng Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation Yan Chen Dept. of Computer Science Portland State University Portland, OR, 97207 chenyan@cs.pdx.e...
ERSHOV
2003
Springer
13 years 9 months ago
2003
Springer
Abstract. The object-oriented programming language design space consists of class-based and prototype-based languages. Both language families have been shown to posses many advanta...
PFE
2001
Springer
13 years 9 months ago
2001
Springer
Abstract. Product family architectures need to be captured much like “regular” software architectures. Unfortunately, representations for product family architectures are scarc...
PLDI
2004
ACM
13 years 10 months ago
2004
ACM
e Synchronization Abstractions “Well, it just so happens that your friend here is only mostly dead. There’s a big difference between mostly dead and all dead.” – Miracle Ma...