2880 search results - page 1 / 576 » Types are calling conventions |
135
Voted
HASKELL
2009
ACM
15 years 9 months ago
2009
ACM
It is common for compilers to derive the calling convention of a function from its type. Doing so is simple and modular but misses many optimisation opportunities, particularly in...
106
Voted
DEON
2006
Springer
15 years 6 months ago
2006
Springer
The paper outlines an approach to the formal representation of signalling conventions, emphasising the prominent role played therein by a particular type of normative modality. It ...
225
Voted
POPL
2006
ACM
16 years 3 months ago
2006
ACM
We present staged allocation, a technique for specifying calling conventions by composing tiny allocators called stages. A specification written using staged allocation has a prec...
144
Voted
AADEBUG
2005
Springer
15 years 4 months ago
2005
Springer
In a C compiler, function calls are difficult to implement correctly because they must respect a platform-specific calling convention. But they are governed by a simple invariant...
107
Voted
ML
2008
ACM
15 years 2 months ago
2008
ACM
The importance of providing a mechanism to call C functions from high-level languages has been understood for many years and, these days, almost all statically-typed high-level-la...