-
5
-
-
17144389044
-
Target-sensitive construction of diagnostic programs for procedure calling sequence generators
-
Proceedings of the ACM SIGPLAN '96 Conference on Programming Language Design and Implementation
-
_. 1996. Target-sensitive construction of diagnostic programs for procedure calling sequence generators. Proceedings of the ACM SIGPLAN '96 Conference on Programming Language Design and Implementation, in SIGPLAN Notices 31 (May): 249-257.
-
(1996)
SIGPLAN Notices
, vol.31
, Issue.MAY
, pp. 249-257
-
-
-
6
-
-
0348156847
-
Automatic detection and diagnosis of faults in generated code for procedure calls
-
_. 2003. Automatic detection and diagnosis of faults in generated code for procedure calls. IEEE Transactions on Software Engineering 29 (November): 1031-1042.
-
(2003)
IEEE Transactions on Software Engineering
, vol.29
, Issue.NOVEMBER
, pp. 1031-1042
-
-
-
7
-
-
0026112758
-
Methods for saving and restoring register values across function calls
-
Davidson, Jack W. and David B. Whalley. 1991. Methods for saving and restoring register values across function calls. Software - Practice & Experience 21 (2): 149-165.
-
(1991)
Software - Practice & Experience
, vol.21
, Issue.2
, pp. 149-165
-
-
Davidson, J.W.1
Whalley, D.B.2
-
9
-
-
33745225093
-
-
As of November 2005
-
George, Lal. 1999. SMLNJ: Garbage collection API. As of November 2005, available from http://www.smlnj.org/compiler-notes/gc-api.ps.
-
(1999)
SMLNJ: Garbage Collection API
-
-
George, L.1
-
11
-
-
84974183714
-
Higher-order functions for parsing
-
Hutton, Graham. 1992. Higher-order functions for parsing. Journal of Functional Programming 2 (July): 323-343.
-
(1992)
Journal of Functional Programming
, vol.2
, Issue.JULY
, pp. 323-343
-
-
Hutton, G.1
-
13
-
-
0004148166
-
-
INRIA
-
Leroy, Xavier, Damien Doligez, Jacques Garrigue, Didier Rémy, and Jérôme Vouillon. 2004. The Objective Caml system release 3.08: Documentation and user's manual. INRIA. Available at http://pauillac.inria.fr/ocaml/htmlman.
-
(2004)
The Objective Caml System Release 3.08: Documentation and User's Manual
-
-
Leroy, X.1
Doligez, D.2
Garrigue, J.3
Rémy, D.4
Vouillon, J.5
-
15
-
-
33745792271
-
Declarative composition of stack frames
-
13th International Conference on Compiler Construction (CC 2004)
-
Lindig, Christian and Norman Ramsey. 2004. Declarative composition of stack frames. In 13th International Conference on Compiler Construction (CC 2004), Vol. 2985 of LNCS, pages 298-312.
-
(2004)
LNCS
, vol.2985
, pp. 298-312
-
-
Lindig, C.1
Ramsey, N.2
-
16
-
-
78049442327
-
A method for synthesizing sequential circuits
-
Mealy, George H. 1955. A method for synthesizing sequential circuits. Bell System Technical Journal 34 (5): 1045-1079.
-
(1955)
Bell System Technical Journal
, vol.34
, Issue.5
, pp. 1045-1079
-
-
Mealy, G.H.1
-
17
-
-
84979009371
-
C-: A portable assembly language that supports garbage collection
-
International Conference on Principles and Practice of Declarative Programming. Springer Verlag
-
Peyton Jones, Simon L., Norman Ramsey, and Fermin Reig. 1999. C-: a portable assembly language that supports garbage collection. In International Conference on Principles and Practice of Declarative Programming, Vol. 1702 of LNCS, pages 1-28. Springer Verlag.
-
(1999)
LNCS
, vol.1702
, pp. 1-28
-
-
Peyton Jones, S.L.1
Ramsey, N.2
Reig, F.3
-
18
-
-
33745203171
-
Embedding an interpreted language using higher-order functions and types
-
To appear. A preliminary version of this paper appeared in Proceedings of the ACM Workshop on Interpreters, Virtual Machines, and Emulators, June 2003
-
Ramsey, Norman. 2005. Embedding an interpreted language using higher-order functions and types. Journal of Functional Programming. To appear. A preliminary version of this paper appeared in Proceedings of the ACM Workshop on Interpreters, Virtual Machines, and Emulators, June 2003.
-
(2005)
Journal of Functional Programming
-
-
Ramsey, N.1
-
20
-
-
17144399241
-
A single intermediate language that supports multiple implementations of exceptions
-
Proceedings of the ACM SIGPLAN '00 Conference on Programming Language Design and Implementation
-
Ramsey, Norman and Simon L. Peyton Jones. 2000. A single intermediate language that supports multiple implementations of exceptions. Proceedings of the ACM SIGPLAN '00 Conference on Programming Language Design and Implementation, in SIGPLAN Notices 35 (May): 285-298.
-
(2000)
SIGPLAN Notices
, vol.35
, Issue.MAY
, pp. 285-298
-
-
Ramsey, N.1
Jones, S.L.P.2
|