-
4
-
-
84947919477
-
From sequential to multi-threaded Java: An event-based operational semantics
-
M. Johnson, editor, volume 1349 of Lecture Notes in Computer Science, Springer-Verlag
-
P. Cenciarelli, A. Knapp, B. Reus, and M.Wirisng From sequential to multi-threaded java: An event-based operational semantics. In M. Johnson, editor, The Proceedings of the 6th International Conference on Algebraic Methodology and Software Technology, volume 1349 of Lecture Notes in Computer Science, pages 75-90. Springer-Verlag, 1997.
-
(1997)
The Proceedings of the 6th International Conference on Algebraic Methodology and Software Technology
, pp. 75-90
-
-
Cenciarelli, P.1
Knapp, A.2
Reus, B.3
Wirisng, M.4
-
5
-
-
85011977207
-
An event-based structural operational semantics of multithreaded Java
-
J. Alves-Foss, editor, volume 1523 of Lecture Notes in Computer Science, Springer-Verlag
-
P. Cenciarelli, A. Knapp, B. Reus, and M. Wirsing. An event-based structural operational semantics of multithreaded java. In J. Alves-Foss, editor, Formal Syntax and Semantics of Java, volume 1523 of Lecture Notes in Computer Science, pages 157-200. Springer-Verlag, 1999.
-
(1999)
Formal Syntax and Semantics of Java
, pp. 157-200
-
-
Cenciarelli, P.1
Knapp, A.2
Reus, B.3
Wirsing, M.4
-
7
-
-
4243972567
-
Tracking down exceptions in standard ml programs
-
University of California, Berkeley, Feb.
-
M. Fähndrich, J. S. Foster, A. Aiken, and J. Cu. Tracking down exceptions in standard ml programs. Technical Report UCB/CSD-98-996, Computer Science Division, University of California, Berkeley, Feb. 1998.
-
(1998)
Technical Report UCB/CSD-98-996, Computer Science Division
-
-
Fähndrich, M.1
Foster, J.S.2
Aiken, A.3
Cu, J.4
-
9
-
-
0003721364
-
-
PhD thesis, Carnegie Mellon University, Oct
-
N. Heintze. Set Based Program Analysis. PhD thesis, Carnegie Mellon University, Oct. 1992.
-
(1992)
Set Based Program Analysis
-
-
Heintze, N.1
-
15
-
-
84954067111
-
Exception analysis for multithreaded Java programs
-
Korea Advanced Institute of Science and Technology, Apr.
-
S. Ryu. Exception analysis for multithreaded Java programs. Technical Memorandum ROPAS-2001-11, Research On Program Analysis System, Korea Advanced Institute of Science and Technology, Apr. 2001.
-
(2001)
Technical Memorandum ROPAS-2001-11, Research on Program Analysis System
-
-
Ryu, S.1
-
16
-
-
0034448306
-
Scalable propagation-based call graph construction algorithms
-
F. Tip and J. Palsberg. Scalable propagation-based call graph construction algorithms. In Proceedings ofACM Conference on OOPSLA, pages 281-293,2000.
-
(2000)
Proceedings OfACM Conference on OOPSLA
, pp. 281-293
-
-
Tip, F.1
Palsberg, J.2
-
17
-
-
84966883175
-
Compile-time detection of uncaught exceptions for Standard ML programs
-
Springer-Verlag, proceedings of the first international static analysis symposium edition
-
K. Yi. Compile-time detection of uncaught exceptions for Standard ML programs. In Lecture Notes in Computer Science, volume 864, pages 238-254. Springer-Verlag, proceedings of the first international static analysis symposium edition, 1994.
-
(1994)
Lecture Notes in Computer Science
, vol.864
, pp. 238-254
-
-
Yi, K.1
-
18
-
-
11144225579
-
Exception analysis for
-
A. Moreira and D. Demeyer, editors, volume 1743 of Lecture Notes in Computer Science, Springer-Verlag, June
-
K. Yi and B.-M. Chang. Exception analysis for java. In A. Moreira and D. Demeyer, editors, Object-Oriented Technology. ECOOP'99 Workshop Reader (Formal Techniques for Java Programs), volume 1743 of Lecture Notes in Computer Science, pages 111-112. Springer-Verlag, June 1999.
-
(1999)
Object-Oriented Technology. ECOOP'99 Workshop Reader (Formal Techniques for Java Programs)
, pp. 111-112
-
-
Yi, K.1
Chang, B.-M.2
-
19
-
-
85028668714
-
Towards a cost-effective estimation of uncaught exceptions in SML programs
-
volume 1302 of Lecture Notes in Computer Science, Springer-Verlag
-
K. Yi and S. Ryu. Towards a cost-effective estimation of uncaught exceptions in SML programs. In Proceedings of the 4th International Static Analysis Symposium, volume 1302 of Lecture Notes in Computer Science, pages 98-113. Springer-Verlag, 1997.
-
(1997)
Proceedings of the 4th International Static Analysis Symposium
, pp. 98-113
-
-
Yi, K.1
Ryu, S.2
-
20
-
-
18944376904
-
A cost-effective estimation of uncaught exceptions in Standard ML programs
-
Extended version of [19] (to appear)
-
K. Yi and S. Ryu. A cost-effective estimation of uncaught exceptions in Standard ML programs. Theoretical Computer Science, 273(1), 2001. Extended version of [19] (to appear).
-
(2001)
Theoretical Computer Science
, vol.273
, Issue.1
-
-
Yi, K.1
Ryu, S.2
|