Dictionary Of Programming Languages Welcome to the Dictionary of programming Languages, a compendium of computercoding methods The syntax of sather is somewhat similar to Eiffel or Ada. http://cgibin.erols.com/ziring/cgi-bin/cep/cep.pl?_alpha=s
Brad Appleton's Programming Languages Links sather links at Cetus The Scheme programming Language Scheme Intro Langaugeand Implementation The Self programming Language Self, Cetus Links http://www.cmcrossroads.com/bradapp/links/prog-langs.html
Various Programming Languages Eiffel, sather. Objectoriented, with programming per contract and sather isan open source implementation. More, programming secured applications. http://www.scriptol.org/choose.php
Programming Languages sather Component Pascal is an object oriented programming language most closelyrelated to Oberon2. Compared to Oberon-2 it adds a number of annotations http://www.cs.waikato.ac.nz/~marku/languages.html
Extractions: Alan Perlis once said: "A language that doesn't affect the way you think about programming, is not worth knowing" Here are some opinions and facts about a selection of programming languages by Dr Mark Utting ( a lecturer in the Department of Computer Science at The University of Waikato Topics within this page Object-Oriented Languages Documentation Generator Tools Functional Languages Free Implementations ... XML-related Languages (XSLT etc.) The Open Directory Project has lots of programming language information For examples of programming in 200+ different languages, check out Tim Robinson's 99 Bottles of Beer page. The Dylan version is nice, but make sure you check out all the C++ versions too! The template version is amazing! More programming language comparisons, including employer demand, are available at http://www.pixeldate.com/dev /comparison/ The Cetus Team maintains a large collection of links about most object-oriented languages. Let us start with some lesser-known, but more novel, object-oriented languages, then work down to the well-known mainstream ones. One of my favourite object-oriented languages is Cecil , by Craig Chambers. It is a multiple-dispatch language that supports both exploratory untyped programming and large-scale statically-typed programming. It includes some new and very expressive ideas (see the paper
Sather - Wikipedia, The Free Encyclopedia sather also takes inspiration from other programming languages and paradigmsiterators, design by contract, abstract classes, multiple inheritance, http://en.wikipedia.org/wiki/Sather
Extractions: Sather is an object-oriented programming language . It originated circa at the International Computer Science Institute at the University of California, Berkeley , developed by an international team led by Steve Omohundro . It supports garbage collection and generics by subtypes It is probably best to see it as an object-oriented language, with many ideas borrowed from Eiffel . Even the name is inspired by Eiffel; the Sather Tower is a recognizable landmark at Berkeley. Sather also takes inspiration from other programming languages and paradigms: iterators, design by contract, abstract classes, multiple inheritance, anonymous functions, operator overloading, contravariant type system. Some of these features are normally only found in functional programming languages. The original Berkeley implementation is now maintained by many people, not all at Berkeley, and has been adopted by the Free Software Foundation . There are at least two other implementations: Sather-K from the University of Karlsruhe , and Sather-W from the University of Waikato Sather is implemented as a compiler to C . With optimizations in the C compiler, Sather can perform better than the corresponding
The Sather Emacs Programming Environment - Introduction The sather Emacs programming Environment (;) is composed of an Emacs major mode,sather-mode , a set of library convenience functions (contained in http://www.ugcs.caltech.edu/info/sather/sather-mode_1.html
Extractions: Go to the first, previous, next last section, table of contents Welcome to the Sather Emacs Programming Environment! In all honesty, that's just a fancy title for some stuff built up around sather-mode . (But I like the name, so you're stuck with it.) The Sather Emacs Programming Environment (;-) is composed of an Emacs major mode, sather-mode , a set of library convenience functions (contained in `sather-lib.el' ), an Info version of The Sather Specification , (see section `The Sather Specification' in The Sather Specification ), and, of course, the GNU Emacs (or GNU XEmacs) text editor, version 19. This manual covers the following major features of the Sather Emacs Environment: Documentation convenience functions, that supply customizable text for commented headers.
Cetus Links: 16604 Links On Objects And Components / Sather satherK is a modern object-oriented, imperative programming language that Engineering a programming Language The Type and Class System of sather http://www.cetus-links.org/oo_sather.html
Extractions: Intro "What is Sather Sather is an object oriented language which designed to be simple, efficient, safe, and non-proprietary. It aims to meet the needs of modern research groups and to foster the development of a large, freely available, high-quality library of efficient well-written classes for a wide variety of computational tasks. It was originally based on Eiffel but now incorporates ideas and approaches from several languages. One way of placing it in the "space of languages" is to say that it attempts to be as efficient as C, C++, or Fortran, as elegant and safe as Eiffel or CLU, and to support higher-order functions as well as Common Lisp, Scheme, or Smalltalk. Sather has garbage collection, statically-checked strong typing, multiple inheritance, separate implementation and type inheritance, parameterized classes, dynamic dispatch, iteration abstraction, higher-order routines and iters, exception handling, assertions, preconditions, postconditions, and class invariants. Sather code can be compiled into C code and can efficiently link with C object files.
Sather Top Software development programming languages sather. sather Object-orientedlanguage. An object-oriented language with garbage collection, http://directory.fsf.org/devel/prog/sather.html
Extractions: Top Software development Programming languages sather An object-oriented language with garbage collection, statically-checked strong typing, multiple inheritance, separate implementations and type inheritance, parameterized classes, dynamic dispatch, iteration abstraction, higher-order routines and iters, exception handling assertions, preconditions, postconditions, and class invariants. Code can be compiled into C code and can link with C object files. As a special feature, complete internationalization (including unicode) is a native part of the included library. Web page http://savannah.gnu.org/projects/sather Source tarball http://ftp.gnu.org/gnu/sather/sather-1.2.2.tar.bz2 Source information http://mirrors.usc.edu/pub/gnu/sather/ Version 1.2.2 (stable) released on 2005-06-15 Version 1.3beta7 (beta) released on 2001-03-14 Licensed under The GNU General Public License, Version 2 or later This is a GNU package.
Computer Languages History O REILLY has published a color version of The History of programming Languages . sather . sather History sather GNU sather. Scheme http://www.levenez.com/lang/
Term-Papers.us - Sather 1.1 sather programs consist of classes and abstract class specifications. Engineering a programming language The type and class system of sather, http://www.term-papers.us/ts/bc/cot246.shtml
Matz Kindahl - Papers About Programming Gofer is an interactive functional programming environment supporting a sather iters were derived from CLU iterators but are much more flexible and http://user.it.uu.se/~matkin/collection/programming.html
Extractions: This page contains information about different issues regarding programming such as programming languages, principles, systems. The document is structured as follows: Imperative Languages ... Here are issues related to designing systems. This section contains a collection about different algorithms and data structures that are useful in programming. Pages about general algorithms and data structures. Haskell Info Proposal for Monadic I/O Introducing Haskell 1.3
Www.riscos.info - RISC OS Information C programming Extensive information about C and C++ programming on RISC OS . sather - Port of the sather compiler to RISC OS http://www.riscos.info/
SAL- Programming - Languages & Compilers - Sather-K satherK is a modern object-oriented, imperative programming language that is Home Site http//i44s11.info.uni-karlsruhe.de80/sather/index_engl.html http://www.sai.msu.su/sal/F/1/SATHER-K.html
Extractions: Sather-K Sather-K is a modern object-oriented, imperative programming language that is appropriate for use in teaching, research, and industry. The language has its origin in Eiffel . However, the design objective of Sather-K was to get rid of all unnecessary constructions in the language. The result was a language that is easy to learn and especially efficient in translation and execution. Current Version: License Type: Home Site: http://i44s11.info.uni-karlsruhe.de:80/sather/index_engl.html Source Code Availability: Yes Available Binary Packages:
SAL- Programming - Languages & Compilers - GNU Sather SAL Home PROGRAM Languages Compilers Targeted Platforms The SatherCompiler has been ported to SunOS, AIX, Ultrix, NetBSD, Linux, SCO, http://www.sai.msu.su/sal/F/1/SATHER.html
Extractions: GNU Sather Sather is an object oriented language which designed to be simple, efficient, safe, and non-proprietary. It aims to meet the needs of modern research groups and to foster the development of a large, freely available, high-quality library of efficient well-written classes for a wide variety of computational tasks. It was originally based on Eiffel but now incorporates ideas and approaches from several languages. One way of placing it in the "space of languages" is to say that it attempts to be as efficient as C, C++, or Fortran, as elegant and safe as Eiffel or CLU, and to support higher-order functions as well as Common Lisp, Scheme , or Smalltalk Current Version: License Type: GPL Home Site: http://www.gnu.org/software/sather/ http://www.icsi.berkeley.edu/Sather/index.html Source Code Availability: Yes http://www.icsi.berkeley.edu/~sather/Getsather/getsather_0.html Available Binary Packages:
CS655: Readings Engineering a programming Language The Type and Class System of sather . Iteration Abstraction in sather. Transactions on programming Languages and http://www.cs.virginia.edu/~evans/cs655-S00/readings/
Extractions: What does this have to do with programming language design? Fred Brooks, Language Design as Design , HOPL-II keynote address, 1993 (no electronic version available) Principles of good design - when you write your Position Paper, think about violations of these principles. Kernighan, Why Pascal Is Not My Favorite Programming Language This is optional. Read it if you need inspiration (but not a model) for your Position Paper. Your paper should do a better job than Kernighan did of focusing on fundamental language design flaws. Applied Semantics of Programming Languages . Chapters 1 and 3. Introduction, Operational Semantics. Out 27 January 2000 Wenger, Programming Languages - The First 25 Years . IEEE Trans. on Computers, Dec 1976. This paper was written in 1976. When you read it, consider how many of the developments the Java marketers have been trumpeting were already known. Come to class prepared to discuss how well Wenger's categories hold today, in terms of the languages you know. Bernad A. Galler
CTO : Programming Languages The weblog LtU, an interesting place for those interested in programming languages.From MIT. sather sather is an object-oriented programming language http://cliki.tunes.org/Programming Languages
Extractions: CTO CLiki for the TUNES project Home Recent Changes About CLiki Text Formatting ... Create New Page Programming Language s reviewed. See also Languages ToDo Actor - The term for a paradigm of programming which models computations with concurrent (possibly transparently- distributed ) entities, the Actors , that communicate with asynchronous messages; Actors may update their behaviour depending on the messages they receive Collection-Oriented aka data parallel : the term for a paradigm of programming that involves operations on entire collections and avoids loops concatenative - The term for a sub- paradigm of programming in which function composition is rendered syntactically as concatenation (composition, juxtaposition) of symbols by means of a composition operator, usually rendered as a blank space Concurrency-Oriented - A term describing a programming language paradigm where independent parts of the problem can be represented as independent computations Constraints - The term for a paradigm related to logic or declarative programming, where information is specified as a constraint on the result, and the evaluator's task is to use this information to limit the search space that some base set of algorithms would ordinarily have traversed to find the answer
Programming With Assertions: A Prospectus sather ObjectOriented programming, J. Feldman and colleagues, Oct. 2003;http//www.icsi.berkeley.edu/~sather/. Object-Oriented Software Construction, http://doi.ieeecomputersociety.org/10.1109/MITP.2004.67
Extractions: Search: Advanced Search Home Digital Library Site Map ... September/October 2004 (Vol. 6, No. 5) pp. 53-59 Programming with Assertions: A Prospectus Brian A. Malloy , xx Jeffrey M. Voas , xx Full Article Text: DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MITP.2004.67 Abstract Back to Top Additional Information Citation: Brian A. Malloy, Jeffrey M. Voas. "Programming with Assertions: A Prospectus," IT Professional , vol. 06, no. 5, pp. 53-59, September/October 2004. Abstract Contents: Abstract Citation Free access to Electronic subscribers log in to Subscription information Get a Web account Usage of this product signifies your acceptance of the
Sather-K Home Page satherK is a modern object-oriented, imperative programming language that isappropriate for use in teaching, research, and industry. http://i44www.info.uni-karlsruhe.de/~sather/index_engl.html
Extractions: German Version Sather-K is a modern object-oriented, imperative programming language that is appropriate for use in teaching, research, and industry. The language has its origin in Eiffel. However, the design objective of Sather-K was to get rid of all unnecessary constructions in the language. The result was a language that is easy to learn and especially efficient in translation and execution. Language report: HTML and PostScript Sather-K integrates all features of the object-oriented paradigm. Classes can implemented as generic, they can be embedded in hierarchical structures (by subtyping), and they can reuse parts of other classes. The concept of streams gives the opportunity of easy navigation through highly pretty complex data structures. Sather-K is type save, i.e. a lot of errors can be detected (and removed) at compile time and do therefore not occur at runtime as in other languages. The Sather-K compiler is available on several machines, e.g. on IBM-compatible PCs and SUN-workstations. Compilers for other platforms are released soon. Because of the introduction of innovative optimizing- and code generation techniques our compiler generates high efficiency code tuned for the particular target machine. Sather-K programmers are supported by a huge and reliable library of prepared classes. The
Keith Devens - Programming Resources programming resources languages, references, specifications, etc. sather a language I ve always heard mentioned in the same breath as Eiffel. http://keithdevens.com/programming
Extractions: Sunday, September 25, 2005 I love programming, and I'm especially interested in programming languages. Funny thing is that I'm not totally sure why :). Basically I take this to mean that programming is my calling. This page is pretty much a resource for myself, although I hope other people might find it useful too. Basically, I could have a big bookmark file, or I could catalog everything here for myself and the world. :) LCC C Compiler lcc, A Retargetable Compiler for ANSI MinGW: Minimalist GNU For Windows - a port of GCC for Win32. The Borland C++ Compiler Digital Mars C and C++ Compilers DJGPP - C/C++ compiler for DOS Watcom C - they're open sourcing the Watcom compiler! As of 8/30/01 when I wrote this it's not ready for public consumption yet, however. Dev-C++ - a great free IDE that uses MinGW as its compiler. It works "right out of the box", and I'm very happy with it. And of course, don't forget GCC, etc. (which you already have if you're running Unix) from GNU as well as the Cygwin port of it all. Links on my
