Subject: [Fwd: 07/12/01 Objects Are Evolving Algebras -- Notes on the Integration of Paradigms - Technische Universitaet Berlin]
From: Craig Chambers (chambers@cs.washington.edu)
Date: Fri Jul 06 2001 - 19:46:30 PDT
The abstract seems potentially interesting. It's similar to what we do.
-- Craig
"Jennifer Rowland (RESEARCH)" wrote:
>
> > You are invited to attend... .
> > **********************************************************************
> > **********************************
> > WHO: Peter Pepper
> > AFFILIATION: Technische Universitaet Berlin
> > TITLE: Objects Are Evolving Algebras -- Notes
> > on the Integration of Paradigms
> > WHEN: Thurs 07/12/01
> > WHERE: 113/1021 Research Lecture Room
> > TIME: 1:30 PM - 3:00 PM
> > HOST: Wolfram Schulte & Wolfgang Grieskamp
> > CONTACT: Jeanette Draves
> > NOTE: If attending, e-mail your name and UW
> > affiliation to above contact.
> > Directions are on the web clicking on "About
> > MSR"at <http://www.research.microsoft.com>
> > **********************************************************************
> > ******************************************
> > ABSTRACT:
> > The realm of this presentation is "basic concepts for the design of
> > programming languages". We consider it as the major challenge of
> > future research on language design to combine the benefits of
> > different successful paradigms - e.g. functional programming,
> > object-oriented programming, logic programming - into a common
> > development framework. Ideally, such a framework should also
> > acknowledge modern developments in Software Engineering such as
> > patterns, components, and software architecture. And all this should
> > be accomplished without creating monstrous languages like Algol68,
> > PL/1 or Ada. Evidently, such a wish list is easy to formulate but hard
> > to realize. But we believe that it provides a valuable direction for
> > our future research efforts. In this talk we will present some facets
> > of our work towards this goal. To this end, we try to elaborate the
> > most fundamental design issues in the development of languages. In
> > doing so, we concentrate on three topics: Typing, modularization with
> > scoping, and the integration of state into a functional view. It turns
> > out that a few basic principles indeed suffice to describe a whole
> > plethora of well-known programming features. This gives hope that an
> > orthogonal language design is possible, which achieves a considerable
> > portion of the above-mentioned goals.
> >
> >
> > BIO:
> > Peter Pepper holds a chair for Programming Languages and Compiler
> > Construction at the Computer Science Department of the Technical
> > University of Berlin. He received his PhD and his Habilitation from
> > the Technical University of Munich, where he worked in the CIP group
> > of Prof. F.L. Bauer on program specification and transformation. He
> > also spent some time at Stanford University with Prof. Zohar Manna,
> > where he worked on temporal logic. Since he is professor in Berlin his
> > areas of research focus on programming languages and formal methods in
> > Software Engineering. With his group he has designed and implemented
> > the functional programming language Opal, which has been the basis of
> > intensive studies on modern programming paradigms. An important part
> > of his work lies in the realm of development methods for
> > safety-critical systems, in particular in the area of car and
> > traffic-control software, but also in other critical areas such as
> > hospitals etc. He has also done some work on massively parallel
> > programming techniques. Prof. Pepper is member of the IFIP working
> > groups 2.1 and 1.3.
> >
> >
_______________________________________________
Cecil mailing list
Cecil@cs.washington.edu
http://majordomo.cs.washington.edu/mailman/listinfo/cecil
This archive was generated by hypermail 2b25 : Fri Jul 06 2001 - 19:44:04 PDT