Programming Languages and Systems

This book constitutes the refereed proceedings of the 21st European Symposium on Programming, ESOP 2012, held in Tallinn, Estonia, as part of ETAPS 2012, in March/April 2012. The 28 full papers, presented together with one full length invited talk, were carefully reviewed and selected from 92 submis...

Fuld beskrivelse

Đã lưu trong:

Bibliografiske detaljer
Hovedforfatter:	Seidl, Helmut
Format:	Bog
Sprog:	English
Udgivet:	Springer 2015
Fag:	Computer programming Congresses Electronic computers Programming languages
Online adgang:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/58323
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

id	oai:scholar.dlu.edu.vn:DLU123456789-58323
record_format	dspace
spelling	oai:scholar.dlu.edu.vn:DLU123456789-583232023-11-11T06:08:12Z Programming Languages and Systems Seidl, Helmut Computer programming Congresses Electronic computers Programming languages This book constitutes the refereed proceedings of the 21st European Symposium on Programming, ESOP 2012, held in Tallinn, Estonia, as part of ETAPS 2012, in March/April 2012. The 28 full papers, presented together with one full length invited talk, were carefully reviewed and selected from 92 submissions. Papers were invited on all aspects of programming language research, including: programming paradigms and styles, methods and tools to write and specify programs and languages, methods and tools for reasoning about programs, methods and tools for implementation, and concurrency and distribution. 2015-09-16T09:19:53Z 2015-09-16T09:19:53Z 2015 Book 978-3-642-28869-2 https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/58323 en application/pdf Springer
institution	Thư viện Trường Đại học Đà Lạt
collection	Thư viện số
language	English
topic	Computer programming Congresses Electronic computers Programming languages
spellingShingle	Computer programming Congresses Electronic computers Programming languages Seidl, Helmut Programming Languages and Systems
description	This book constitutes the refereed proceedings of the 21st European Symposium on Programming, ESOP 2012, held in Tallinn, Estonia, as part of ETAPS 2012, in March/April 2012. The 28 full papers, presented together with one full length invited talk, were carefully reviewed and selected from 92 submissions. Papers were invited on all aspects of programming language research, including: programming paradigms and styles, methods and tools to write and specify programs and languages, methods and tools for reasoning about programs, methods and tools for implementation, and concurrency and distribution.
format	Book
author	Seidl, Helmut
author_facet	Seidl, Helmut
author_sort	Seidl, Helmut
title	Programming Languages and Systems
title_short	Programming Languages and Systems
title_full	Programming Languages and Systems
title_fullStr	Programming Languages and Systems
title_full_unstemmed	Programming Languages and Systems
title_sort	programming languages and systems
publisher	Springer
publishDate	2015
url	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/58323
_version_	1782541251213524992

Programming Languages and Systems

Lignende værker