Programming Languages
JACM seeks papers
that contribute to the scientific study of the design,
semantics, implementation, and application of programming languages.
Specific topics include:
- compilation, including parsing, type checking, optimization, code
generation, and run-time organization;
- program analysis, including flow analysis, abstract
interpretation, and type inference;
- programming language concepts such as functional programming,
object-oriented programming, modularity, data abstraction, concurrency,
and parallelism;
- foundational formalisms such as lambda-calculus, type theory,
and process calculus;
- semantics of programming languages, including axiomatic,
operational, and denotational methods; and
- domain theory and category theory as applied to programming
languages.
Papers that may be suitable for submission as either Programming Languages,
Software Engineering, or Logic in Computer Science will be handled through
close coordination with the area editors. Papers should be submitted to
only one area editor.