Version française
Home     About     Download     Resources     Contact us    
Browse thread
[off-topic] Survey or book on programming language structures
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Markus Mottl <mottl@m...>
Subject: Re: [off-topic] Survey or book on programming language structures
On Mon, 22 Jan 2001, David Mentre wrote:
> I am more interested in a comparison of paradigms in a broader view (how
> adaptation is handled by functionnal and object-oriented styles for
> example) and a formalization (i.e. theorical presentation) of those
> paradigms in a common framework. 

Ok, so your question is mostly about software engineering (programming
in the large) rather than expressiveness on an algorithmic level. The
book is mostly concerned with the latter...

Since you seem to be more interested in high-level (formal) specification
of programs, you might find some things (for functional style = ML)
on this page (but no inter-language comparisons):

  http://www.dcs.ed.ac.uk/home/dts

And then there is also Xavier's paper on "Objects and Classes vs. Modules
in OCaml".

  http://pauillac.inria.fr/~xleroy/talks/icfp99.ps.gz

- Markus

-- 
Markus Mottl, mottl@miss.wu-wien.ac.at, http://miss.wu-wien.ac.at/~mottl