返回Google圖書搜尋

ESOP '90

其他書名	3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings
出版	Springer Berlin Heidelberg, 2014-03-12
主題	Computers / Programming / GeneralComputers / Languages / GeneralMathematics / LogicComputers / Software Development & Engineering / GeneralMathematics / Discrete Mathematics
ISBN	36622151019783662215104
URL	http://books.google.com.hk/books?id=M4AmswEACAAJ&hl=&source=gbs_api

註釋This volume presents the proceedings of a conference on programming and programming languages. It contains original research contributions addressing fundamental issues and important developments in the design, specification and implementation of programming languages and systems. Topics include: - Program development: specification, methodology, tools, environments; - Programming language concepts: types, data abstraction, parallelism, real-time; - Language implementation techniques: compilers, interpreters, abstract machine design, optimization; - Programs as data objects: abstract interpretation, program transformation, partial evaluation; - Programming styles: imperative, functional, predicative, object-oriented.