| 
|
QuoteRef: kumaS6_2002
topics >
all references >
ThesaHelp:
references i-l
ThesaHelp:
ACM references f-l
Topic:
state machine
Topic:
embedded systems
Topic:
event controlled processing
Topic:
programming language design
Topic:
safe use of pointers
Topic:
managing shared memory
Topic:
interprocess communication
Topic:
immutable files and data
Topic:
sending an object across a network
Topic:
restricted use of global variables
Topic:
model checker
Topic:
type-safe and secure languages
Topic:
debugging techniques
Group:
parallel processing
Topic:
synchronous communication through a channel
Topic:
recursive data structures
Group:
derived data types
Reference
Kumar, S., Li, K., "Dynamic memory management for programmable devices", Proceedings of The International Symposium on Memory Management (ISMM 2002), Berlin Germany, June 2002, ACM SIGPLAN Notices, supplement 2/03, 32, 2, pp. 245-255. Google
245 ;;Quote: ESP language for writing firmware using event-driven state machines; fast, easily programmed, easily debugged, memory management
246 ;;Quote: ESP makes memory allocation correctness a local property of each process; checked by Spin
246 ;;Quote: ESP transmits deep copies of immutable objects by incrementing deep reference counts; keeps memory allocation local to a process
246+;;Quote: ESP disallows global variables
247 ;;Quote: the ESP compiler extracts Spin models for checking; can often fully debug with the model checker
247 ;;Quote: ESP uses synchronous, unbuffered, rendezvous channels; 'alt' waits for next 'in' or 'out'
247 ;;Quote: ESP supports record, union, and array data types; ESP does not support recursive data types; no model checker, more expensive to communicate
251 ;;Quote: reimplemented VMMC using 500 lines of ESP and 3000 lines of C; replaced 15,600 lines; exhaustively checked the ESP code
251+;;Quote: ESP reference counts for multi-process malloc/free cost 1.5 to 7.4% of messaging costs
ThesaHelp: references i-l (342 items)
ThesaHelp: ACM references f-l (241 items)
Topic: state machine (67 items)
Topic: embedded systems (26 items)
Topic: event controlled processing (46 items)
Topic: programming language design (53 items)
Topic: safe use of pointers (102 items)
Topic: managing shared memory (74 items)
Topic: interprocess communication (29 items)
Topic: immutable files and data (57 items)
Topic: sending an object across a network (11 items)
Topic: restricted use of global variables (22 items)
Topic: model checker (49 items)
Topic: type-safe and secure languages (42 items)
Topic: debugging techniques (23 items)
Group: parallel processing (41 topics, 1116 quotes)
Topic: synchronous communication through a channel (28 items)
Topic: recursive data structures (18 items)
Group: derived data types (9 topics, 119 quotes)