🚀 go-pugleaf

This is the final program for the Workshop on Lucid and Intensional
Programming organized as part of the Intl. Conference on Computer
Languages. 

			ISLIP 92 Final Program
			Monday, April 20, 1992
			 Oakland, California
				   
		 Workshop Chairman:  Anthony Faustini
		    Department of Computer Science
		       Arizona State University
			    Tempe AZ 85287
			 Tel: (602) 837-3124
			  FAX: 602 965 2751
		     faustini@enuxha.eas.asu.edu
				   
 7:00 to 8:30am	 Workshop Registration

 8:30 to  9:15am "The Lucid Language: Past, Present and Future"
		  E.A. Ashcroft,  Arizona State University

 9:15 to  9:45am "Preliminary Performance of a Parallel GLU Implementation
                  on a Network of Workstations"
	 	  R. Jagannathan  and  C. Dodd
		  Computer Science Laboratory, SRI International

 9:45 to 10:15am "A Distributed Dataflow Language vLucid"
		  W.H. Mitchell, Microsoft Corporation

10:15 to 10:45am  Break

10:45 to 11:30am "Monads and Intensionality"
		  W.Wadge, University of Victoria, Canada

11:30 to 12:00pm "ML- Lucid, an Intensional Functional Language"
		  John Plaice, University of Ottawa, Canada

12:00 to  1:30pm  Break

 1:30 to  2:15pm "Lucid and Intensional Logic"
		  David Israel, AI Laboratory SRI International

 2:15 to  2:45pm "Dyadic Logic: Austere, Intensional, Predicate Calculus"
		  Mark Lanus, Arizona State University 	

 2:45 to  3:15pm  Break

 3:15 to  5:00pm "The Future of Intensional Programming"
		  Panel Discussion
		  Bill Wadge, Ed Ashcroft and  David Israel

5:00pm 		  Close of ISLIP
------------------------------------------------------------------------

Hotel Information: ICCL'92 will be held at the Claremont Resort in
Oakland, California, 20 minutes from San Francisco. The conference
rate is $99.00 single and $109.00 double occupancy. The cut-off date
for reservations was Monday, March 23, 1992. Reservations are accepted
on a space available basis.

			 Claremont Resort Spa
		       Ashby & Domingo Avenues
			Oakland, CA 94623-0363
		      Telephone: (415) 843-3000
			 FAX: (510) 848 6208


========================================================================
	IEEE Computer Society 1992 International Conference on
			  Computer Languages
	     Oakland, California, USA, April 20-23, 1992
   Sponsored by the IEEE Technical Committee on Computer Languages
    In cooperation with ACM SIGPLAN and IFIP Technical Committee 2
				   
Program Committee Chair:
	James R. Cordy
	Department of Computing and Information Science
	Queen's University
	Kingston, Canada K7L 3N6
	(613) 545-6054
	EMail: cordy@qucis.queensu.ca

Conference Chair:
	Mario R. Barbacci
	Software Engineering Institute
	Carnegie Mellon University
	Pittsburgh, PA USA 15213
	(412) 268-7704
	EMail: barbacci@sei.cmu.edu

========================================================================
Tuesday, April 21, 1992

Conference Registration	7:00 am
Conference Welcome	8:30 am - 9 am

Keynote Address	9:00 am - 10:00 am
Jim Horning, Digital Equipment Corporation

Abstract Interpretation I	10:30 am - 12:00 noon

  A Storeless Model of Aliasing and its Abstractions using Finite
  Representations of Right-Regular Equivalence Relations. Alain Deutsch

  Static Analysis of PostScript Code. R. Nigel Horspool, Jan Vitek

  On the Power of Abstract Interpretation. Uday S. Reddy, Samuel N. Kamin

Parallel Languages	1:30 pm - 3:30 pm

  Complexity Issues in the Design of Functional Languages with Explicit
  Parallelism. Wolf Zimmermann

  Control Abstraction in Parallel Programming Languages. Lawrence A. Crowl,
  Thomas J. LeBlanc

  Modula-P A Language for Parallel Programming Definition and Implementation
  on a Transputer Network. Ralf Hoffart, Jurgen Vollmer

  Metalinguistic Features for Formal Parallel-Program Transformation. J. Allan
  Yang, Young-il Choo

Language Implementation I	4:00 pm - 5:30 pm

  Optimizing Structural Recursion in Functional Programs. Peter J. Thiemann

  Dora - An Environment for Experimenting with Compiler Optimizers. Charles
  Farnum

  Procedure Cloning. Keith D. Cooper, Mary W. Hall, Ken Kennedy

Reception	6:30 pm

========================================================================
Wednesday, April 22, 1992

Language Implementation II	8:30 am - 10:00 am

  Parallel Ordered Attribute Grammars. Eduard Klein

  An Automatically Generated and Provably Correct Compiler for a Subset of
  Ada. Jens Palsberg

  DML - A Meta-language and System for the Generation of Practical and
  Efficient Compilers from Denotational Specifications. Mikael Pettersson,
  Peter Fritzson

Abstract Interpretation II	10:30 am - 12:00 noon

  Experimental Evaluation of a Generic Abstract Interpretation Algorithm for
  Prolog. Baudouin Le Charlier, Pascal Van Hentenryck

  Abstract Fixpoint Semantics and Abstract Procedural Semantics of Definite
  Programs. Lunjin Lu, Peter Greenfield

  Computations, Abstractions and Constraints in Logic Programs. Philippe
  Codognet, Gilberto File

Multiparadigm Languages	1:30 pm - 3:30 pm

  Multiparadigm Data Structures in Leda. Timothy A. Budd

  The Design and Implementation of Kaleidoscope'90, A Constraint Imperative
  Programming Language. Bjorn N. Freeman-Benson, Alan Borning

  A Visual Knowledge Representation Language for the Layout Problem. Tetsuto
  Yoshikawa

  Layered Architecture of a Multiple Programming Language System for
  Multiparadigm Programming. Shigeo Sugimoto, Tetsuo Sakaguchi, Koichi Tabata

Panel:	4:00 pm - 5:30 pm

  Tyrannical Languages Still Preempt System Design. Mary Shaw, William A. Wulf

========================================================================
Thursday, April 23, 1992

Distributed Languages I	8:30 am - 10:00 am

  Compositional Specification of Parallel Time-Critical Systems. Joachim
  Trescher

  Abstract Data Groups: Structuring Distributed Programs as Layers. Sanjay
  Gadkari

  SPMD Execution of Programs with Dynamic Data Structures on
  Distributed-Memory Machines. Rajiv Gupta

Language Implementation III	10:30 am - 12:00 noon

  Designing Programming Languages for Analyzability: A Fresh Look at Pointer
  Data Structures. Laurie J. Hendren, Guang R. Gao

  Semantic Issues in the Design of Languages for Debugging. Richard H.
  Crawford, et al.

  Program Structure as a Basis for Parallelizing Global Register Allocation.
  Angelika Zobel

Object Oriented Languages	1:30 pm - 3:30 pm

  A Class of Programming Language Mechanisms to Facilitate Multiple
  Implementations of the Same Specifications. Muralidharan Sitaraman

  Modularity Meets Inheritance. Gilad Bracha, Gary Lindstrom

  Attaching Instance Variables to Method Realizations Instead of Classes.
  William Harrison, Harold Ossher

  Constraint Specification on Object-Oriented Databases. Stanley W.W. Su,
  Abdallah M. Alashqur

Distributed Languages II	4:00 pm - 5:30 pm

  Parallel Programming in SR. Henri E. Bal

  High-Level Language Support for Programming Distributed Systems. J.S.
  Auerbach, et al.

  Distributed Eiffel: A Language for Programming Multi-Granular
  Distributed Objects on the Clouds Operating System. L. Gunaseelan,
  Richard J. LeBlanc Jr.




------------------------------------------------------------------------
Mario R. Barbacci,
internet: mrb@sei.cmu.edu		uunet: ...!harvard!sei.cmu.edu!mrb
Software Engineering Institute, CMU, Pittsburgh PA 15213, (412) 268-7704