877 search results - page 73 / 176 » How to Cover a Grammar |
96
Voted
ICHIM
2001
15 years 2 months ago
2001
A survey has been made of the holdings and preservation requirements of ten major European public service broadcast archives. The survey also covered `the business they do and how...
88
Voted
DLOG
2009
15 years 1 months ago
2009
Abstract There are various techniques for specifying a module of an ontology that covers all knowledge about a given set of terms. These differ with respect to the size of the modu...
100
Voted
CORR
2010
Springer
15 years 23 days ago
2010
Springer
The goal of this lecture is to show how modern theorem provers--in this case, the Coq proof assistant--can be used to mechanize the specification of programming languages and their...
82
Voted
APAL
2006
15 years 22 days ago
2006
If a locale is presented by a "flat site", it is shown how its frame can be presented by generators and relations as a dcpo. A necessary and sufficient condition is deri...
100
click to vote
ENTCS
2007
15 years 19 days ago
2007
Refactorings are changes made to programs, models or specifications with the intention of improving their structure and thus making them clearer, more readable and re-usable. Ref...