6016 search results - page 863 / 1204 » The semantics of graphical languages |
185
click to vote
COLING
1990
15 years 8 months ago
1990
: CLG(2) is the latest member of a family of grammar formalisms centered around the notion of complex constraint expression for describing phrasal and iexical information and princ...
200
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Time is one of the most difficult aspects to handle in real world applications such as database systems. Relational database management systems proposed by Codd offer very little ...
178
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
In this paper we present a simple database definition language: that of categories and functors. A database schema is a category and a state is a set-valued functor. We show that m...
193
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
This is a set of lecture notes that developed out of courses on the lambda calculus that I taught at the University of Ottawa in 2001 and at Dalhousie University in 2007. Topics c...
155
click to vote
ENTCS
2008
15 years 7 months ago
2008
CLF (the Concurrent Logical Framework) is a language for specifying and reasoning about concurrent systems. Its most significant feature is the first-class representation of concu...