|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2011, Lancaster, United Kingdom, July 25-29, 2011, pp. 3:1-3:7, 2011, ACM, 978-1-4503-0893-9. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![ACM, 978-1-4503-0893-9 The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Mihai Balint, Marius Minea |
Automatic inference of model fields and their representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2011, Lancaster, United Kingdom, July 25-29, 2011, pp. 9:1-9:6, 2011, ACM, 978-1-4503-0893-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Heule, K. Rustan M. Leino, Peter Müller 0001, Alexander J. Summers |
Fractional permissions without the fractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2011, Lancaster, United Kingdom, July 25-29, 2011, pp. 1:1-1:6, 2011, ACM, 978-1-4503-0893-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Johnni Winther |
Guarded type promotion: eliminating redundant casts in Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2011, Lancaster, United Kingdom, July 25-29, 2011, pp. 6:1-6:8, 2011, ACM, 978-1-4503-0893-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ferruccio Damiani, Johan Dovland, Einar Broch Johnsen, Ina Schaefer |
Verifying traits: a proof system for fine-grained reuse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2011, Lancaster, United Kingdom, July 25-29, 2011, pp. 8:1-8:6, 2011, ACM, 978-1-4503-0893-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Azalea Raad, Sophia Drossopoulou |
A sip of the Chalice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2011, Lancaster, United Kingdom, July 25-29, 2011, pp. 2:1-2:30, 2011, ACM, 978-1-4503-0893-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Nathaniel Nystrom |
Harmless compiler plugins. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2011, Lancaster, United Kingdom, July 25-29, 2011, pp. 4:1-4:6, 2011, ACM, 978-1-4503-0893-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Davide Ancona |
Coinductive big-step operational semantics for type soundness of Java-like languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2011, Lancaster, United Kingdom, July 25-29, 2011, pp. 5:1-5:6, 2011, ACM, 978-1-4503-0893-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2011, Lancaster, United Kingdom, July 25-29, 2011, pp. 7:1-7:6, 2011, ACM, 978-1-4503-0893-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jonas Braband Jensen, Lars Birkedal, Peter Sestoft |
Modular verification of linked lists with views via separation logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs, FTFJP 2010, Maribor, Slovenia, June 22, 2010, pp. 4:1-4:7, 2010, ACM, 978-1-4503-0540-2. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTFJP@ECOOP ![ACM, 978-1-4503-0540-2 The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Filipe Militão, Jonathan Aldrich, Luís Caires |
Aliasing control with view-based typestate. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs, FTFJP 2010, Maribor, Slovenia, June 22, 2010, pp. 7:1-7:7, 2010, ACM, 978-1-4503-0540-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Leila Silva, David A. Naumann, Augusto Sampaio |
Refactoring and representation independence for class hierarchies: extended abstract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs, FTFJP 2010, Maribor, Slovenia, June 22, 2010, pp. 8:1-8:7, 2010, ACM, 978-1-4503-0540-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Siavash Soleimanifard, Dilian Gurov, Marieke Huisman |
Procedure-modular verification of control flow safety properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs, FTFJP 2010, Maribor, Slovenia, June 22, 2010, pp. 5:1-5:7, 2010, ACM, 978-1-4503-0540-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Darpan Saini, Joshua Sunshine, Jonathan Aldrich |
A theory of typestate-oriented programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs, FTFJP 2010, Maribor, Slovenia, June 22, 2010, pp. 9:1-9:7, 2010, ACM, 978-1-4503-0540-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Lagorio, Marco Servetto |
Strong exception-safety for Java-like languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs, FTFJP 2010, Maribor, Slovenia, June 22, 2010, pp. 3:1-3:7, 2010, ACM, 978-1-4503-0540-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Alexander J. Summers, Nicholas Cameron 0001, Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou |
Towards a semantic model for Java wildcards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs, FTFJP 2010, Maribor, Slovenia, June 22, 2010, pp. 2:1-2:7, 2010, ACM, 978-1-4503-0540-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Davide Ancona, Giovanni Lagorio |
Complete coinductive subtyping for abstract compilation of object-oriented languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs, FTFJP 2010, Maribor, Slovenia, June 22, 2010, pp. 1:1-1:7, 2010, ACM, 978-1-4503-0540-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs, FTFJP 2010, Maribor, Slovenia, June 22, 2010, pp. 6:1-6:7, 2010, ACM, 978-1-4503-0540-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Juan Chen |
A typed intermediate language for supporting interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs, FTfJP 2009, Genova, Italy, July 6, 2009, pp. 1:1-1:6, 2009, ACM, 978-1-60558-540-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Steffen van Bakel, Reuben N. S. Rowe |
Semantic predicate types and approximation for class-based object oriented programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs, FTfJP 2009, Genova, Italy, July 6, 2009, pp. 3:1-3:7, 2009, ACM, 978-1-60558-540-6. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![ACM, 978-1-60558-540-6 The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Bruno De Fraine |
Range parameterized types: use-site variance without the existential questions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs, FTfJP 2009, Genova, Italy, July 6, 2009, pp. 2:1-2:6, 2009, ACM, 978-1-60558-540-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Robby, Patrice Chalin |
Preliminary design of a unified JML representation and software infrastructure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs, FTfJP 2009, Genova, Italy, July 6, 2009, pp. 5:1-5:7, 2009, ACM, 978-1-60558-540-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Radu Grigore, Julien Charles, Fintan Fairmichael, Joseph Kiniry |
Strongest postcondition of unstructured programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs, FTfJP 2009, Genova, Italy, July 6, 2009, pp. 6:1-6:7, 2009, ACM, 978-1-60558-540-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Frédéric Besson |
CPA beats ∞-CFA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs, FTfJP 2009, Genova, Italy, July 6, 2009, pp. 7:1-7:6, 2009, ACM, 978-1-60558-540-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Nicholas Cameron 0001, Sophia Drossopoulou |
On subtyping, wildcards, and existential types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs, FTfJP 2009, Genova, Italy, July 6, 2009, pp. 4:1-4:7, 2009, ACM, 978-1-60558-540-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Lorenzo Bettini, Sara Capecchi, Ferruccio Damiani |
A mechanism for flexible dynamic trait replacement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs, FTfJP 2009, Genova, Italy, July 6, 2009, pp. 9:1-9:7, 2009, ACM, 978-1-60558-540-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs, FTfJP 2009, Genova, Italy, July 6, 2009, pp. 8:1-8:6, 2009, ACM, 978-1-60558-540-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Alexander J. Summers |
Modelling Java requires state. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs, FTfJP 2009, Genova, Italy, July 6, 2009, pp. 10:1-10:3, 2009, ACM, 978-1-60558-540-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #131 of 131 (100 per page; Change: ) Pages: [ <<][ 1][ 2] |
|