|
|
International
Multiconference on Computer Science
and Information Technology
October 15-17, 2007,
Wisla, Poland |
Polish Information Processing Society |
|
|
|
|
|
|
|
1st
Workshop on Advances in
Programming Languages
(WAPL'07)
Wisla,
Poland, October 15-17, 2007
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. Major topics of interest include but are
not limited to the following:
- Automata theory and applications
- Compiling techniques
- 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
Papers
Submission
- Authors
should submit draft papers (as Postscript, PDF of
MSWord file)
- The
total length of a paper should not exceed 10 pages
(LNCS style). LNCS style templates are available
here.
- Papers
will be refereed and accepted on the basis of their
scientific merit and relevance to the workshop
- Accepted
and presented papers
will be included in the Conference Proceedings and
published on a CD (ISSN 1896-7094)
- Extended
versions of selected papers will be published in the
Computer Science and Information
Systems journal
|
|
|
|
|
|
|
|
|