4211 search results - page 229 / 843 » Types as Abstract Interpretations |
144
click to vote
POPL
1993
ACM
15 years 9 months ago
1993
ACM
A polymorphic function is parametric if its behavior does not depend on the type at which it is instantiated. Starting with Reynolds's work, the study of parametricity is typ...
155
click to vote
SFP
2004
15 years 6 months ago
2004
Abstract: Generic programming can bring important benefits to software engineering. In particular, it reduces the burden of verification, since generic proofs can be instantiated a...
126
Voted
ECAI
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Goals are central to the design and implementation of intelligent software agents. Much of the literature on goals and reasoning about goals only deals with a limited set...
158
click to vote
PVM
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. The MPI standard provides a way to send and receive complex combinations of datatypes (e.g., integers and doubles) with a single communication operation. The MPI standard...
169
click to vote
BIRTHDAY
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. UML models consist of several diagrams of different types describing different views of a software system ranging from specifications of the static system structure to de...