Malte Schwerhoff

Malte Schwerhoff has asked 37 questions and find answers to 81 problems.

Stats

About

Enjoying computer science and cheese. Working as a lecturer at ETH Zurich, my research area is automating deductive software verification. See my university web page for further information.

Malte Schwerhoff questions

Surprising behaviour when trying to prove a forall
Expected error or incompleteness with quantified permissions and wildcards?
Why do already popped scopes affect the check-sat time in subsequent scopes?
Explanation for GCC compiler optimisation's adverse performance effect?
Scala Macro annotations and IntelliJ code completion [duplicate]
Does `productElement(i)` on a case-class use reflection?
What is the relation between options `rlimit` and `timeout`?
Getting partial constructors for case classes "for free"
Java's File.toString or Path.toString with a specific path separator
Nested batch for loops

Malte Schwerhoff answers

Modelling "swapping two elements in an array creates permutation" in Z3
Scala: How to set an instance field defined in an abstract super class constructor?
Expected error or incompleteness with quantified permissions and wildcards?
double permission inhale leads to unexpected verifications
z3py: how to represent an array of integers or characters in z3py
Overriding fields in subclasses
Scala: how to add type-dependent methods in trait?
Generically rewriting Scala case classes
iterate over case class data members
Implicit lifting in scala