4008 search results - page 366 / 802 » An expressive language of signatures |
152
Voted
LACL
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Kanazawa has shown that k-valued classical categorial grammars have the property of finite elasticity [1], which is a sufficient condition for learnability. He has also ...
169
click to vote
OOPSLA
2005
Springer
16 years 9 days ago
2005
Springer
We describe CodeQuest, a system for querying source code. It combines two previous proposals, namely the use of logic programming and database system. Experiments (on projects ran...
190
click to vote
SPC
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Most attempts at analysing secure information flow in programs are based on domain-specific logics. Though computationally feahese approaches suffer from the need for ...
184
click to vote
APLAS
2004
ACM
16 years 7 days ago
2004
ACM
This paper develops a mathematical characterisation of object-oriented concepts by defining an observation-oriented semantics for an object-oriented language (OOL) with a rich var...
173
click to vote
CAISE
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. This paper describes the AutoMed repository and some associated tools, which provide the first implementation of the both as view (BAV) approach to data integration. Apa...