Concept
Kotlin (programming language)
Related publications (35)
Translating Scala Programs to Isabelle/HOL, Automated Reasoning
We present a trustworthy connection between the Leon verification system and the Isabelle proof assistant. Leon is a system for verifying functional Scala programs. It uses a variety of automated theorem provers (ATPs) to check verification conditions (VCs ...
2016Indicators of Evidence for Bioequivalence
Stephan Morgenthaler, Robert Staudte
Some equivalence tests are based on two one-sided tests, where in many applications the test statistics are approximately normal. We define and find evidence for equivalence in Z-tests and then one-and two-sample binomial tests as well as for t-tests. Mult ...
Mdpi Ag2016Studies of charmed strange baryons in the Lambda D final state at Belle
Olivier Schneider, Yiming Li, Chao Wang, Ho Ling Li, Sun Hee Kim, Tara Nanut, Jun Yong Kim, Ji Hyun Kim, Donghyun Kim, Dipanwita Dutta
We report the discovery of Xi(c)(3055)(0), observed by its decay into the final-state Lambda D-0, and present the first observation and evidence of the decays of Xi(c)(3055)(+) and Xi(c)(3080)(+) into Lambda D+. We also perform a combined analysis of the L ...
Amer Physical Soc2016Implementing Higher-Kinded Types in Dotty
Martin Odersky, Guillaume André Fradji Martres, Dmytro Petrashko
dotty is a new, experimental Scala compiler based on DOT, the calculus of Dependent Object Types. Higher-kinded types are a natural extension of first-order lambda calculus, and have been a core construct of Haskell and Scala. As long as such types are jus ...
ACM2016Type Soundness for Dependent Object Types (DOT)
Scala's type system unifies aspects of ML modules, object-oriented, and functional programming. The Dependent Object Types (DOT) family of calculi has been proposed as a new theoretic foundation for Scala and similar expressive languages. Unfortunately, ty ...
Assoc Computing Machinery2016Type Soundness for Dependent Object Types’
Scala’s type system unifies aspects of ML modules, object-oriented, and functional programming. The Dependent Object Types (DOT) family of calculi has been proposed as a new theoretic foundation for Scala and similar expressive languages. Unfortunately, ty ...
2016Automating Ad hoc Data Representation Transformations
To maximize run-time performance, programmers often specialize their code by hand, replacing library collections and containers by custom objects in which data is restructured for efficient access. However, changing the data representation is a tedious and ...
Assoc Computing Machinery2015Scalable and Reactive Programming for Semantic Web Developers
The Semantic Web brings a powerful set of concepts, standards and ideas that are already changing the shape of the Web. However, in order to put these notions into practice we need to translate them into code. That is why the broad notion of programming th ...
CEUR-WS2015Improving the Interoperation between Generics Translations
Martin Odersky, Nicolas Alexander Stucki, Vlad Ureche, Romain Michel Beguet, Milos Stojanovic
Generics on the Java platform are compiled using the erasure transformation, which only supports by-reference values. This causes slowdowns when generics operate on primitive types, such as integers, as they have to be transformed into reference-based obje ...
ACM2015On Counter-Example Complete Verification for Higher-Order Functions
Viktor Kuncak, Etienne Kneuss, Nicolas Charles Yves Voirol
We present a verification procedure for pure higher-order functional Scala programs with parametric types. We show that our procedure is sound for proofs, as well as sound and complete for counter-examples. The procedure reduces the analysis of higher-orde ...
2015