Scala

swMATH7180MaRDI QIDQ19233FDOQ19233

Author name not available (Why is that?)

Cited In (83)

• 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
• Title not available (Why is that?)
• 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
• ABC: algebraic bound computation for loops
• Applying data refinement for monadic programs to Hopcroft's algorithm
• A universal machine for biform theory graphs
• Translating Scala programs to Isabelle/HOL. System description
• Mathematical Foundations of Advanced Informatics
• 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
• Practical Optional Types for Clojure
• Taming the merge operator
• Generalized arrays for Stainless frames
• Asynchronous user interaction and tool integration in Isabelle/PIDE
• SESSL
• Deadlock detection of Java bytecode
• Compression of propositional resolution proofs via partial regularization
• Isabelle as document-oriented proof assistant
• Valigator: A Verification Tool with Bound and Invariant Generation
• 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
• 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
• \textsc{Mnemonics}: type-safe bytecode generation at run time
• Isabelle/jEdit – A Prover IDE within the PIDE Framework
• QUASY: quantitative synthesis tool
• On flexible dynamic trait replacement for Java-like languages
• Disjoint polymorphism
• Deconfined Global Types for Asynchronous Sessions
• PiStache: implementing \(\pi \)-calculus in Scala
• 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
• On the bright side of type classes: instance arguments in Agda
• Gradual type-and-effect systems
• Categories as type classes in the Scala algebra system
• Scala for generic programmers
• Iterating on multiple collections in synchrony
• First-Class Object Sets
• Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala
• Computation Against a Neighbour: Addressing Large-Scale Distribution and Adaptivity with Functional Programming and Scala
• The Expression Lemma
• Generic, type-safe and object oriented computer algebra software
• The essence of dependent object types
• Scala for Java developers. A practical primer
• COCHIS: stable and coherent implicits
• Verifying Catamorphism-Based Contracts using Constrained Horn Clauses
• Experience report: growing and shrinking polygons for random testing of computational geometry algorithms
• RRB vector: a practical general purpose immutable sequence
• Steps in Scala. An introduction to object-functional programming
• Type Inference of Simple Recursive Functions in Scala
• Scala to the Power of Z3: Integrating SMT and Programming
• On Distributed Monitoring and Synthesis
• Foundations of dependent interoperability
• Push versus pull-based loop fusion in query engines

This page was built for software: Scala