Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Curry and Functional Logic Programming (WCFLP 2005)
Workshop on Curry and Functional Logic Programming (WCFLP 2005)
The integration of functional and logic programming has been extensively
studied during the last years. The declarative multi-paradigm language
Curry
is one of the important results of this work since it combines in a seamless
way the most important features of functional, logic, and concurrent
programming. The development of Curry is an international initiative
intended to provide a common platform for the research, teaching, and
application of integrated functional logic languages. Various implementations
of Curry are available and they have been used in a number of different
applications.
The aim of this workshop is to bring together researchers interested
in Curry, related functional logic languages,
and general aspects of integrating declarative
programming paradigms. It promotes the cross-fertilizing exchange
of ideas and experiences among researches and students from the different
communities interested in the foundations, applications, and combinations
of high-level, declarative programming languages and related areas.
The topics of interest include (but are not limited to):
Language Design: modules and type systems, multi-paradigm
languages,
concurrency and distribution, objects
Foundations: formal semantics, rewriting and narrowing,
type theory
Implementation: abstract machines, parallelism,
compile-time and run-time optimizations, interfacing with external languages
Transformation and Analysis: abstract interpretation,
specialization,
partial evaluation, program transformation, meta-programming
Software Engineering: design patterns, specification,
verification
and validation, debugging, test generation, programming pearls
Integration of Paradigms: integration of declarative
programming
with other paradigms such as imperative, object-oriented, concurrent,
and
real-time programming
Applications: declarative programming in industry,
domain-specific languages, visual/graphical user interfaces, embedded
systems,
WWW applications, knowledge representation and machine learning,
deductive databases, advanced programming environments and tools
The primary focus is on new and original research results but
submissions describing innovative products, prototypes under development
or interesting experiments (e.g., benchmarks) are also encouraged.
Important dates (preliminary)
Submission of papers:
June 5, 2005
Notification of acceptance:
June 30, 2005
Camera-ready papers:
July 12, 2005
Workshop:
September 29, 2005
Submission
Authors are invited to submit an extended abstract (no longer than
8 pages including figures and references) or a system description
(no longer than 3 pages) in PDF or Postscript format.
Submissions should include the title, authors' names, affiliations,
addresses, and e-mail. All submissions must be written in English.
Authors are strongly encouraged to use LaTeX2e and the
ACM
Proceedings Format
(which will also be the final format of the proceedings).
All submissions must be original work. Submissions must be unpublished
and not submitted for publication elsewhere. Work that already appeared
in unpublished or informally published workshops proceedings may be
submitted.
More details about the procedure to submit papers
electronically can be found
here.
Proceedings
Abstracts of workshop papers will be published in ACM SIGPLAN Notices.
Full workshop proceedings will be published in ACM's Digital Library
under the usual copyright policy.
Formatting instruction can be found
here.