Concept
Expression-oriented programming language
Related publications (56)
Scala to the Power of Z3: Integrating SMT and Programming
Viktor Kuncak, Philippe Paul Henri Suter
We describe a system that integrates the SMT solver Z3 with the Scala programming language. The system supports the use of the SMT solver for checking satisfiability, unsatisfiability, as well as solution enumeration. The embedding of formula trees into Sc ...
Springer-Verlag Berlin2011Toward Interprocedural Pointer and Effect Analysis for Scala
Static program analysis techniques working on object-oriented languages require precise knowledge of the aliasing relation between variables. This knowledge is important to, among other things, understand the read and write effects of method calls on objec ...
2011Implementing First-Class Polymorphic Delimited Continuations by a Type-Directed Selective CPS-Transform
Martin Odersky, Tiark Rompf, Ingo Maier
We describe the implementation of first-class polymorphic delimited continuations in the programming language Scala. We use Scala's pluggable typing architecture to implement a simple type and effect system, which discriminates expressions with control eff ...
ACM2009State Exploration of Scala Actor Programs
The growing use of multicore and networked computing systems is increasing the importance of developing reliable parallel and distributed code. Unfortunately, developing and testing such code is notoriously hard, especially for shared-memory models of prog ...
2009On Static Analysis for Expressive Pattern Matching
Viktor Kuncak, Philippe Paul Henri Suter, Mirco Dotta
Pattern matching is a widespread programming language construct that enables definitions of values by cases, generalizing if-then-else and case statements. The cases in a pattern matching expression should be exhaustive: when the value does not match any o ...
2008