Map
Index
Random
Help
th

QuoteRef: kumaS6_2001

topics > all references > ThesaHelp: references i-l



ThesaHelp:
references i-l
ThesaHelp:
ACM references f-l
Topic:
state machine
Topic:
model checker
Topic:
event controlled processing
Topic:
synchronous communication through a channel
Topic:
immutable files and data
Topic:
asynchronous processing
Topic:
communicating sequential processes
Topic:
memory management by reference counting
Topic:
safe use of pointers
Topic:
test data selection
Topic:
simulation
Topic:
code optimization by global analysis
Group:
parallel processing
Topic:
efficiency

Reference

Kumar, S., Mandelbaum, Y., Yu, X., Li, K., "ESP: A language for programmable devices", Proceedings of the ACM SIGPLAN '01 Conference on Programming Language Design and Implementation (PLDI), Snowbird Utah, ACM SIGPLAN, June 2001, pp. 309-320. Google

Quotations
abstract ;;Quote: event-driven state-machine programming (ESP) for programmable devices; generates a C program and SPIN model; 90% fewer lines of code, low overhead
312 ;;Quote: synchronous communication of immutable objects simplifies reasoning about message ordering; more efficient and easier to verify than buffered channels
313 ;;Quote: in ESP, memory safety is a local property of each process; reference counting of link/unlink; communicates immutable, acyclic objects; easily verified by SPIN
315 ;;Quote: SPIN--on-the-fly model checker; partial search with bit-state hashing and simulation mode
315+;;Quote: SPIN's simulation mode finds the most bugs; random choice at each turn; users rarely find rare bugs
316 ;;Quote: used SPIN to develop a retransmission protocol; 65 lines test code, all errors identified, 1/5 the development time
316 ;;Quote: ESP uses whole program analysis to generate code for event-driven state-machines; independent processes with context switch
316+;;Quote: an ESP context switch only saves the program counter; no stack needed for a state machine
317 ;;Quote: ESP uses a bit-mask of blocked channels per process; to check for a writer, collocate multiple processes on an integer
317 ;;Quote: increment reference count instead of sending deep copies over a channel; requires immutable objects
318 ;;Quote: ESP for efficient, device implementations of concurrent programming; other languages support concurrency but not as efficiently

Related Topics up

ThesaHelp: references i-l (342 items)
ThesaHelp: ACM references f-l (241 items)
Topic: state machine (67 items)
Topic: model checker (49 items)
Topic: event controlled processing (46 items)
Topic: synchronous communication through a channel (28 items)
Topic: immutable files and data (57 items)
Topic: asynchronous processing (30 items)
Topic: communicating sequential processes (33 items)
Topic: memory management by reference counting (22 items)
Topic: safe use of pointers (102 items)
Topic: test data selection (39 items)
Topic: simulation (35 items)
Topic: code optimization by global analysis (23 items)
Group: parallel processing   (41 topics, 1116 quotes)
Topic: efficiency (96 items)

Collected barberCB 12/01
Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.