第六届编程语言进展研讨会 6th Workshop on Advances in Programming Languages

征稿已开启

已截稿

注册已开启

已截止

活动简介

Programming languages are programmers' most basic tools. With appropriate programming languages one can drastically reduce the cost of building new applications as well as maintaining existing ones. In the last decades there have been many advances in programming languages technology in traditional programming paradigms such as functional, logic, and object-oriented programming, as well as the development of new paradigms such as aspect-oriented programming. The main driving force was and will be to better express programmers' ideas. Therefore, research in programming languages is an endless activity and the core of computer science. New language features, new programming paradigms, and better compile-time and run-time mechanisms can be foreseen in the future. The aims of this event is to provide a forum for exchange of ideas and experience in topics concerned with programming languages and systems. Original papers and implementation reports are invited in all areas of programming languages.

征稿信息

重要日期

2017-05-10

初稿截稿日期

2017-06-21

初稿录用日期

2017-07-06

终稿截稿日期

征稿范围

Major topics of interest include but are not limited to the following:

Automata theory and applications
Compiling techniques
Context-oriented programming languages to specify the behavior of software systems and dynamic adaptations
Domain-specific languages
Formal semantics and syntax
Generative and generic programming
Grammarware and grammar based systems
Knowledge engineering languages, integration of knowledge engineering and software engineering
Languages and tools for trustworthy computing
Language theory and applications
Language concepts, design and implementation
Markup languages (XML)
Metamodeling and modeling languages
Model-driven engineering languages and systems
Practical experiences with programming languages
Program analysis, optimization and verification
Program generation and transformation
Programming paradigms (aspect-oriented, functional, logic, object-oriented, etc.)
Programming tools and environments
Proof theory for programs
Specification languages
Type systems
Virtual machines and just-in-time compilation
Visual programming languages