The liberty structural specification language
- 9 June 2004
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 39 (6) , 195-206
- https://doi.org/10.1145/996841.996865
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- SpinachPublished by Association for Computing Machinery (ACM) ,2004
- Challenges in computer architecture evaluationComputer, 2003
- Optimizations for a simulator construction system supporting reusable componentsPublished by Association for Computing Machinery (ACM) ,2003
- Typing abstractions and management in a component frameworkPublished by Association for Computing Machinery (ACM) ,2003
- Asim: a performance model frameworkComputer, 2002
- Aspect-oriented programmingPublished by Springer Nature ,1997
- A second look at overloadingPublished by Association for Computing Machinery (ACM) ,1995
- Principal type schemes for functional programs with overloading and subtypingScience of Computer Programming, 1994
- Haskell overloading is DEXPTIME-completeInformation Processing Letters, 1994
- The POLYLITH software busACM Transactions on Programming Languages and Systems, 1994