DiSTiL: a transformation library for data structures

Authors:
Yannis Smaragdakis;Don Batory
Affiliations:
Department of Computer Sciences, The University of Texas at Austin, Austin, Texas;Department of Computer Sciences, The University of Texas at Austin, Austin, Texas
Venue:
DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
Year:
1997

Citing 22
Cited 18

GENESIS: An Extensible Database Management System

IEEE Transactions on Software Engineering
Macros that work

POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
TXL: a rapid prototyping system for programming language dialects

Computer Languages
The design and implementation of hierarchical software systems with reusable components

ACM Transactions on Software Engineering and Methodology (TOSEM)
Programmable syntax macros

PLDI '93 Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation
Scalable software libraries

SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
Creating reference architectures: an example from avionics

SSR '95 Proceedings of the 1995 Symposium on Software reusability
A software engineering experiment in software component generation

Proceedings of the 18th international conference on Software engineering
Composition Validation and Subjectivity in GenVoca Generators

IEEE Transactions on Software Engineering
Software components in a data structure precompiler

ICSE '93 Proceedings of the 15th international conference on Software Engineering
Memory simulators and software generators

Proceedings of the 1997 symposium on Software reusability
Rosetta: a generator of data language compilers

Proceedings of the 1997 symposium on Software reusability
P2: A Lightweight DBMS Generator

Journal of Intelligent Information Systems
Concepts for a database system compiler

Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Hygienic macro expansion

LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
Revised report on the algorithmic language scheme

ACM SIGPLAN Lisp Pointers
Software Component with ADA

Software Component with ADA
Automating Relational Operations on Data Structures

IEEE Software
Starburst Mid-Flight: As the Dust Clears

IEEE Transactions on Knowledge and Data Engineering
Scoping Constructs for Program Generators

Scoping Constructs for Program Generators
Software construction using components

Software construction using components
Common Lisp: The Language

Common Lisp: The Language

An annotation language for optimizing software libraries

Proceedings of the 2nd conference on Domain-specific languages
Design Wizards and Visual Programming Environments for GenVoca Generators

IEEE Transactions on Software Engineering
Tagless staged interpreters for typed languages

Proceedings of the seventh ACM SIGPLAN international conference on Functional programming
Environment classifiers

POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Scoping Constructs for Software Generators

GCSE '99 Proceedings of the First International Symposium on Generative and Component-Based Software Engineering
Layered Development with (Unix) Dynamic Libraries

ICSR-7 Proceedings of the 7th International Conference on Software Reuse: Methods, Techniques, and Tools
Implementing Reusable Object-Oriented Components

ICSR '98 Proceedings of the 5th International Conference on Software Reuse
Transformation in Intentional Programming

ICSR '98 Proceedings of the 5th International Conference on Software Reuse
JTS: Tools for Implementing Domain-Specific Languages

ICSR '98 Proceedings of the 5th International Conference on Software Reuse
Design Wizards and Visual Programming Environments for Generators

ICSR '98 Proceedings of the 5th International Conference on Software Reuse
When and how to develop domain-specific languages

ACM Computing Surveys (CSUR)
An annotation language for optimizing software libraries

DSL'99 Proceedings of the 2nd conference on Conference on Domain-Specific Languages - Volume 2
The formalism underlying EASYMAP: A precompiler for refinement-based exploration of hierarchical data organizations

Science of Computer Programming
Data representation synthesis

Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation
Concurrent data representation synthesis

Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation
Synthesizing iterators from abstraction functions

Proceedings of the 11th International Conference on Generative Programming and Component Engineering
High-level data structures: technical perspective

Communications of the ACM
An introduction to data representation synthesis

Communications of the ACM

Quantified Score

Hi-index	0.03

Visualization

Abstract

DiSTiL is a software generator that implements a declarative domain-specific language (DSL) for container data structures. DiSTiL is a representative of a new approach to domain-specific language implementation. Instead of being the usual one-of-a-kind stand-alone compiler, DiSTiL is an extension library for the Intentional Programming (IP) transformation system (currently under development by Microsoft Research). DiSTiL relies on several reusable, general-purpose infrastructure tools offered by IP that substantially simplify DSL implementation.