TY - BOOK ID - 146170184 TI - Visual Languages, '95 IEEE Symposium On PY - 1995 PB - [Place of publication not identified] IEEE Computer Society Press DB - UniCat KW - Programming languages (Electronic computers) UR - https://www.unicat.be/uniCat?func=search&query=sysid:146170184 AB - Presents papers, speeches, and summaries of tutorials from the September 1995 symposium. Material is arranged by date of presentation rather than subject. Topics include improving readability of iconic programs with multiple view object representation; visual specification of branching time temporal logic; a high-level language for the graphical description of digital circuits; visual programming for animation in user interfaces; formal semantics of visual language using spatial reasoning; and the design of anthropocentric cooperative visual environments. No index. Annotation copyright by Book News, Inc., Portland, OR. ER -