• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 11 matches

• 2021
• 
  David R. Cok:
  JML and OpenJML for Java 16. FTfJP@ECOOP 2021: 65-67
• 
  Marie Farrell, Conor Reynolds, Rosemary Monahan:
  Using dafny to solve the VerifyThis 2021 challenges. FTfJP@ECOOP 2021: 32-38
• 
  Iaroslav Golovanov, Hans Hüttel, Mathias Jakobsen, Mikkel Kettunen:
  Behavioural separation with parallel usages. FTfJP@ECOOP 2021: 51-58
• 
  Steven Monteiro, Erikas Sokolovas, Ellen Wittingen, Tom van Dijk, Marieke Huisman:
  IntelliJML: a JML plugin for IntelliJ IDEA. FTfJP@ECOOP 2021: 39-42
• 
  Indigo Orton, Alan Mycroft:
  Source code patches from dynamic analysis. FTfJP@ECOOP 2021: 1-8
• 
  Indigo Orton, Alan Mycroft:
  Refactoring traces to identify concurrency improvements. FTfJP@ECOOP 2021: 16-23
• 
  Wolfram Pfeifer, Jonas Schiffl, Mattias Ulbrich:
  Reconstructing z3 proofs in KeY: there and back again. FTfJP@ECOOP 2021: 24-31
• 
  Armand Puccetti, Gaël de Chalendar, Pierre-Yves Gibello:
  Combining formal and machine learning techniques for the generation of JML specifications. FTfJP@ECOOP 2021: 59-64
• 
  Ulrich Schöpp, Chuangjie Xu:
  A generic type system for featherweight Java. FTfJP@ECOOP 2021: 9-15
• 
  Weitian Xing, Yuanhui Cheng, Werner Dietl:
  Ensuring correct cryptographic algorithm and provider usage at compile time. FTfJP@ECOOP 2021: 43-50
• 
  David R. Cok:
  FTfJP 2021: Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs, Virtual Event, Denmark, 13 July 2021. ACM 2021, ISBN 978-1-4503-8543-5 [contents]