https://github.com/solodon4/sell
Semantically Enhanced Library Languages
https://github.com/solodon4/sell
Last synced: 4 months ago
JSON representation
Semantically Enhanced Library Languages
- Host: GitHub
- URL: https://github.com/solodon4/sell
- Owner: solodon4
- License: bsd-3-clause
- Created: 2014-05-14T02:46:59.000Z (about 12 years ago)
- Default Branch: master
- Last Pushed: 2015-05-28T04:27:56.000Z (about 11 years ago)
- Last Synced: 2025-10-07T07:39:22.267Z (8 months ago)
- Size: 156 KB
- Stars: 2
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
SELL: Semantically Enhanced Library Languages
=============================================
Overview
------------
"*A Semantically Enhanced Library Language* (a SEL language or a SELL) is a dialect created by supersetting a language using a library and then subsetting the result using a tool that “understands” the syntax and se- mantics of both the underlying language and the library. The resulting language can be about as expressive as a special- purpose language and provide as good semantic guarantees as a special-purpose language. However, a SELL can rely on the tool chain and user community of a major general- purpose programming language." --Bjarne Stroustrup in "A rationale for semantically enhanced library languages".
This project is a collection of library languages exploring, using and following the SELL approach. SELLs don't have to be built on top of C++ even though that was the language of choice for our exploration of the idea.
Projects
------------
* [Mach7](https://github.com/solodon4/Mach7) - Pattern Matching for C++
* [Par7](https://github.com/solodon4/Par7) - Experimental playground for grammars
* [XTL](http://parasol.tamu.edu/xtl/) - eXtensible Typing Library
Publications
------------
[Yuriy Solodkyy](https://parasol.tamu.edu/~yuriys/), [Jaakko Jarvi](https://parasol.tamu.edu/~jarvi/). "[Extending Type Systems in a Library: Typesafe XML-processing in C++](https://parasol.tamu.edu/~yuriys/papers/XTL11.pdf)", Science of Computer Programming, 2010.
[Bjarne Stroustrup](http://www.stroustrup.com/) and [Gabriel Dos Reis](http://www.axiomatics.org/~gdr/). "[Supporting SELL for High-Performance Computing](http://www.csc.lsu.edu/lcpc05/papers/lcpc05-paper-39.pdf)". [LCPC05](http://www.ece.lsu.edu/lcpc2005/). October 20-22, 2005
[Bjarne Stroustrup](http://www.stroustrup.com/). "[A rationale for semantically enhanced library languages](http://www.stroustrup.com/SELLrationale.pdf)". [LCSD05](http://lcsd05.cs.tamu.edu/). October 16, 2005