3429 search results - page 497 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
136
click to vote
ENTCS
2007
15 years 4 months ago
2007
As a first step toward a notion of quantum data structures, we introduce a typing system for reflecting entanglement and separability. This is presented in the context of classi...
101
click to vote
PADL
1999
Springer
15 years 8 months ago
1999
Springer
MCORBA is a binding to the CORBA distributed object framework for the purely declarative logic/functional language Mercury. The binding preserves the referential transparency of th...
174
click to vote
ALIFE
1999
15 years 3 months ago
1999
A novel machine language genetic programming system that uses one-dimensional core memories is proposed and simulated. The core is compared to a biochemical reaction space, and in ...
143
click to vote
PEPM
2007
ACM
15 years 10 months ago
2007
ACM
Functional Reactive Programming (frp) extends traditional functional programming with dataflow evaluation, making it possible to write interactive programs in a declarative style...
147
click to vote
PLDI
2005
ACM
15 years 9 months ago
2005
ACM
Ad-hoc networks of mobile devices such as smart phones and PDAs represent a new and exciting distributed system architecture. Building distributed applications on such an architec...