Idioma:

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

European Symposium on Programming (7th 1998 Lisbon, Portugal) Chris Hankin; International Joint Conference on Theory and Practice of Software Development (1998 Lisbon, Portugal)

Berlin Springer New York c1998

Disponible en ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1381 ) y otras localizaciones(Obténgalo)

Acciones

Título:
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
Autor: European Symposium on Programming (7th 1998 Lisbon, Portugal)
Chris Hankin; International Joint Conference on Theory and Practice of Software Development (1998 Lisbon, Portugal)
Materias: Programming languages (Electronic computers) -- Congresses; Computer programming -- Congresses; TÉCNICAS DE PROGRAMAÇÃO (CONGRESSOS); LINGUAGEM DE PROGRAMAÇÃO; TEORIA DA COMPUTAÇÃO; METODOLOGIA E TÉCNICAS DE COMPUTAÇÃO
Notas: Includes bibliographical references and index
Descripción: 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. Ryderand 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 aboutclasses 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 functionalimperative : shape! / C.B. Jay and P.A. Steckler --
Títulos relacionados: Serie:Lecture notes in computer science 1381
Editor: Berlin Springer New York
Fecha de creación: c1998
Formato: x, 281 p. ill. 24 cm.
Idioma: Inglés

Enlaces

Este registro en el Catálogo

Volver a la lista de resultados

Realización: Logos de Redes Sociales:

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

European Symposium on Programming (7th 1998 Lisbon, Portugal) Chris Hankin; International Joint Conference on Theory and Practice of Software Development (1998 Lisbon, Portugal)

Berlin Springer New York c1998

Buscando en bases de datos remotas, por favor espere