Malte Schwerhoff

Malte Schwerhoff has asked 36 questions and find answers to 79 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

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
How to make IntelliJ IDEA recognise code created by macros?

Malte Schwerhoff answers

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
Instantiate case class with values to be set for its members
Flatten Scala Try