000 | 04423nam a22005655i 4500 | ||
---|---|---|---|
001 | 978-3-540-49099-9 | ||
003 | DE-He213 | ||
005 | 20160624102039.0 | ||
007 | cr nn 008mamaa | ||
008 | 121227s1999 gw | s |||| 0|eng d | ||
020 |
_a9783540490999 _9978-3-540-49099-9 |
||
024 | 7 |
_a10.1007/3-540-49099-X _2doi |
|
050 | 4 | _aQA76.7-76.73 | |
050 | 4 | _aQA76.76.C65 | |
072 | 7 |
_aUMX _2bicssc |
|
072 | 7 |
_aUMC _2bicssc |
|
072 | 7 |
_aCOM051010 _2bisacsh |
|
072 | 7 |
_aCOM010000 _2bisacsh |
|
082 | 0 | 4 |
_a005.13 _223 |
245 | 1 | 0 |
_aProgramming Languages and Systems _h[electronic resource] : _b8th European Symposium on Programming, ESOP’99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99 Amsterdam, The Netherlands, March 22–28, 1999 Proceedings / _cedited by S. Doaitse Swierstra. |
260 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c1999. |
|
264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c1999. |
|
300 |
_aX, 314 p. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 1 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v1576 |
|
505 | 0 | _aInvited Paper -- Functional Reactive Programming -- Regular Contributions -- A Decidable Logic for Describing Linked Data Structures -- Interprocedural Control Flow Analysis -- A Per Model of Secure Information Flow in Sequential Programs -- Quotienting Share for Dependency Analysis -- Types and Subtypes for Client-Server Interactions -- Types for Safe Locking -- Constructor Subtyping -- Safe and Principled Language Interoperation -- Deterministic Expressions in C -- A Programming Logic for Sequential Java -- Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs -- An Idealized MetaML: Simpler, and More Expressive -- Type-Based Decompilation (or Program Reconstruction via Type Reconstruction) -- An Operational Investigation of the CPS Hierarchy -- Higher-Order Code Splicing -- Expressing Structural Properties as Language Constructs? -- Polytypic Compact Printing and Parsing -- Dynamic Programming via Static Incrementalization. | |
520 | _aThis is the second time that of ESOP has formed part of the ETAPS cluster of conferences, workshops, working group meetings and other associated activities. One of the results of colocatingso many conferences is a reduction in the number of possibilities to submit a paper to a European conference and the increased competition between conferences that occurs when boundaries between indiv- ual conferences have not yet become well established. This may have been the reason for the fact that only 44 submission were received this year. On the other hand we feel that the average quality of submissions has gone up, and thus the program committee was able to select 18 good papers, only one less than the year before. The program committee did not meet physically, and all discussion was done usinga Web-driven data base system. Despite some mixed feelings there is an overall tendency to appreciate the extra time available for giving papers a s- ond look and really going into comments made by other program committee members. I want to thank my fellow program committee members for the work they have put into the refereeingprocess and the valuable feedback they have given to authors. I want to thank the referees for their work and many detailed comments, and ?nally I want to thank everyone who has submitted a paper: without authors, no conference. | ||
650 | 0 | _aComputer science. | |
650 | 0 | _aSoftware engineering. | |
650 | 0 | _aData structures (Computer science). | |
650 | 0 | _aLogic design. | |
650 | 1 | 4 | _aComputer Science. |
650 | 2 | 4 | _aProgramming Languages, Compilers, Interpreters. |
650 | 2 | 4 | _aProgramming Techniques. |
650 | 2 | 4 | _aSoftware Engineering. |
650 | 2 | 4 | _aLogics and Meanings of Programs. |
650 | 2 | 4 | _aData Structures. |
700 | 1 |
_aSwierstra, S. Doaitse. _eeditor. |
|
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer eBooks | |
776 | 0 | 8 |
_iPrinted edition: _z9783540656999 |
786 | _dSpringer | ||
830 | 0 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v1576 |
|
856 | 4 | 0 | _uhttp://dx.doi.org/10.1007/3-540-49099-X |
942 |
_2EBK6658 _cEBK |
||
999 |
_c35952 _d35952 |