Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs - FTFJP '10
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781450305402

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A theory of typestate-oriented programming

Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs - FTFJP '10 ◽

10.1145/1924520.1924529 ◽

2010 ◽

Cited By ~ 3

Author(s):

Darpan Saini ◽

Joshua Sunshine ◽

Jonathan Aldrich

Download Full-text

Procedure-modular verification of control flow safety properties

Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs - FTFJP '10 ◽

10.1145/1924520.1924525 ◽

2010 ◽

Cited By ~ 3

Author(s):

Siavash Soleimanifard ◽

Dilian Gurov ◽

Marieke Huisman

Keyword(s):

Control Flow ◽

Safety Properties ◽

Modular Verification

Download Full-text

Modular verification of linked lists with views via separation logic

Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs - FTFJP '10 ◽

10.1145/1924520.1924524 ◽

2010 ◽

Cited By ~ 1

Author(s):

Jonas Braband Jensen ◽

Lars Birkedal ◽

Peter Sestoft

Keyword(s):

Separation Logic ◽

Modular Verification ◽

Linked Lists

Download Full-text

Prototyping a tool environment for run-time assertion checking in JML with communication histories

Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs - FTFJP '10 ◽

10.1145/1924520.1924526 ◽

2010 ◽

Cited By ~ 1

Author(s):

Frank S. de Boer ◽

Stijn de Gouw ◽

Jurgen Vinju

Keyword(s):

Run Time

Download Full-text

Aliasing control with view-based typestate

Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs - FTFJP '10 ◽

10.1145/1924520.1924527 ◽

2010 ◽

Cited By ~ 8

Author(s):

Filipe Militão ◽

Jonathan Aldrich ◽

Luís Caires

Download Full-text

Refactoring and representation independence for class hierarchies

Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs - FTFJP '10 ◽

10.1145/1924520.1924528 ◽

2010 ◽

Author(s):

Leila Silva ◽

David A. Naumann ◽

Augusto Sampaio

Keyword(s):

Class Hierarchies

Download Full-text

Towards a semantic model for Java wildcards

Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs - FTFJP '10 ◽

10.1145/1924520.1924522 ◽

2010 ◽

Cited By ~ 2

Author(s):

Alexander J. Summers ◽

Nicholas Cameron ◽

Mariangiola Dezani-Ciancaglini ◽

Sophia Drossopoulou

Keyword(s):

Semantic Model

Download Full-text

Strong exception-safety for Java-like languages

Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs - FTFJP '10 ◽

10.1145/1924520.1924523 ◽

2010 ◽

Cited By ~ 1

Author(s):

Giovanni Lagorio ◽

Marco Servetto

Download Full-text

Complete coinductive subtyping for abstract compilation of object-oriented languages

Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs - FTFJP '10 ◽

10.1145/1924520.1924521 ◽

2010 ◽

Cited By ~ 3

Author(s):

Davide Ancona ◽

Giovanni Lagorio

Keyword(s):

Object Oriented ◽

Object Oriented Languages

Download Full-text

Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs - FTFJP '10Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

A theory of typestate-oriented programming

Procedure-modular verification of control flow safety properties

Modular verification of linked lists with views via separation logic

Prototyping a tool environment for run-time assertion checking in JML with communication histories

Aliasing control with view-based typestate

Refactoring and representation independence for class hierarchies

Towards a semantic model for Java wildcards

Strong exception-safety for Java-like languages

Complete coinductive subtyping for abstract compilation of object-oriented languages

Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs - FTFJP '10
Latest Publications