Coverart for item
The Resource Programming languages and systems : 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings, Atsushi Igarashi (ed.)

Programming languages and systems : 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings, Atsushi Igarashi (ed.)

Label
Programming languages and systems : 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings
Title
Programming languages and systems
Title remainder
14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings
Statement of responsibility
Atsushi Igarashi (ed.)
Title variation
APLAS 2016
Creator
Contributor
Editor
Subject
Genre
Language
eng
Summary
This book constitutes the refereed proceedings of the 14th Asian Symposium on Programming Languages and Systems, APLAS 2016, held in Hanoi, Vietnam, in November 2016. The papers cover a variety of topics such as semantics, logics, and foundational theory; design of languages type systems, and foundational calculi; domain-specific languages; compilers, interpreters, and abstract machines; program derivation, synthesis and transformation; program analysis, verification, and model-checking; logic, constraint, probabilistic and quantum programming; software security; concurrency and parallelism; tools 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
2016
http://bibfra.me/vocab/lite/meetingName
APLAS (Symposium)
Nature of contents
dictionaries
http://library.link/vocab/relatedWorkOrContributorName
Igarashi, Atsushi
Series statement
  • Lecture notes in computer science,
  • LNCS sublibrary. SL 2, Programming and software engineering
Series volume
10017
http://library.link/vocab/subjectName
  • Programming languages (Electronic computers)
  • Computer programming
Label
Programming languages and systems : 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings, Atsushi Igarashi (ed.)
Instantiates
Publication
Note
  • International conference proceedings
  • Includes author index
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
Semantics, logics, and foundational theory -- Design of languages type systems, and foundational calculi -- Domain-specific languages.-Compilers, interpreters, and abstract machines -- Program derivation, synthesis and transformation -- Program analysis, verification, and model-checking -- Logic, constraint, probabilistic and quantum programming -- Software security; concurrency and parallelism -- Tools for programming and implementation
Dimensions
unknown
Extent
1 online resource (xvii, 465 pages)
File format
unknown
Form of item
online
Isbn
9783319479583
Media category
computer
Media MARC source
rdamedia
Media type code
c
Other control number
10.1007/978-3-319-47958-3
Other physical details
illustrations.
Reformatting quality
preservation
Sound
unknown sound
Specific material designation
remote
System control number
  • SPR960697759
  • ocn960697759
Label
Programming languages and systems : 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings, Atsushi Igarashi (ed.)
Publication
Note
  • International conference proceedings
  • Includes author index
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
Semantics, logics, and foundational theory -- Design of languages type systems, and foundational calculi -- Domain-specific languages.-Compilers, interpreters, and abstract machines -- Program derivation, synthesis and transformation -- Program analysis, verification, and model-checking -- Logic, constraint, probabilistic and quantum programming -- Software security; concurrency and parallelism -- Tools for programming and implementation
Dimensions
unknown
Extent
1 online resource (xvii, 465 pages)
File format
unknown
Form of item
online
Isbn
9783319479583
Media category
computer
Media MARC source
rdamedia
Media type code
c
Other control number
10.1007/978-3-319-47958-3
Other physical details
illustrations.
Reformatting quality
preservation
Sound
unknown sound
Specific material designation
remote
System control number
  • SPR960697759
  • ocn960697759

Library Locations

Processing Feedback ...