Concept
Reification (computer science)
Related publications (11)
Scala AST Persistence
Adrien Ghosn, Eugene Burmako, Mathieu Baptiste Demarne
The Scala compiler uses ASTs (abstract syntax trees) as an intermediate representation before generating bytecode. With the development of Scala macros which expand trees at compile time, being able to access, modify and recompose ASTs within the compilati ...
2014Bridging Islands of Specialized Code using Macros and Reified Types
Nicolas Alexander Stucki, Vlad Ureche
Parametric polymorphism in Scala suffers from the usual drawback of erasure on the Java Virtual Machine: primitive values are boxed, leading to indirect access, wasteful use of heap memory and lack of cache locality. For performance-critical parts of the c ...
2013Scala-Virtualized: Linguistic Reuse for Deep Embeddings
Martin Odersky, Tiark Rompf, Philipp Haller, Nada Amin
Scala-Virtualized extends the Scala language to better support hosting embedded DSLs. Scala is an expressive language that provides a flexible syntax, type-level computation using implicits, and other features that facilitate the development of em- bedded ...
Springer Verlag2013Miniboxing: Improving the Speed to Code Size Tradeoff in Parametric Polymorphism Translations
Martin Odersky, Vlad Ureche, Cristian Talau
Parametric polymorphism enables code reuse and type safety. Underneath the uniform interface exposed to programmers, however, its low level implementation has to cope with inherently non-uniform data: value types of different sizes and semantics (bytes, in ...
2013Using Reified Types for Specialization
Generic code increases programmer productivity as it increases code reuse. For example, the LinkedList abstraction can be used in many contexts, from storing a list of numbers to storing representations of files on the disk. Unfortunately this comes at the ...
2013Refinement Propagation. Towards Automated Construction of Visual Specifications.
Creation and transformation of visual specifications is driven by modeler’s design decisions. After a design decision has been made, the modeler needs to adjust the specification to maintain its correctness. The number of adjustments might make the design ...
2007Stepwise refinement of formal specifications based on logical formulae
One of the steps making it possible to increase the quality and the reliability of the software executing on distributed systems consists of the use of methods of software engineering that are known as formal. The majority of the formal methods currently e ...
EPFL1999Formal Development and Validation of Java Dependable Distributed Systems
The rapid expansion of Java programs into software market is often not supported by a proper development methodology. Here, we present a formal development methodology well-suited for Java dependable distributed applications. It is based on the stepwise re ...
IEEE Computer Society Press1999Stepwise Refinement of Formal Specifications Based on Logical Formulae: from COOPN/2 Specifications to Java Programs
One of the steps making it possible to increase the quality and the reliability of the software executing on distributed systems consists of the use of methods of software engineering that are known as formal. The majority of the formal methods currently e ...
1999Formal Development of Java Based Web Parallel Applications
The Java object-oriented programming language has been the subject of an important involvement from programmers and the industry. Especially for applications related to the Web. The problem of such a rapid penetration of Java programs into commercial produ ...
1998