000 -LEADER |
fixed length control field |
04238nam a22005535i 4500 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
ISBN |
9783540499428 |
-- |
978-3-540-49942-8 |
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
Classification number |
005.13 |
245 10 - TITLE STATEMENT |
Title |
Programming Languages and Systems — ESOP '96 |
Sub Title |
6th European Symposium on Programming Linköping, Sweden, April 22–24, 1996 Proceedings / |
Statement of responsibility, etc |
edited by Hanne Riis Nielson. |
260 #1 - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
Place of publication |
Berlin, Heidelberg : |
Name of publisher |
Springer Berlin Heidelberg, |
Year of publication |
1996. |
300 ## - PHYSICAL DESCRIPTION |
Number of Pages |
X, 410 p. |
Other physical details |
online resource. |
490 1# - SERIES STATEMENT |
Series statement |
Lecture Notes in Computer Science, |
505 0# - FORMATTED CONTENTS NOTE |
Formatted contents note |
Some practical problems and their influence on semantics -- Compiling Haskell by program transformation: A report from the trenches -- Narrowing-driven partial evaluation of functional logic programs -- A multiple-valued logical semantics for Prolog -- Removing value encoding using alternative values in partial evaluation of strongly-typed languages -- A complete transformational toolkit for compilers -- Global analysis of standard Prolog programs -- Static detection of pointer errors: An axiomatisation and a checking algorithm -- Compositional optimization of disjunctive abstract interpretations -- A rewriting logic for declarative programming -- Durations for truly-concurrent transitions -- Flow analysis in the Geometry of Interaction -- Parametricity and unboxing with unpointed types -- Modular denotational semantics for compiler construction -- Compositional semantics of non-deterministic synchronous languages -- Checking system properties via integer programming -- Efficient minimization up to location equivalence -- A new approach to compiling adaptive programs -- Mode and termination checking for higher-order logic programs -- Linear time hierarchies for a functional language machine model -- Integer constraints to stop deforestation -- Towards an ML-style polymorphic type system for C -- Assumption/commitment rules for dataflow networks — with an emphasis on completeness -- Towards an expressive language for PDE solvers -- Rewrite systems with abstraction and ?-rule: Types, approximants and normalization. |
520 ## - SUMMARY, ETC. |
Summary, etc |
This book presents the refereed proceedings of the Sixth European Symposium on Programming, ESOP '96, held in Linköping, Sweden, in April 1996. The 23 revised full papers included were selected from a total of 63 submissions; also included are invited papers by Cliff B. Jones and by Simon L. Peyton Jones. The book is devoted to fundamental issues in the specification, analysis, and implementation of programming languages and systems; the emphasis is on research issues bridging the gap between theory and practice. Among the topics addressed are software specification and verification, programming paradigms, program semantics, advanced type systems, program analysis, program transformation, and implementation techniques. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical Term |
Computer science. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical Term |
Software engineering. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical Term |
Logic design. |
650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical Term |
Computer Science. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical Term |
Programming Languages, Compilers, Interpreters. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical Term |
Logics and Meanings of Programs. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical Term |
Mathematical Logic and Formal Languages. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical Term |
Programming Techniques. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical Term |
Software Engineering. |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Nielson, Hanne Riis. |
856 40 - ELECTRONIC LOCATION AND ACCESS |
Uniform Resource Identifier |
http://dx.doi.org/10.1007/3-540-61055-3 |
942 ## - ADDED ENTRY ELEMENTS (KOHA) |
Koha item type |
E-BOOKS |
264 #1 - |
-- |
Berlin, Heidelberg : |
-- |
Springer Berlin Heidelberg, |
-- |
1996. |
336 ## - |
-- |
text |
-- |
txt |
-- |
rdacontent |
337 ## - |
-- |
computer |
-- |
c |
-- |
rdamedia |
338 ## - |
-- |
online resource |
-- |
cr |
-- |
rdacarrier |
347 ## - |
-- |
text file |
-- |
PDF |
-- |
rda |
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
-- |
0302-9743 ; |