Sign in
Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all fields of study
Limit my searches in the following fields of study
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(3)
Alex Potanin
2
David J. Pearce
2
Chris Male
2
Conferences
(1)
CC
1
Journals
(1)
SCP
1
Keywords
(6)
Embed
Subscribe
Academic
Authors
Constantine Dymnikov
Constantine Dymnikov,Victoria University of Wellington,Programming Languages
Edit
Constantine Dymnikov
Victoria University of Wellington
Publications:
2
|
Citations:
8
Fields:
Programming Languages
View FAQ about top research areas and Fields of study
Collaborated with
3 co-authors
from 2008 to 2011
|
Cited by
8 authors
Cumulative
Annual
Sort by:
Publications
(2)
BibTeX
|
RIS
|
RefWorks
Download
Formalisation and implementation of an algorithm for bytecode verification of @NonNull types
Chris Male
,
David J. Pearce
,
Alex Potanin
,
Constantine Dymnikov
Journal:
Science of Computer Programming - SCP
, vol. 76, no. 7, pp. 587-608, 2011
Java Bytecode Verification for @NonNull Types
(
Citations: 8
)
Chris Male
,
David J. Pearce
,
Alex Potanin
,
Constantine Dymnikov
Conference:
Compiler Construction - CC
, pp. 229-244, 2008
Sort by:
Citations
(8 times by 8 publications)
Precise null-pointer analysis
(
Citations: 4
)
Fausto Spoto
Journal:
Software and System Modeling - SOSYM
, vol. 10, no. 2, pp. 219-252, 2011
Formalisation and implementation of an algorithm for bytecode verification of @NonNull types
Chris Male
,
David J. Pearce
,
Alex Potanin
,
Constantine Dymnikov
Journal:
Science of Computer Programming - SCP
, vol. 76, no. 7, pp. 587-608, 2011
Semantic Foundations and Inference of Non-null Annotations
(
Citations: 18
)
Laurent Hubert
,
Thomas P. Jensen
,
David Pichardie
Conference:
Formal Methods for Open Object-Based Distributed Systems - FMOODS
, pp. 132-149, 2008
Java Bytecode Verification for @NonNull Types
(
Citations: 8
)
Chris Male
,
David J. Pearce
,
Alex Potanin
,
Constantine Dymnikov
Conference:
Compiler Construction - CC
, pp. 229-244, 2008
Nullness Analysis in Boolean Form
(
Citations: 8
)
Fausto Spoto
Conference:
Conference on Software Engineering and Formal Methods - SEFM
, pp. 21-30, 2008
Comments