Verification of Java programs in type theory with dependent record types and coercive subtyping

Verification of Java programs in type theory with dependent record types and coercive subtyping

Bibliographic Details
Main Author:	Han, Seokhyun
Published:	Royal Veterinary College (University of London) 2010
Subjects:	005.3
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.531307

Similar Items

A theory of dependent record types with structural subtyping
by: Feng, Yangyue
Published: (2010)

Existential Types for Variance - Java Wildcards and Ownership Types
by: Cameron, Nicholas Robert
Published: (2009)

HEDGEHOG : automatic verification of design patterns in Java
by: Blewitt, Alex
Published: (2006)

Verification of graph programs
by: Poskitt, Christopher M.
Published: (2013)

Type oriented parallel programming
by: Brown, Nicholas Edward
Published: (2010)

Verification of pointer-based programs with partial information
by: Luo, Chenguang
Published: (2011)

Repairing type errors in functional programs
by: McAdam, Bruce J.
Published: (2002)

Structural, safe and high-level communications programming with session types
by: Hu, Raymond
Published: (2011)

The use of proof plans for transformation of functional programs by changes of data type
by: Richardson, J. D. C.
Published: (1996)

Data dependent program generation
by: Quarendon, Peter
Published: (1977)

Mechanising the unifying theories of programming
by: Nuka, Gift Shaba Panson
Published: (2008)

Consistent formal theories of the semantics of programming languages
by: Lauer, P. E.
Published: (1971)

An integrated approach to high integrity software verification
by: Ellis, William James
Published: (2010)

Text-independent speaker verification with limited resources
by: Auckenthaler, R. W.
Published: (2001)

Multi-parametric programming : novel theory and algorithmic developments
by: Faisca, Nuno Patricio
Published: (2008)

Theory and design techniques for stored program implementations of sequential systems
by: Hussain, Ahsan M. A.
Published: (1976)

Compositional verification of model-level refactorings based on graph transformations
by: Bisztray, Dénes András
Published: (2010)

JeX : an implementation of a Java exception analysis framework to exploit potential optimisations
by: Stevens, Andrew
Published: (2002)

Type projections over sef-describing data
by: Simeoni, Fabio
Published: (2011)

Genericity, extensibility and type : safety in the VISITOR pattern
by: Oliveira, Bruno César dos Santos
Published: (2007)

A methodology for interprocess communication using typed channels
by: Hunt, J. G.
Published: (1979)

Resolution-based methods for linear-time temporal logics : with applications to formal verification
by: Ludwig, Michel
Published: (2010)

Session types in concurrent calculi : higher-order processes and objects
by: Mostrous, Dimitris
Published: (2010)

On the theoretical foundations of LePUS3 and its application to object-oriented design verification
by: Nicholson, Jonathan
Published: (2011)

Modelling visually perceived complexity of foreground and background type data
by: Patel, Leena N.
Published: (2001)

Transform layered stochastic gradient-type adaptive filtering structures
by: Kim, Dai Il
Published: (2000)

An aspect-oriented approach to productivity improvement for a dynamic language using typing concerns
by: Kaewkasi, Chanwit
Published: (2009)

Faster : A hybrid algorithm for feature selection and record reduction
by: Qamar, Usman
Published: (2009)

Dependable compositions : a formal approach
by: Jefferson, Nigel Patrick
Published: (2007)

The use of proofs-as-programs to build an analogy-based functional program editor
by: Whittle, J. N. D.
Published: (1999)

WS-mediator for improving dependability of service composition
by: Chen, Yuhui
Published: (2008)

View Consistency in Architectural Models of Dependable Systems
by: Radjenovic, Aleksandar
Published: (2008)

Static dependency analysis of recursive structures for parallelisation
by: Lewis, Tim
Published: (2005)

The Measurement of Programming Ability
by: Pirie, I. G.
Published: (1975)

Computer Assisted Programming
by: Starr, J. E. O.
Published: (1978)

Derivation of logic programs
by: Hogger, C. J.
Published: (1978)

Transformation and analysis of functional programs
by: Mitchell, Neil
Published: (2008)

Program comprehension through sonification
by: Berman, Lewis Irwin
Published: (2011)

Constructing Universes for Generic Programming
by: Morris, Peter W. J.
Published: (2007)

Design of Interpreters for Programming Languages
by: Ranade, S.
Published: (1976)

Cannot write session to /tmp/vufind_sessions/sess_805dnoult60ilrutgjt9d20745