ESOP '90 [electronic resource] : 3rd European Symposium on Programming Copenhagen, Denmark, May 15–18, 1990 Proceedings /
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.
Saved in:
Main Authors: | Jones, Neil. editor., SpringerLink (Online service) |
---|---|
Format: | Texto biblioteca |
Language: | eng |
Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg,
1990
|
Subjects: | Computer science., Computer programming., Software engineering., Programming languages (Electronic computers)., Computer logic., Mathematical logic., Computer Science., Programming Techniques., Programming Languages, Compilers, Interpreters., Logics and Meanings of Programs., Mathematical Logic and Formal Languages., Software Engineering., |
Online Access: | http://dx.doi.org/10.1007/3-540-52592-0 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
ESOP '90 [electronic resource] : 3rd European Symposium on Programming Copenhagen, Denmark, May 15–18, 1990 Proceedings /
by: Jones, Neil. editor., et al.
Published: (1990) -
Programming Languages and Systems — ESOP '96 [electronic resource] : 6th European Symposium on Programming Linköping, Sweden, April 22–24, 1996 Proceedings /
by: Nielson, Hanne Riis. editor., et al.
Published: (1996) -
Programming Languages and Systems — ESOP '96 [electronic resource] : 6th European Symposium on Programming Linköping, Sweden, April 22–24, 1996 Proceedings /
by: Nielson, Hanne Riis. editor., et al.
Published: (1996) -
Semantics, Applications, and Implementation of Program Generation [electronic resource] : International Workshop, SAIG 2000 Montreal, Canada, September 20, 2000 Proceedings /
by: Taha, Walid. editor., et al.
Published: (2000) -
Static Analysis [electronic resource] : 8th International Symposium, SAS 2001 Paris, France, July 16–18, 2001 Proceedings /
by: Cousot, Patrick. editor., et al.
Published: (2001)