5096 search results - page 732 / 1020 » Associations as a Language Construct |
132
click to vote
FOSSACS
2005
Springer
16 years 6 days ago
2005
Springer
Structural congruences have been used to define the semantics and to capture inherent properties of language constructs. They have been used as an addendum to transition system sp...
147
Voted
ICALP
2005
Springer
16 years 5 days ago
2005
Springer
We consider the problem of testing the commutativity of a black-box group specified by its k generators. The complexity (in terms of k) of this problem was first considered by Pa...
159
click to vote
SOCO
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Behavioral specifications that are integrated into component interfaces are an important means for the correct construction of component-based systems. Currently, such s...
128
click to vote
UM
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Economic modeling provides a formal mechanism to understand user incentives and behavior in online systems. In this paper we describe the process of building a parameteri...
152
click to vote
APLAS
2004
ACM
16 years 3 days ago
2004
ACM
Parallel programming is becoming an important cornerstone of general computing. In addition, type systems have significant impact on program analysis. In this paper, we demonstrat...