2139 search results - page 173 / 428 » Connecting language to the world |
190
click to vote
FMCO
2007
Springer
16 years 20 days ago
2007
Springer
This article considers the coordination language Reo, a Petri net variant called zero-safe nets, and intuitionistic temporal linear logic (ITLL). The first part examines the seman...
150
click to vote
UML
2004
Springer
15 years 12 months ago
2004
Springer
The description of software architectures has always been concerned with the definition of the appropriate languages for designing the various architectural artifacts. Over the pa...
150
click to vote
ECOOP
1992
Springer
15 years 10 months ago
1992
Springer
Multiple dispatching provides increased expressive power over single dispatching by guiding method lookup using the values of all arguments instead of only the receiver. However, ...
171
click to vote
ACL
2008
15 years 8 months ago
2008
For centuries, the deep connection between languages has brought about major discoveries about human communication. In this paper we investigate how this powerful source of inform...
154
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We present the basic high-level structures used for developing quantum programming languages. The presented structures are commonly used in many existing quantum programming langua...