Tools

LEADER 03391cam a2200385 a 4500

001 ocm38550665;

003 OCoLC;

005 20141212131116.0;

008 980226s1998 gw a b 101 0 eng ;

010 a| 98014853;

020 a| 3540643028 (softcover : alk. paper);

035 a| (Sirsi) o38550665;

035 a| (OCoLC)38550665;

049 a| EREE;

050 04 a| QA76.6b| .E976 1998;

082 00 a| 005.12| 21;

111 2 a| European Symposium on Programmingn| (7th :d| 1998 :c| Lisbon, Portugal)?| UNAUTHORIZED;

245 10 a| Programming languages and systems :b| 7th European Symposium on Programming, ESOP '98 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1996 : proceedings /c| Chris Hankin, ed.;

300 a| x, 281 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Lecture notes in computer science ;v| 1381;

504 a| Includes bibliographical references and index.;

505 0 a| Concurrent constraint programming based on functional programming / G. Smolka -- A bisimulation method for cryptographic protocols / M. Abadi and A.D. Gordon -- A polyvariant binding-time analysis for off-line partial deduction / M. Bruynooghe, M. Leuschel and K. Sagonas -- Verifiable and executable logic specifications of concurrent objects in L[subscript pi] / L. Caires and L. Monteiro -- Complexity of concrete type-inference in the presence of exceptions / R. Chatterjee, B.G. Ryder and W.A. Landi -- Synchronisation analysis to stop tulping / W.-N. Chin, S.-C. Khoo and T.-W. Lee --Propagating differences : an efficient new fixpoint algorithm for distributive constraint systems / C. Fecht and H. Seidl -- Reasoning about classes in object-oriented languages : logical models and tools / U. Hensel ... [et al.] -- Language primitives and type discipline for structured communication-based programming / K. Honda, V.T. Vasconcelos and M. Kubo -- The functional imperative : shape! / C.B. Jay and P.A. Steckler -- Code motion and code placement : just synonyms / J. Knoop, O. Rüthing and B. Steffen -- Recursive object types in a logic of object-oriented programs / K.R.M. Leino -- Mode-automata : about modes and states for reactive systems / F. Maraninchi and Y. Rémond -- From classes to objects via subtyping / D. Rémy -- Building a bridge between pointer aliases and program dependences / J.L. Ross and M. Sagiv -- A complete declarative debugger of missing answers / S. Ruggieri -- Systematic change of data representation : program manipulations and a case study / W.L. Scherlis -- A generic framework for specialization (abriged version) / P. Thiemann.;

650 0 a| Computer programmingv| Congresses.=| ^A34403;

650 0 a| Programming languages (Electronic computers)v| Congresses.=| ^A34404;

700 1 a| Hankin, Chris.=| ^A363215;

711 2 a| International Joint Conference on Theory and Practice of Software Developmentd| (1998 :c| Lisbon, Portugal)?| UNAUTHORIZED;

830 0 a| Lecture notes in computer sciencev| 1381.=| ^A466336;

596 a| 1;

998 a| 645769;

999 a| QA76.6 .E976 1998w| LCc| 1i| 30372010227608d| 2/13/2013f| 2/13/2013g| 1l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 3/9/1999x| BOOKz| JSTACKSo| .STAFF. 0;

Programming languages and systems : 7th European Symposium on Programming, ESOP '98 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1996 : proceedings / Chris Hankin, ed.

Author/creator	European Symposium on Programming
Other author	Hankin, Chris.
Other author	International Joint Conference on Theory and Practice of Software Development (1998 : Lisbon, Portugal)
Format	Book
Publication Info	Berlin ; New York : Springer, ©1998.
Description	x, 281 pages : illustrations ; 24 cm.
Subjects	Computer programming--Congresses. Programming languages (Electronic computers)--Congresses.

Series	Lecture notes in computer science ; 1381 Lecture notes in computer science 1381. ^A466336
Contents	Concurrent constraint programming based on functional programming / G. Smolka -- A bisimulation method for cryptographic protocols / M. Abadi and A.D. Gordon -- A polyvariant binding-time analysis for off-line partial deduction / M. Bruynooghe, M. Leuschel and K. Sagonas -- Verifiable and executable logic specifications of concurrent objects in L[subscript pi] / L. Caires and L. Monteiro -- Complexity of concrete type-inference in the presence of exceptions / R. Chatterjee, B.G. Ryder and W.A. Landi -- Synchronisation analysis to stop tulping / W.-N. Chin, S.-C. Khoo and T.-W. Lee --Propagating differences : an efficient new fixpoint algorithm for distributive constraint systems / C. Fecht and H. Seidl -- Reasoning about classes in object-oriented languages : logical models and tools / U. Hensel ... [et al.] -- Language primitives and type discipline for structured communication-based programming / K. Honda, V.T. Vasconcelos and M. Kubo -- The functional imperative : shape! / C.B. Jay and P.A. Steckler -- Code motion and code placement : just synonyms / J. Knoop, O. Rüthing and B. Steffen -- Recursive object types in a logic of object-oriented programs / K.R.M. Leino -- Mode-automata : about modes and states for reactive systems / F. Maraninchi and Y. Rémond -- From classes to objects via subtyping / D. Rémy -- Building a bridge between pointer aliases and program dependences / J.L. Ross and M. Sagiv -- A complete declarative debugger of missing answers / S. Ruggieri -- Systematic change of data representation : program manipulations and a case study / W.L. Scherlis -- A generic framework for specialization (abriged version) / P. Thiemann.
Bibliography note	Includes bibliographical references and index.
LCCN	98014853
ISBN	3540643028 (softcover : alk. paper)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.6 .E976 1998	✔ Available	Place Hold

Programming languages and systems : 7th European Symposium on Programming, ESOP '98 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1996 : proceedings / Chris Hankin, ed.

Click here for more information about this title

Availability