709 search results - page 97 / 142 » Type Checking in XOBE |
VLDB
1991
ACM
14 years 12 days ago
1991
ACM
We introduce a persistentfunctional languagecalled PFL which adapts functional programming to the area of deductive databases,much as logic-based deductive databaselanguagesadapt ...
ESOP
2010
Springer
14 years 7 days ago
2010
Springer
Language-based information flow methods offer a principled way to enforce strong security properties, but enforcing noninterference is too inflexible for realistic applications. Se...
WSC
2008
13 years 11 months ago
2008
The aim of this research is to introduce the reader to a new perspective on the framework for designing a manufacturing line project in Japanese automobile manufacturing plants. A...
CATS
2007
13 years 10 months ago
2007
The busy beaver problem is to find the maximum number of 1’s that can be printed by an n-state Turing machine of a particular type. A critical step in the evaluation of this va...
LREC
2010
13 years 10 months ago
2010
We propose a Word Sense Disambiguation (WSD) method that accurately classifies ambiguous words to concepts in the Associative Concept Dictionary (ACD) even when the test corpus an...