[mercury-users] CFP: IDL'99 - International Workshop on Implementation of Declarative Languages

Paul Tarau tarau at silo.csci.unt.edu
Fri Jun 11 15:30:36 AEST 1999


IDL'99 - International Workshop on Implementation of Declarative Languages -
                     Paris, France, September 27-28, 1999

              http://www.binnetcorp.com/wshops/IDL99.html
          
This workshop will be held at the International Conference on Principles, 
Logics, and Implementations of high-level programming languages (PLI'99). 

The workshop is focused on design and implementation of declarative
programming languages and systems whether sequential, parallel, or distributed. 
Preference will be given to the analysis and description of implemented 
systems (or systems currently under implementation) and their associated
techniques, problems found in their development or design, and steps taken
towards the solution of these problems. Suggested topics of interest include, 
but are not limited to: 

- standard and non-standard implementation techniques (e.g., modifications of
  established abstract machines, translation to Java or C, native-code
  generation, dynamic compilation, etc.); optimizing compilers and static analysis; 
  distribution and parallelism; 
- techniques for the implementation of different extensions of declarative 
  programming languages (e.g., constraints, multi-paradigm languages, tabling, 
  lazy evaluation, ...); 
- multi-language interfaces, implementation techniques for building declarative
  components; 
- efficient implementation of higher order features and meta-programming; 
- partial evaluation and program specialization systems; 
- bench marking and performance evaluation; 
- abstract machines; 
- garbage collection; 
- programming environments; 
- experiences from using systems in real-life applications. 

Submission in PostScript or PDF format of papers not exceeding 15 pages should be
sent to idl99 at cs.unt.edu .

Submissions Deadline: July 10, 1999 

Notification of Acceptance: August 15, 1999 

Final Versions Due: September 5, 1999 

IDL'99 Workshop Dates: Sept 27-28, 1999 

Workshop Chairs

Konstantinos Sagonas             Paul Tarau 
Uppsala University,              University of North Texas & BinNet Corporation
Computing Science Department     Computing Science Department 
P.O Box 311, 751 05              P.O Box 311366
Uppsala, SWEDEN                  Denton Texas 76203-1366 USA
kostis at csd.uu.se                 t a r a u at cs.unt.edu

Program Committee 

Marc Feeley (Université de Montréal, CANADA) 
Maria Garcia de la Banda (Monash University, AUSTRALIA) 
Fergus Henderson (University of Melbourne, AUSTRALIA) 
Michael Hanus (RWTH Aachen, GERMANY) 
Mark P. Jones (Oregon Graduate Institute of Science & Technology, USA) 
Olivier Ridoux (IRISA/INRIA Campus de Beaulieu, FRANCE) 
Konstantinos Sagonas (Uppsala University, SWEDEN) 
Paul Tarau (University of North Texas & BinNet Corporation, USA) 
Neng-Fa Zhou (Kyushu Institute of Technology, JAPAN) 

Invited talk 

"The Mozart Programming System and Its Implementation" by Peter Van Roy 
Université catholique de Louvain at Louvain-la-Neuve, Belgium & Mozart Consortium 

In addition to hard copy, proceedings and distributed to the workshop participants, 
the full proceedings will be made publicly available through WWW after the workshop. 
Depending on the quality of accepted papers, publication in a more established 
forum may take place after the workshop. 

For the latest information, please visit the workshop's web site at: 

http://www.binnetcorp.com/wshops/IDL99.html

--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------



More information about the users mailing list