WorldCat Linked Data Explorer

Turtle N-Triple JSON-LD RDF/XML HTML Contact Us Home

http://worldcat.org/entity/work/id/899280576

Programming languages and systems second Asian symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004 : proceedings

This book constitutes the refereed proceedings of the Second Asian Symposium on Programming Languages and Systems, APLAS 2004, held in Taipei, Taiwan in November 2004. The 26 revised full papers presented together with abstracts of 3 invited talks were carefully reviewed and selected from 97 submissions. Among the topics covered are type theory, program transformation, static analysis, verification, concurrent systems, code generation, programming calculi, functional programming languages, language support, component systems, real-time systems, embedded systems, formal systems design, object-oriented design, Java objects, program optimization.

Open All Close All

type

about

http://schema.org/about

alternateName

http://schema.org/alternateName

  • "APLAS 2004"
  • "Asian Symposium on Programming Languages and Systems"
  • "Second Asian Symposium on Programming Languages and Systems"

contributor

creator

description

http://schema.org/description

  • "This book constitutes the refereed proceedings of the Second Asian Symposium on Programming Languages and Systems, APLAS 2004, held in Taipei, Taiwan in November 2004. The 26 revised full papers presented together with abstracts of 3 invited talks were carefully reviewed and selected from 97 submissions. Among the topics covered are type theory, program transformation, static analysis, verification, concurrent systems, code generation, programming calculi, functional programming languages, language support, component systems, real-time systems, embedded systems, formal systems design, object-oriented design, Java objects, program optimization."@en

editor

genre

http://schema.org/genre

  • "Electronic books"@en
  • "Conference papers and proceedings"@en
  • "Conference papers and proceedings"
  • "Conference proceedings"
  • "Taipeh (2004)"
  • "Kongress"

name

http://schema.org/name

  • "Programming languages and systems : Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004 : proceedings"
  • "Programming languages and systems second Asian symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004 : proceedings"@en
  • "Programming languages and systems second Asian symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004 : proceedings"
  • "Programming Languages and Systems Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings"
  • "Programming languages and systems second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004 : proceedings"
  • "Programming languages and systems : second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6 2004 : proceedings"
  • "Programming languages and systems second Asian symposium : proceedings"
  • "Programming languages and systems Second Asian symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004 : proceedings"
  • "Programming languages and systems : second asian symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004 : proceedings"
  • "Programming languages and systems : second Asian symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004 : proceedings"
  • "Programming languages and systems : second Asian symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004 ; proceedings"

workExample