3689 search results - page 337 / 738 » A Language with Distributed Scope |
134
click to vote
DAGSTUHL
2006
15 years 6 months ago
2006
Previous works define the notion of system model, which provides a formal basis for the definition of the semantics of a distributed object-oriented modelling language. This articl...
140
click to vote
FMOODS
2003
15 years 6 months ago
2003
A way to write proof scores showing that distributed systems have invariant properties in algebraic specification languages is described, which has been devised through several ca...
148
click to vote
DLT
1993
15 years 6 months ago
1993
We concider an extened algebra of regular events (languages) with intersection besides the usual operations. This algebra has the structure of a distributive lattice with monotoni...
136
Voted
EACL
1989
ACL Anthology
15 years 6 months ago
1989
ACL Anthology
CT Feature Unification can be integrated with Lambek Theorem Proving in a simple and straightforward way. Two principles determine all distribution of features in LTP. It is not ne...
153
click to vote
Source Code
Armadillo is a streamlined C++ linear algebra library (matrix maths) aiming towards a good balance between speed and ease of use. It is based on recursive templates. Integer, float...