2534 search results - page 10 / 507 » A Type System for the Push-Enter Model |
ADC
2008
Springer
14 years 1 months ago
2008
Springer
As the eXtensible Markup Language (XML) is about to emerge as a new standard for databases, the problem of providing solid logical grounds for XML query languages arises. For the ...
TPHOL
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract. This paper introduces the logical system HOL2P that extends classical higher order logic (HOL) with type operator variables and universal types. HOL2P has explicit term o...
ER
2003
Springer
14 years 22 days ago
2003
Springer
Abstract. We review the definition of entity types derived by symbolgenerating rules. These types appear frequently in conceptual schemas. However, up to now they have received ver...
CAISE
2007
Springer
14 years 1 months ago
2007
Springer
In a series of publications, we have proposed a foundational system of ontological categories which has been used to evaluate and improve the quality of conceptual modeling languag...
CC
2003
Springer
14 years 22 days ago
2003
Springer
Popular mobile code architectures (Java and .NET) include verifiers to check for memory safety and other security properties. Since their formats are relatively high level, suppor...