Scala

swMATH7180MaRDI QIDQ19233FDOQ19233

Author name not available (Why is that?)

Official website: https://www.scala-lang.org/

Source code repository: https://github.com/scala

Cited In (only showing first 100 items - show all)

• Object-oriented programming, functional programming and \texttt{R}
• Improving parity games in practice
• Database Programming Languages
• Genetic programming \(+\) proof search \(=\) automatic improvement
• On the decidability of subtyping with bounded existential types and implementation constraints
• Verifying Whiley programs with Boogie
• A language for generic programming in the large
• Metamodeling semantics of multiple inheritance
• Composable models for online Bayesian analysis of streaming data
• Anti-patterns for rule-based languages
• From MDD to BDD and arc consistency
• A domain-theoretic model of nominally-typed object-oriented programming
• Stream fusion, to completeness
• Asynchronous proof processing with Isabelle/Scala and Isabelle/jEdit
• From distributed coordination to field calculus and aggregate computing
• On distributability
• Algebraic structures as typed objects
• Extensible pattern matching via a lightweight language extension
• FeatherTrait
• ABC: algebraic bound computation for loops
• Applying data refinement for monadic programs to Hopcroft's algorithm
• A universal machine for biform theory graphs
• Possible models computation and revision -- a practical approach
• On detecting over-eager concurrency in asynchronously communicating concurrent object systems
• Behavioral interface description of an object-oriented language with futures and promises
• Programming with C++ concepts
• Taming the merge operator
• Generalized arrays for Stainless frames
• Asynchronous user interaction and tool integration in Isabelle/PIDE
• Deadlock detection of Java bytecode
• Compression of propositional resolution proofs via partial regularization
• Isabelle as document-oriented proof assistant
• Helena
• Kotlin
• Volcano
• AutoCorres
• sdols
• openf4
• DEECO
• IETL
• Crust
• Concrete
• LaCasa
• A Constraint Sequent Calculus for First-Order Logic with Linear Integer Arithmetic
• A correspondence between type checking via reduction and type checking via evaluation
• Verifying and synthesizing software with recursive functions (invited contribution)
• Incremental reasoning with lazy behavioral subtyping for multiple inheritance
• IMP2_Binary_Heap
• KeY-ABS
• Rings: an efficient JVM library for commutative algebra (invited talk)
• Combining traits with boxes and ownership types in a Java-like setting
• Locales: a module system for mathematical theories
• Functional BIP: embedding connectors in functional programming languages
• Leveraging compiler intermediate representation for multi- and cross-language verification
• Whiteoak
• \textsc{Mnemonics}: type-safe bytecode generation at run time
• QUASY: quantitative synthesis tool
• On flexible dynamic trait replacement for Java-like languages
• Disjoint polymorphism
• Deconfined Global Types for Asynchronous Sessions
• Lifted graphical models: a survey
• Compositional type checking of delta-oriented software product lines
• Generative operational semantics for relaxed memory models
• Programming and reasoning with algebraic effects and dependent types
• An introduction to search combinators
• Stochastic modelling for systems biology
• OCaml-Java: the Java virtual machine as the target of an OCaml compiler
• Ordered sets in the calculus of data structures
• Protelis
• On the bright side of type classes: instance arguments in Agda
• TkWinHOL
• OptiML
• jscl-meditor
• JAS
• Symja
• JaCoP
• FParser
• OCaml
• Isabelle/jEdit
• PIDE
• Erlang
• occam-pi
• Isabelle/PIDE
• Pistache
• Scarab
• BCEL
• Mnemonics
• Facile
• Commonloops
• Pict
• Leon
• Creol
• Linda
• Multilisp
• YAFOOL
• ABC
• DyC
• Flask
• QuakeTM
• JAMPACK

This page was built for software: Scala