2604 search results - page 10 / 521 » General constant expressions for system programming language... |
ATAL
2005
Springer
14 years 1 months ago
2005
Springer
A multi-agent system is a useful approach for the complex systems. One of the important concepts of multi-agent systems is cooperativeness, or interactions. However, existing lang...
WCRE
1996
IEEE
13 years 11 months ago
1996
IEEE
An important challenge in software reengineering is to encapsulate collections of related data that, due to the absence of appropriate constructs for encapsulation in legacy progr...
DAGSTUHL
1996
13 years 8 months ago
1996
An analysis method for specialization of imperative programs is described in this paper. This analysis is an inter-procedural data flow method operating on control flow graphs and...
POPL
1998
ACM
13 years 11 months ago
1998
ACM
abstractions, such as closures, tuples, and user-defined abstract data types. The type system ensures that well-typed programs cannot violate these abstractions. In addition, the ...
ICALP
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. This paper studies the expressive power of finite-state automata recognizing sets of real numbers encoded positionally. It is known that the sets that are definable in th...