-
1
-
-
0024304651
-
Efficient implemenation of lattice operations
-
AÏT-KACI, H., BOYER, R., LINCOLN, P., AND NASR, R. 1989. Efficient implemenation of lattice operations. ACM Transactions on Programming Languages and Systems 11, 1 (January), 115-146.
-
(1989)
ACM Transactions on Programming Languages and Systems
, vol.11
, Issue.1 JANUARY
, pp. 115-146
-
-
Aït-Kaci, H.1
Boyer, R.2
Lincoln, P.3
Nasr, R.4
-
3
-
-
0347556786
-
Efficient type reconstruction in the presence of inheritance
-
Springer Verlag, LNCS
-
BENKE, M. 1993. Efficient type reconstruction in the presence of inheritance. In Mathematical Foundations of Computer Science (MFCS). Springer Verlag, LNCS 711, 272-280.
-
(1993)
Mathematical Foundations of Computer Science (MFCS)
, vol.711
, pp. 272-280
-
-
Benke, M.1
-
4
-
-
0038173097
-
Lattice Theory
-
third ed. American Mathematical Society, Providence, RI
-
BIRKHOFF, G. 1995. Lattice Theory, third ed. Colloquium Publications, vol. 25. American Mathematical Society, Providence, RI.
-
(1995)
Colloquium Publications
, vol.25
-
-
Birkhoff, G.1
-
5
-
-
84976775922
-
Efficient handling of multiple inheritance hierarchies
-
Washington,DC,USA
-
CASEAU, Y. 1993. Efficient handling of multiple inheritance hierarchies. In Proceedings OOPSLA '93. Washington,DC,USA, 271-287.
-
(1993)
Proceedings OOPSLA '93
, pp. 271-287
-
-
Caseau, Y.1
-
6
-
-
0003238577
-
Towards a provably-correct implementation of the JVM bytecode verifier
-
Kestrel Institue. August 1998.
-
COGLIO, A., GOLDBERG, A., AND QIAN, Z. 1998. Towards a provably-correct implementation of the JVM bytecode verifier. Tech. Rep. KES.U.98.5, Kestrel Institue. August 1998. Also availabe in Proceedings of the OOPSLA '98 Workshop on the Formal Underpinnings of Java, Vancouver, B.C., October 1998.
-
(1998)
Tech. Rep. KES.U.98.5
-
-
Coglio, A.1
Goldberg, A.2
Qian, Z.3
-
7
-
-
0442274154
-
-
Also availabe Vancouver, B.C., October
-
COGLIO, A., GOLDBERG, A., AND QIAN, Z. 1998. Towards a provably-correct implementation of the JVM bytecode verifier. Tech. Rep. KES.U.98.5, Kestrel Institue. August 1998. Also availabe in Proceedings of the OOPSLA '98 Workshop on the Formal Underpinnings of Java, Vancouver, B.C., October 1998.
-
(1998)
Proceedings of the OOPSLA '98 Workshop on the Formal Underpinnings of Java
-
-
-
8
-
-
0024866680
-
An efficient method of computing static single assignment form
-
CYTRON, R., FERRANTE, J., ROSEN, B. K., WEGMAN, M. N., AND ZADECK, F. K. 1989. An efficient method of computing static single assignment form. In Proceedings of the Sixteenth Annual ACM Symposium on Principles of Programming Languages.
-
(1989)
Proceedings of the Sixteenth Annual ACM Symposium on Principles of Programming Languages
-
-
Cytron, R.1
Ferrante, J.2
Rosen, B.K.3
Wegman, M.N.4
Zadeck, F.K.5
-
10
-
-
0033889980
-
Marmot: An optimizing compiler for Java
-
FITZGERALD, R., KNOBLOCK, T. B., RUF, E., STEENSGAARD, B., AND TARDITI, D. 2000. Marmot: An optimizing compiler for Java. Software: Practice and Experience 30, 3 (Mar.), 199-232.
-
(2000)
Software: Practice and Experience
, vol.30
, Issue.3 MAR
, pp. 199-232
-
-
Fitzgerald, R.1
Knoblock, T.B.2
Ruf, E.3
Steensgaard, B.4
Tarditi, D.5
-
11
-
-
19144362689
-
The costs and benefits of Java bytecode subroutines
-
FREUND, S. N. 1998. The costs and benefits of Java bytecode subroutines. In Formal Underpinnings of Java Workshop at OOPSLA. http://ww-dse.doc.ic.ac.edu/~sue/oopsla/cfp.html.
-
(1998)
Formal Underpinnings of Java Workshop at OOPSLA
-
-
Freund, S.N.1
-
13
-
-
0003444440
-
A type system for Java bytecode subroutines and exceptions
-
Stanford Univeristy, Computer Science Department. April
-
FREUND, S. N. AND MITCHELL, J. C. 1999. A type system for Java bytecode subroutines and exceptions. Tech. rep., Stanford Univeristy, Computer Science Department. April.
-
(1999)
Tech. Rep.
-
-
Freund, S.N.1
Mitchell, J.C.2
-
14
-
-
0005047374
-
Intra-procedural inference of static types for Java bytecode
-
McGill University
-
GAGNON, E. AND HENDREN, L. 1999. Intra-procedural inference of static types for Java bytecode. Tech. Rep. 1, McGill University.
-
(1999)
Tech. Rep.
, vol.1
-
-
Gagnon, E.1
Hendren, L.2
-
15
-
-
0011469025
-
A specification of Java loading and bytecode verification
-
Kestrel Institute. December
-
GOLDBERG, A. 1997. A specification of Java loading and bytecode verification. Tech. Rep. KES.U.92.1, Kestrel Institute. December.
-
(1997)
Tech. Rep. KES.U.92.1
-
-
Goldberg, A.1
-
16
-
-
0003518498
-
The Java Language Specification
-
Addison-Wesley, Reading, MA, USA
-
GOSLING, J., JOY, B., AND STEELE, G. 1996. The Java Language Specification. The Java Series. Addison-Wesley, Reading, MA, USA.
-
(1996)
The Java Series
-
-
Gosling, J.1
Joy, B.2
Steele, G.3
-
20
-
-
0028517946
-
Efficient inference of partial types
-
KOZEN, D., PALSBERG, J., AND SCHWARTZBACH, M. I. 1994. Efficient inference of partial types. Journal of Computer and System Sciences 49, 2, 306-324.
-
(1994)
Journal of Computer and System Sciences
, vol.49
, Issue.2
, pp. 306-324
-
-
Kozen, D.1
Palsberg, J.2
Schwartzbach, M.I.3
-
26
-
-
0347556784
-
From system F to typed assembly language
-
Cornell University
-
MORRISETT, G., WALKER, D., CRARY, K., AND GLEW, N. 1997. From system F to typed assembly language. Tech. Rep. TR97-1651, Cornell University.
-
(1997)
Tech. Rep. TR97-1651
-
-
Morrisett, G.1
Walker, D.2
Crary, K.3
Glew, N.4
-
27
-
-
0003616865
-
-
Ph.D. thesis, Carnegie Mellon University. Published as CMU Technical Report CMU-CS-95-226
-
MORRISETT, J. G. 1995. Compiling with types. Ph.D. thesis, Carnegie Mellon University. Published as CMU Technical Report CMU-CS-95-226.
-
(1995)
Compiling with Types
-
-
Morrisett, J.G.1
-
29
-
-
0004118855
-
-
Ph.D. thesis, Carnegie Mellon University
-
NECULA, G. C. 1998. Compiling with proofs. Ph.D. thesis, Carnegie Mellon University.
-
(1998)
Compiling with Proofs
-
-
Necula, G.C.1
-
31
-
-
0005042682
-
Machine-checking the Java specification: Proving type-safety
-
J. Alves-Foss, Ed. LNCS, Springer-Verlag
-
OHEIMB, D. V. AND NIPKOW, T. 1999. Machine-checking the Java specification: Proving type-safety. In Formal Syntax and Semantics of Java, J. Alves-Foss, Ed. LNCS, vol. 1523. Springer-Verlag, 119-156.
-
(1999)
Formal Syntax and Semantics of Java
, vol.1523
, pp. 119-156
-
-
Oheimb, D.V.1
Nipkow, T.2
-
33
-
-
0030281821
-
Satisfiability of inequalities in a poset
-
PRATT, V. AND TIURYN, J. 1996. Satisfiability of inequalities in a poset. Fundamenta Informaticae 28, 1-2, 165-182.
-
(1996)
Fundamenta Informaticae
, vol.28
, Issue.1-2
, pp. 165-182
-
-
Pratt, V.1
Tiuryn, J.2
-
34
-
-
84948948452
-
Proving the soundness of a Java bytecode verifier specification in Isabelle/HOL
-
W. R. Cleaveland, Ed. LNCS, Springer-Verlag
-
PUSCH, C. 1999. Proving the soundness of a Java bytecode verifier specification in Isabelle/HOL. In Tools and Algorithms for the Construction and Analysis of Systems (TACAS'99), W. R. Cleaveland, Ed. LNCS, vol. 1579. Springer-Verlag, 89-103.
-
(1999)
Tools and Algorithms for the Construction and Analysis of Systems (TACAS'99)
, vol.1579
, pp. 89-103
-
-
Pusch, C.1
-
35
-
-
0003361902
-
A formal specification of a large subset of Java virtual machine instructions for objects, methods and subroutines
-
J. Alves-Foss, Ed. in LNCS. Springer-Verlag
-
QIAN, Z. 1998. A formal specification of a large subset of Java virtual machine instructions for objects, methods and subroutines. In Formal Syntax and Semantics of Java, J. Alves-Foss, Ed. Number 1523 in LNCS. Springer-Verlag.
-
(1998)
Formal Syntax and Semantics of Java
, Issue.1523
-
-
Qian, Z.1
-
36
-
-
0346925712
-
Least types for memory locations in (Java) bytecode
-
Kestrel Institute
-
QIAN, Z. 1999. Least types for memory locations in (Java) bytecode. Tech. rep., Kestrel Institute, http://www.kestrel.edu/HTML/people/qian/pub-list.html.
-
(1999)
Tech. Rep.
-
-
Qian, Z.1
-
37
-
-
0033225348
-
Tractable constraints in finite semilattices
-
REHOF, J. AND MOGENSEN, T. Æ.. 1999. Tractable constraints in finite semilattices. Science of Computer Programming 35, 2, 191-221.
-
(1999)
Science of Computer Programming
, vol.35
, Issue.2
, pp. 191-221
-
-
Rehof, J.1
Mogensen, T.Æ.2
-
38
-
-
0343301464
-
Data-flow analysis and type recovery in scheme
-
P. Lee, Ed. The MIT Press, Chapter 3
-
SHIVERS, O. 1991. Data-flow analysis and type recovery in scheme. In Topics in Advanced Language Implementation, P. Lee, Ed. The MIT Press, Chapter 3, 47-87.
-
(1991)
Topics in Advanced Language Implementation
, pp. 47-87
-
-
Shivers, O.1
-
41
-
-
0003747398
-
Proving JavaS type soundness
-
University of Cambridge Computer Laboratory
-
SYME, D. 1997. Proving JavaS type soundness. Tech. Rep. 427, University of Cambridge Computer Laboratory.
-
(1997)
Tech. Rep.
, vol.427
-
-
Syme, D.1
-
43
-
-
0001790593
-
Depth first search and linear graph algorithms
-
TARJAN, R. E. 1972. Depth first search and linear graph algorithms. SIAM Journal on Computing 1, 2, 146-160.
-
(1972)
SIAM Journal on Computing
, vol.1
, Issue.2
, pp. 146-160
-
-
Tarjan, R.E.1
-
45
-
-
0002874620
-
A simple algorithm and proof for type inference
-
WAND, M. 1987. A simple algorithm and proof for type inference. Fundamenta Informaticae X, 115-122.
-
(1987)
Fundamenta Informaticae
, vol.10
, pp. 115-122
-
-
Wand, M.1
|