ESP: A language for programmable devices

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)

Volumn , Issue , 2001, Pages 309-320

  Kumar, S ^a   Mandelbaum, Y ^a   Yu, X ^a   Li, K ^a  

^a PRINCETON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

C (PROGRAMMING LANGUAGE); DATA STORAGE EQUIPMENT; FIRMWARE; PROGRAM COMPILERS;

EVENT DRIVEN STATE-MACHINES PROGRAMMING (ESP);

COMPUTER PROGRAMMING;

EID: 0034830638     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (20)

1. Promela++. A language for correct and efficient protocol construction
2. The ESTEREL synchronous programming language: Design, semantics, implementation
3. Using network interface support to avoid asynchronous protocol processing in shared virtual memory systems
4. The effects of communication parameters on end performance of shared virtual memory clusters
5. Squeak: A language for communicating with mice
6. Generating efficient protocol code from an abstract specification
7. Teapot: Language support for writing memory coherence protocols
8. Using meta-level compilation to check flash protocol code
9. VMMC-2: Efficient support for reliable, connection-oriented communication
10. Compiling esterel into sequential code
11. Model checking for programming languages using VeriSoft
12. Communicating sequential processes
13. The SPIN model checker
14. Early experiences and challenges in building and using a scalable display wall system
15. Effects of communication latency, overhead, and bandwidth in a cluster architecture
16. Filter fusion
17. B. SGS-Thomson Microelectronics