-
2
-
-
17044362578
-
Synthesis of interface specifications for Java classes
-
ACM Press
-
Rajeev Alur, Pavol Cerny, P. Madhusudan, and Wonhong Nam. Synthesis of interface specifications for Java classes. In POPL '05: Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of programming languages, pages 98-109. ACM Press, 2005.
-
(2005)
POPL '05: Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
, pp. 98-109
-
-
Alur, R.1
Cerny, P.2
Madhusudan, P.3
Nam, W.4
-
4
-
-
84947232436
-
Bebop: A symbolic model checker for boolean programs
-
Thomas Ball and Sriram K. Rajamani. Bebop: A symbolic model checker for boolean programs. In SPIN, pages 113-130, 2000.
-
(2000)
SPIN
, pp. 113-130
-
-
Ball, T.1
Rajamani, S.K.2
-
6
-
-
0034963556
-
Model checking security properties of control flow graphs
-
F. Besson, T. Jensen, D. Le Métayer, and T. Thorn. Model checking security properties of control flow graphs. J. Computer Security, 9:217-250, 2001.
-
(2001)
J. Computer Security
, vol.9
, pp. 217-250
-
-
Besson, F.1
Jensen, T.2
Le Métayer, D.3
Thorn, T.4
-
8
-
-
0029461481
-
On binary methods
-
Kim B. Bruce, Luca Cardelli, Giuseppe Castagna, Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Gary T. Leavens, and Benjamin C. Pierce. On binary methods. Theory and Practice of Object Systems, 1(3);221-242, 1995.
-
(1995)
Theory and Practice of Object Systems
, vol.1
, Issue.3
, pp. 221-242
-
-
Bruce, K.B.1
Cardelli, L.2
Castagna, G.3
Eifrig, J.4
Smith, S.F.5
Trifonov, V.6
Leavens, G.T.7
Pierce, B.C.8
-
9
-
-
0012626037
-
Verification on infinite structures
-
S. Smolka J. Bergstra, A. Pons, editor, North-Holland
-
O. Burkart, D. Caucal, F. Moller, , and B. Steffen. Verification on infinite structures. In S. Smolka J. Bergstra, A. Pons, editor, Handbook on Process Algebra. North-Holland, 2001.
-
(2001)
Handbook on Process Algebra
-
-
Burkart, O.1
Caucal, D.2
Moller, F.3
Steffen, B.4
-
11
-
-
0038349200
-
MOPS: An infrastructure for examining security properties of software
-
Washington, DC, November 18-22
-
Hao Chen and David Wagner. MOPS: an infrastructure for examining security properties of software. In Proceedings of the 9th ACM Conference on Computer and Communications Security, pages 235-244, Washington, DC, November 18-22, 2002.
-
(2002)
Proceedings of the 9th ACM Conference on Computer and Communications Security
, pp. 235-244
-
-
Chen, H.1
Wagner, D.2
-
14
-
-
19144363683
-
Type inference for recursively constrained types and its application to OOP
-
Mathematical Foundations of Programming Semantics, Elsevier Science
-
Jonathan Eifrig, Scott Smith, and Valery Trifonov. Type inference for recursively constrained types and its application to OOP. In Mathematical Foundations of Programming Semantics, volume 1 of Electronic Notes in Theoretical Computer Science. Elsevier Science, 1995.
-
(1995)
Electronic Notes in Theoretical Computer Science
, vol.1
-
-
Eifrig, J.1
Smith, S.2
Trifonov, V.3
-
15
-
-
0036036247
-
Flow-sensitive type qualifiers
-
Berlin, Germany, June
-
Jeffrey S. Foster, Tachio Terauchi, and Alex Aiken. Flow-Sensitive Type Qualifiers. In Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 1-12, Berlin, Germany, June 2002.
-
(2002)
Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation
, pp. 1-12
-
-
Foster, J.S.1
Terauchi, T.2
Aiken, A.3
-
16
-
-
0035361164
-
Software model checking: Extracting verification models from source code
-
Gerard J. Holzmann and Margaret H. Smith. Software model checking: extracting verification models from source code. Software Testing, Verification & Reliability, 11(2):65-79, 2001.
-
(2001)
Software Testing, Verification & Reliability
, vol.11
, Issue.2
, pp. 65-79
-
-
Holzmann, G.J.1
Smith, M.H.2
-
18
-
-
0012583283
-
Featherweight Java: A minimal core calculus for Java and GJ
-
Atsushi Igarashi, Benjamin C. Pierce, and Philip Wadler. Featherweight Java: a minimal core calculus for Java and GJ. ACM Trans. Program. Lang. Syst., 23(3):396-450, 2001.
-
(2001)
ACM Trans. Program. Lang. Syst.
, vol.23
, Issue.3
, pp. 396-450
-
-
Igarashi, A.1
Pierce, B.C.2
Wadler, P.3
-
21
-
-
35048831305
-
Separate compositional analysis of class-based object-oriented languages
-
Proceedings of the 10th International Conference on Algebraic Methodology And Software Technology (AMAST'2004), Springer-Verlag, July
-
Francesco Logozzo. Separate compositional analysis of class-based object-oriented languages. In Proceedings of the 10th International Conference on Algebraic Methodology And Software Technology (AMAST'2004), volume 3116 of Lectures Notes in Computer Science, pages 332-346. Springer-Verlag, July 2004.
-
(2004)
Lectures Notes in Computer Science
, vol.3116
, pp. 332-346
-
-
Logozzo, F.1
-
22
-
-
1142263318
-
An effective theory of type refinements
-
Uppsala, Sweden, August
-
Yitzhak Mandelbaum, David Walker, and Robert Harper. An effective theory of type refinements. In Proceedings of the the Eighth ACM SIGPLAN International Conference on Functional Programming (ICFP'03), Uppsala, Sweden, August 2003.
-
(2003)
Proceedings of the the Eighth ACM SIGPLAN International Conference on Functional Programming (ICFP'03)
-
-
Mandelbaum, Y.1
Walker, D.2
Harper, R.3
-
24
-
-
35048838770
-
History effects and verification
-
number 3302 in Lecture Notes in Computer Science. Springer, November
-
Christian Skalka and Scott Smith. History effects and verification. In Asian Programming Languages Symposium, number 3302 in Lecture Notes in Computer Science. Springer, November 2004.
-
(2004)
Asian Programming Languages Symposium
-
-
Skalka, C.1
Smith, S.2
-
26
-
-
85029621995
-
Model checking for context-free processes
-
CONCUR'92, Stony Brook (NY), Heidelberg, Germany, Springer-Verlag
-
B. Steffen and O. Burkart. Model checking for context-free processes. In CONCUR'92, Stony Brook (NY), volume 630 of Lecture Notes in Computer Science (LNCS), pages 123-137, Heidelberg, Germany, 1992. Springer-Verlag.
-
(1992)
Lecture Notes in Computer Science (LNCS)
, vol.630
, pp. 123-137
-
-
Steffen, B.1
Burkart, O.2
-
27
-
-
0026881754
-
The type and effect discipline
-
Los Alamitos, California, IEEE Computer Society Press
-
Jean-Pierre Talpin and Pierre Jouvelot. The type and effect discipline. In Seventh Annual IEEE Symposium on Logic in Computer Science, Santa Cruz, California, pages 162-173, Los Alamitos, California, 1992. IEEE Computer Society Press.
-
(1992)
Seventh Annual IEEE Symposium on Logic in Computer Science, Santa Cruz, California
, pp. 162-173
-
-
Talpin, J.-P.1
Jouvelot, P.2
|