-
1
-
-
0028013810
-
Soft typing with conditional types
-
AIKEN, A., WIMMERS, E. L., AND LAKSHMAN, T. K. Soft typing with conditional types. In Proceedings of the ACM Sigplan Conference on Principles of Programming Languages (1994), pp. 163-173.
-
(1994)
Proceedings of the ACM Sigplan Conference on Principles of Programming Languages
, pp. 163-173
-
-
Aiken, A.1
Wimmers, E.L.2
Lakshman, T.K.3
-
4
-
-
0027543561
-
The Parascope parallel programming environment
-
February
-
CKINLEY, K., MELLOR-CRUMMEY, J., TORCZON, L., AND WARREN, S. The Parascope parallel programming environment. Proceedings of the IEEE (February 1993), 244-263.
-
(1993)
Proceedings of the IEEE
, pp. 244-263
-
-
Cooper, K.D.1
Hall, M.W.2
Hood, R.3
Kennedy, K.4
Mckinley, K.5
Mellor-Crummey, J.6
Torczon, L.7
Warren, S.8
-
5
-
-
85050550846
-
Abstract interpretation: A unified lattice model for static analyses of programs by construction or approximation of fixpoints
-
COUSOT, P., AND COUSOT, R. Abstract interpretation: A unified lattice model for static analyses of programs by construction or approximation of fixpoints. In Proceedings of the ACM Sigplan Conference on Principles of Programming Languages (1977), pp. 238-252.
-
(1977)
Proceedings of the ACM Sigplan Conference on Principles of Programming Languages
, pp. 238-252
-
-
Cousot, P.1
Cousot, R.2
-
10
-
-
0012193440
-
-
Tech. Rep. CMU-CS-93-221, Carnegie Mellon University, December
-
HEINTZE, N. Set based analysis of arithmetic. Tech. Rep. CMU-CS-93-221, Carnegie Mellon University, December 1993.
-
(1993)
Set Based Analysis of Arithmetic
-
-
Heintze, N.1
-
12
-
-
0028448324
-
Dynamic typing: Syntax and proof theory
-
HENGLEIN, F. Dynamic typing: syntax and proof theory. Science of Computer Programming 22 (1994), pp. 197-230.
-
(1994)
Science of Computer Programming
, vol.22
, pp. 197-230
-
-
Henglein, F.1
-
13
-
-
0007761406
-
The D editor: A new interactive parallel programming tool
-
HIRANANDANI, S., KENNEDY, K., TSENG, C.-W., AND WARREN, S. The D editor: A new interactive parallel programming tool. In Proceedings of Supercomputing (1994).
-
(1994)
Proceedings of Supercomputing
-
-
Hiranandani, S.1
Kennedy, K.2
Tseng, C.-W.3
Warren, S.4
-
15
-
-
84955580823
-
Effective flow analysis for avoiding run-time checks
-
September Springer-Verlag, Preliminary version appears as part of Technical Report DAIMI-PB 493, Åarhus University, May 1995
-
JAGANNATHAN, S., AND WRIGHT, A. K. Effective flow analysis for avoiding run-time checks. In Proc. 2nd International Static Analysis Symposium, LNCS 983 (September 1995), Springer-Verlag, pp. 207-224. Preliminary version appears as part of Technical Report DAIMI-PB 493, Åarhus University, May 1995.
-
(1995)
Proc. 2nd International Static Analysis Symposium, LNCS 983
, pp. 207-224
-
-
Jagannathan, S.1
Wright, A.K.2
-
19
-
-
0347106632
-
-
Tech. Rep. CMU-CS-94-129, Carnegie Mellon University
-
MALMKJÆR, K., HEINTZE, N., AND DANVY, O. ML partial evaluation using set-based analysis. Tech. Rep. CMU-CS-94-129, Carnegie Mellon University, 1994.
-
(1994)
ML Partial Evaluation Using Set-based Analysis
-
-
Malmkjær, K.1
Heintze, N.2
Danvy, O.3
-
20
-
-
0003577356
-
-
Computer Science Department, University of Wisconsin
-
MILLER, B., KOSKI, D., LEE, C. P., MAGANTY, V., MURTHY, P., NATARAJAN, A., AND STEIDL, J. Fuzz revisited: A re-examination of the reliability of unix utilities and services. Computer Science Department, University of Wisconsin, 1995.
-
(1995)
Fuzz Revisited: A Re-examination of the Reliability of Unix Utilities and Services
-
-
Miller, B.1
Koski, D.2
Lee, C.P.3
Maganty, V.4
Murthy, P.5
Natarajan, A.6
Steidl, J.7
-
21
-
-
0003444157
-
-
The MIT Press, Cambridge, Massachusetts and London, England
-
MILNER, R., TOFTE, M., AND HARPER, R. The Definition of Standard ML. The MIT Press, Cambridge, Massachusetts and London, England, 1990.
-
(1990)
The Definition of Standard ML
-
-
Milner, R.1
Tofte, M.2
Harper, R.3
-
22
-
-
18944377121
-
Call-by-name, call-by-value, and the λ-calculus
-
PLOTKIN, G. D. Call-by-name, call-by-value, and the λ-calculus. Theoretical Comput. Sci. 1 (1975), 125-159.
-
(1975)
Theoretical Comput. Sci.
, vol.1
, pp. 125-159
-
-
Plotkin, G.D.1
|