ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs - FTFJP '10
Latest Publications
TOTAL DOCUMENTS
9
(FIVE YEARS 0)
H-INDEX
3
(FIVE YEARS 0)
Published By ACM Press
9781450305402
Latest Documents
Most Cited Documents
Contributed Authors
Related Sources
Related Keywords
Latest Documents
Most Cited Documents
Contributed Authors
Related Sources
Related Keywords
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
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
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
Load More ...
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close