Coverart for item
The Resource Programming languages and systems : 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings, Jacques Garrigue (eds.), (electronic book)

Programming languages and systems : 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings, Jacques Garrigue (eds.), (electronic book)

Label
Programming languages and systems : 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings
Title
Programming languages and systems
Title remainder
12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings
Statement of responsibility
Jacques Garrigue (eds.)
Title variation
APLAS 2014
Creator
Contributor
Editor
Subject
Genre
Language
eng
Summary
This book constitutes the refereed proceedings of the 12th Asian Symposium on Programming Languages and Systems, APLAS 2014, held in Singapore, Singapore in November 2014. The 20 regular papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 57 submissions. The papers cover a variety of foundational and practical issues in programming languages and systems - ranging from foundational to practical issues. The papers focus on topics such as semantics, logics, foundational theory; design of languages, type systems and foundational calculi; domain-specific languages; compilers, interpreters, abstract machines; program derivation, synthesis and transformation; program analysis, verification, model-checking; logic, constraint, probabilistic and quantum programming; software security; concurrency and parallelism; as well as tools and environments for programming and implementation
Member of
Cataloging source
GW5XE
Dewey number
005.13
Illustrations
illustrations
Index
index present
LC call number
QA76.7
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2014
http://bibfra.me/vocab/lite/meetingName
APLAS (Symposium)
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
Garrigue, Jacques
Series statement
  • Lecture Notes in Computer Science,
  • LNCS sublibrary. SL 2, Programming and software engineering
Series volume
8858
http://library.link/vocab/subjectName
  • Programming languages (Electronic computers)
  • Computer programming
  • Computer Science
  • Programming Languages, Compilers, Interpreters
  • Software Engineering
  • Logics and Meanings of Programs
Label
Programming languages and systems : 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings, Jacques Garrigue (eds.), (electronic book)
Instantiates
Publication
Note
International conference proceedings
Antecedent source
unknown
Bibliography note
Includes bibliographical references and author index
Color
multicolored
Control code
SPR894505730
Dimensions
unknown
Extent
1 online resource (xviii, 490 pages)
File format
unknown
Form of item
online
Isbn
9783319127361
Level of compression
unknown
Other control number
10.1007/978-3-319-12736-1
Other physical details
illustrations.
Quality assurance targets
not applicable
Reformatting quality
unknown
Reproduction note
Electronic resource.
Sound
unknown sound
Specific material designation
remote
Label
Programming languages and systems : 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings, Jacques Garrigue (eds.), (electronic book)
Publication
Note
International conference proceedings
Antecedent source
unknown
Bibliography note
Includes bibliographical references and author index
Color
multicolored
Control code
SPR894505730
Dimensions
unknown
Extent
1 online resource (xviii, 490 pages)
File format
unknown
Form of item
online
Isbn
9783319127361
Level of compression
unknown
Other control number
10.1007/978-3-319-12736-1
Other physical details
illustrations.
Quality assurance targets
not applicable
Reformatting quality
unknown
Reproduction note
Electronic resource.
Sound
unknown sound
Specific material designation
remote

Library Locations

Processing Feedback ...