Results 1 - 10
of
46
Tool Demo: Scala-Virtualized
"... This paper describes Scala-Virtualized, which extends the Scala language and compiler with a small number of features that enable combining the benefits of shallow and deep embeddings of DSLs. We demonstrate our approach by showing how to embed three different domain-specific languages in Scala. Mor ..."
Abstract
- Add to MetaCart
This paper describes Scala-Virtualized, which extends the Scala language and compiler with a small number of features that enable combining the benefits of shallow and deep embeddings of DSLs. We demonstrate our approach by showing how to embed three different domain-specific languages in Scala
Scala-Virtualized: Linguistic Reuse for Deep Embeddings
- HIGHER-ORDER AND SYMBOLIC COMPUTATION
, 2013
"... Scala-Virtualized extends the Scala language to better support hosting em-bedded DSLs. Scala is an expressive language that provides a flexible syntax, type-level computation using implicits, and other features that facilitate the development of embedded DSLs. However, many of these features work w ..."
Abstract
-
Cited by 3 (2 self)
- Add to MetaCart
Scala-Virtualized extends the Scala language to better support hosting em-bedded DSLs. Scala is an expressive language that provides a flexible syntax, type-level computation using implicits, and other features that facilitate the development of embedded DSLs. However, many of these features work
Towards Virtual Traits in Scala
"... Scala is a powerful language that supports a variety of fea-tures, but it lacks virtual traits. Virtual traits are class-valued object attributes and can be redefined within sub-traits. They support higher-order hierarchies and family polymorphism. This work introduces virtual traits into Scala and ..."
Abstract
- Add to MetaCart
Scala is a powerful language that supports a variety of fea-tures, but it lacks virtual traits. Virtual traits are class-valued object attributes and can be redefined within sub-traits. They support higher-order hierarchies and family polymorphism. This work introduces virtual traits into Scala
Scala? ≡ Javamod JVM On the Performance Characteristics of Scala Programs on the Java Virtual Machine
"... In recent years, the Java Virtual Machine has become an at-tractive target for a multitude of programming languages, one of which is Scala. But while the Scala compiler emits plain Java bytecode, the performance characteristics of Scala pro-grams are not necessarily similar to those of Java programs ..."
Abstract
- Add to MetaCart
In recent years, the Java Virtual Machine has become an at-tractive target for a multitude of programming languages, one of which is Scala. But while the Scala compiler emits plain Java bytecode, the performance characteristics of Scala pro-grams are not necessarily similar to those of Java
Lightweight Polytypic Staging of DSLs in Scala ⋆
"... Abstract. This paper describes Lightweight Polytypic Staging,- a new approach to the implementation of deep embedding of DSLs. We use the notion of polytypic DSL, – the DSL which is designed and implemented by means of polytypic (data-generic) programming techniques. We show how to combine various ..."
Abstract
- Add to MetaCart
for sums of products. In polytypic staging context we introduce an isomorphism lifting, – a transformation that automatically lifts isomorphisms out of the domain code and separates the domain semantics from the user-defined views. The implementation is based on the Scala-Virtualized compiler (an
Scala? ≡ Java mod JVM — On the Performance Characteristics of Scala Programs on the Java Virtual Machine
"... In recent years, the Java Virtual Machine has become an attractive target for a multitude of programming languages, one of which is Scala. But while the Scala compiler emits plain Java bytecode, the performance characteristics of Scala programs are not necessarily similar to those of Java programs. ..."
Abstract
- Add to MetaCart
In recent years, the Java Virtual Machine has become an attractive target for a multitude of programming languages, one of which is Scala. But while the Scala compiler emits plain Java bytecode, the performance characteristics of Scala programs are not necessarily similar to those of Java programs
The Functional Web
"... S cala is a hybrid object-oriented and func-tional programming language for the Java Virtual Machine (JVM) that’s growing in popularity. Two previous Functional Web columns presented the Lift framework, the best-known Web framework written in Scala.1,2 In terms of its prominence and full feature set ..."
Abstract
- Add to MetaCart
S cala is a hybrid object-oriented and func-tional programming language for the Java Virtual Machine (JVM) that’s growing in popularity. Two previous Functional Web columns presented the Lift framework, the best-known Web framework written in Scala.1,2 In terms of its prominence and full feature
Hyflow2: A High Performance Distributed Transactional Memory Framework in Scala Full research paper Alexandru Turcu Binoy Ravindran Roberto Palmieri
"... Abstract Distributed Transactional Memory (DTM) is a recent but promising model for programming distributed systems. It aims to present programmers with a simple to use distributed concurrency control abstraction (transactions), while maintaining performance and scalability similar to distributed f ..."
Abstract
- Add to MetaCart
fine-grained locks. Any complications usually associated with such locks (e.g., distributed deadlocks) are avoided. We propose a new DTM framework for the Java Virtual Machine named Hyflow2. We implement Hyflow2 in Scala and base it on the existing ScalaSTM API soon to be included in the Scala standard
Scala on LLVM
, 2011
"... In this paper we take a look on how we could run Scala on the Low Level Virtual Machine (LLVM). We first elaborate the motivation and possible solutions. Then we explore a few key challenges of a complete Scala implementation. Finally we take a look at the interesting feature subsets which could be ..."
Abstract
- Add to MetaCart
In this paper we take a look on how we could run Scala on the Low Level Virtual Machine (LLVM). We first elaborate the motivation and possible solutions. Then we explore a few key challenges of a complete Scala implementation. Finally we take a look at the interesting feature subsets which could
Results 1 - 10
of
46