The liberty structural specification language: A high-level modeling language for component reuse

ACM SIGPLAN Notices

Volumn 39, Issue 6, 2004, Pages 195-206

  Vachharajani, Manish ^a   Vachharajani, Neil ^a   August, David I ^a  

^a PRINCETON UNIVERSITY   (United States)

Author keywords

Component reuse; Liberty Simulation Environment (LSE); Liberty Structural Specification (LSS); Simulator construction; Structural modeling; Type inference; Use based specialization

Indexed keywords

COMPUTER SIMULATION; HARDWARE; MATHEMATICAL MODELS; PARAMETER ESTIMATION; PROBLEM SOLVING; SYNCHRONIZATION;

COMPONENT REAUSER; LIBERTY SIMULATION ENVIRONMENT (LSE); SIMULATOR CONSTRUCTION; TYPE INTERFERENCE;

HIGH LEVEL LANGUAGES;

EID: 4544234210     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/996893.996865     Document Type: Conference Paper

References (20)

1. BURGER, D., AND AUSTIN, T. M. The SimpleScalar tool set version 2.0. Tech. Rep. 97-1342, Department of Computer Science, University of Wisconsin-Madison, June 1997.
2. DOUCET, F., OTSUKA, M., SHUKLA, S., AND GUPTA, R. An environment for dynamic component composition for efficient co-design. In Proceedings of the Conference on Design, Automation and Test in Europe (2002).
3. DOUCET, F., SHUKLA, S., AND GUPTA, R. Typing abstractions and management in a component framework. In Proceedings of Asia and South Pacific Design Automation Conference (2003).
4. EMER, J., AHUJA, P., BORCH, E., KLAUSER, A., LUK, C.-K., MANNE, S., MUKHERJEE, S. S., PATIL, H., WALLACE, S., BINKERT, N., ESPASA, R., AND JUAN, T. Asim: A performance model framework. IEEE Computer 0018-9162 (February 2002), 68-76.
5. HARPER, R. Programming Languages: Theory and Practice. Draft, 2002.
6. IEEE. VHDL: IEEE Standard 1076. http://www.ieee.org.
7. JANNECK, J. W., LEE, E. A., LIU, J., LIU, X., NEUENDORFFER, S., SACHS, S., AND XIONG, Y. Disciplining heterogeneity - the Ptolemy approach. In ACM SIGPLAN 2001 Workshop on Languages, Compilers, and Tools for Embedded Systems (LCTES 2001) (June 2001).
8. KICZALES, G., LAMPING, J., MENDHEKAR, A., MAEDA, C., LOPES, C., LOINGTIER, J.-M., AND IRWIN, J. Aspect-oriented programming. In Proceedings of the 11th European Conference for Object-Oriented Programming (1997), pp. 220-242.
9. MILNER, R., TOFTE, M., HARPER, R., AND MACQUEEN, D. The Definition of Standard ML (Revised). The MIT Press, Cambridge, MA, 1997.
10. ODERSKY, M., WADLER, P., AND WEHR, M. A second look at overloading. In Proceedings of the Conference on Functional Programming Languages and Computer Architecture (1995), pp. 135-146.
11. OPEN SYSTEMC INITIATIVE (OSCI). Functional Specification for SystemC 2.0, 2001. http://www.systemc.org.
12. PENRY, D., AND AUGUST, D. I. Optimizations for a simulator construction system supporting reusable components. In Proceedings of the 40th Design Automation Conference (June 2003).
13. PURTILO, J. M. The Polylith Software Bus. ACM Transactions on Programming Languages and Systems (TOPLAS) 16, 1 (January 1994), 154-174.
14. SEIDL, H. Haskell overloading is dexptime-complete. Information Processing Letters 52, 2 (1994), 57-60.
15. SKADRON, K., MARTONOSI, M., AUGUST, D. I., HILL, M. D., LILJA, D. J., AND PAI, V. S. Challenges in computer architecture evaluation. IEEE Computer (August 2003), 30-36.
16. SMITH, G. Principal type schemes for functional programs with overloading and subtyping. Science of Computer Programming 23, 2-3 (1994), 197-226.
17. VACHHARAJANI, M., VACHHARAJANI, N., PENRY, D. A., BLOME, J. A., AND AUGUST, D. I. Microarchitectural exploration with Liberty. In Proceedings of the 35th International Symposium on Microarchitecture (November 2002), pp. 271-282.
18. VACHHARAJANI, M., VACHHARAJANI, N., PENRY, D. A., BLOME, J. A., MALIK, S., AND AUGUST, D. I. The Liberty Simulation Environment: A deliberate approach to high-level system modeling. Tech. Rep. Liberty-04-02, Liberty Research Group, Princeton University, January 2004.
19. WILLMANN, P., BROGIOLI, M., AND PAI, V. Spinach: A Liberty-based simulator for programmable network interface architectures. In Proceedings of the SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (June 2004).
20. XIONG, Y., AND LEE, E. A. An extensible type system for component-based design. In Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (March 2000), pp. 20-37.