|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 131 publication records. Showing 131 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Hesam Samimi, Kaushik Rajan |
Specification-based sketching with Sketch. |
FTfJP@ECOOP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Stephen N. Freund (eds.) |
Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2011, Lancaster, United Kingdom, July 25-29, 2011 |
FTfJP@ECOOP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Mihai Balint, Marius Minea |
Automatic inference of model fields and their representation. |
FTfJP@ECOOP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Heule, K. Rustan M. Leino, Peter Müller 0001, Alexander J. Summers |
Fractional permissions without the fractions. |
FTfJP@ECOOP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Johnni Winther |
Guarded type promotion: eliminating redundant casts in Java. |
FTfJP@ECOOP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ferruccio Damiani, Johan Dovland, Einar Broch Johnsen, Ina Schaefer |
Verifying traits: a proof system for fine-grained reuse. |
FTfJP@ECOOP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Azalea Raad, Sophia Drossopoulou |
A sip of the Chalice. |
FTfJP@ECOOP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Nathaniel Nystrom |
Harmless compiler plugins. |
FTfJP@ECOOP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Davide Ancona |
Coinductive big-step operational semantics for type soundness of Java-like languages. |
FTfJP@ECOOP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Henrique Rebêlo, Roberta Coelho, Ricardo M. F. Lima, Gary T. Leavens, Marieke Huisman, Alexandre Mota 0001, Fernando Castor |
On the interplay of exception handling and design by contract: an aspect-oriented recovery approach. |
FTfJP@ECOOP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jonas Braband Jensen, Lars Birkedal, Peter Sestoft |
Modular verification of linked lists with views via separation logic. |
FTfJP@ECOOP |
2010 |
DBLP DOI BibTeX RDF |
|
1 | |
Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs, FTFJP 2010, Maribor, Slovenia, June 22, 2010 |
FTFJP@ECOOP |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Filipe Militão, Jonathan Aldrich, Luís Caires |
Aliasing control with view-based typestate. |
FTfJP@ECOOP |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Leila Silva, David A. Naumann, Augusto Sampaio |
Refactoring and representation independence for class hierarchies: extended abstract. |
FTfJP@ECOOP |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Siavash Soleimanifard, Dilian Gurov, Marieke Huisman |
Procedure-modular verification of control flow safety properties. |
FTfJP@ECOOP |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Darpan Saini, Joshua Sunshine, Jonathan Aldrich |
A theory of typestate-oriented programming. |
FTfJP@ECOOP |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Lagorio, Marco Servetto |
Strong exception-safety for Java-like languages. |
FTfJP@ECOOP |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Alexander J. Summers, Nicholas Cameron 0001, Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou |
Towards a semantic model for Java wildcards. |
FTfJP@ECOOP |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Davide Ancona, Giovanni Lagorio |
Complete coinductive subtyping for abstract compilation of object-oriented languages. |
FTfJP@ECOOP |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Frank S. de Boer, Stijn de Gouw, Jurgen J. Vinju |
Prototyping a tool environment for run-time assertion checking in JML with communication histories. |
FTfJP@ECOOP |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Juan Chen |
A typed intermediate language for supporting interfaces. |
FTfJP@ECOOP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Steffen van Bakel, Reuben N. S. Rowe |
Semantic predicate types and approximation for class-based object oriented programming. |
FTfJP@ECOOP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Anindya Banerjee 0001 (eds.) |
Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs, FTfJP 2009, Genova, Italy, July 6, 2009 |
FTfJP@ECOOP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Bruno De Fraine |
Range parameterized types: use-site variance without the existential questions. |
FTfJP@ECOOP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Robby, Patrice Chalin |
Preliminary design of a unified JML representation and software infrastructure. |
FTfJP@ECOOP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Radu Grigore, Julien Charles, Fintan Fairmichael, Joseph Kiniry |
Strongest postcondition of unstructured programs. |
FTfJP@ECOOP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Frédéric Besson |
CPA beats ∞-CFA. |
FTfJP@ECOOP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Nicholas Cameron 0001, Sophia Drossopoulou |
On subtyping, wildcards, and existential types. |
FTfJP@ECOOP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Lorenzo Bettini, Sara Capecchi, Ferruccio Damiani |
A mechanism for flexible dynamic trait replacement. |
FTfJP@ECOOP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Marieke Huisman |
On the interplay between the semantics of Java's finally clauses and the JML run-time checker. |
FTfJP@ECOOP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Alexander J. Summers |
Modelling Java requires state. |
FTfJP@ECOOP |
2009 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #131 of 131 (100 per page; Change: ) Pages: [ <<][ 1][ 2] |
|