Factbites
 Where results make sense
About us   |   Why use us?   |   Reviews   |   PR   |   Contact us  

Topic: Categorical list of programming languages


Related Topics

In the News (Tue 21 May 13)

  
 Programming
All computers operate by following machine language programs, a long sequence of instructions called machine code that is addressed to the hardware of the computer and is written in binary notation, which uses only the digits 1 and 0.
The resulting machine language programs, however, are specific to one type of computer and will usually not run on a computer with a different type of central processing unit (CPU).
Further, it was recognized that the closer the syntax, rules, and mnemonics of the programming language could be to “natural language” the less likely it became that the programmer would inadvertently introduce errors (called “bugs”) into the program.
delysid.org /programming.html   (1950 words)

  
 Qwika - similar:C_Sharp
These are listed in various ways: Timeline of programming languages Categorical list of programming languages – by general usage and context Generational list of programming languages Alphabetical list of programming languages List of esoteric programming languages This is a disambiguation page: a list of articles associated with...
A programming language is a stylized communication technique intended to be used for controlling the behaviour of a machine (often a computer).
Array programming languages (also known as vector or multidimensional languages) generalize operations on scalars to apply transparently to vectors, matrices, and higher dimensional arrays.
www.qwika.com /rels/Talk:C_Sharp   (1527 words)

  
 Programming languages
Cayenne is a programming language with dependent types; type checking in Cayenne is undecidable (i.e., the checker may not terminate), but the system is extremely expressive.
Scala is a concurrent, object-oriented, functional language with a special focus on web services, and designed as a successor to Funnel, a language based on the Join calculus which combines FP with Petri nets.
Cecil is a pure OO language with multi-methods; the Vortex compiler uses a whole-program optimizer to largely eliminate unnecessary dispatches.
homepages.cwi.nl /~atanasso/lang   (1590 words)

  
 Categorical list of programming languages - Wikipedia, the free encyclopedia
This is a list of programming languages grouped by category.
The predominant paradigm for concurrency in mainstream languages such as Java is shared memory concurrency based on monitors.
Extension programming languages are languages intended to be embedded into another program and used to harness its features in extension scripts.
en.wikipedia.org /wiki/Categorical_list_of_programming_languages   (2091 words)

  
 Programming languages   (Site not responding. Last check: 2007-10-13)
Other languages claim to be visual, but Prograph ["PROGRAmming GRAPHically"] is a truly visual programming language, in which the diagrams and flowcharts that describe what the program does are the program.
This is the language that literally put a man on the moon, and some of the features it developed in the process of that project (and other less glamorous ones) have yet to be duplicated in other, more "modern" languages.
It's a low-level language in the sense that it allows the programmer to control things that are often left to the operating system, like memory management, concurrent processing, loading changes to the program while it's running, etc...
microsoft.toddverbeek.com /lang.html   (3151 words)

  
 History and Evolution of programming languages
Is a classical procedural language aimed at enterprise management, in wich a program is divided in 4 divisions: identification, environment, data, procedure, and they may be divided in sections.
Displeased with this language, they made it evolve to a new version named B, then to a new language named C. This was the evolving of the hardware that instigate to create C. Bcpl and B was using integer for pointers, but this was not working on the new computers.
Scripting language elaborated at CWI in Netherlands, and the goal of which was to become a successor to Quick Basic or scripting languages of Unix.
www.scriptol.org /history.php   (3776 words)

  
 Ulf's Programming Language List
The searchable CUI language list is an attempt to enumerate all known programming languages.
Mozart is based on the Oz language, which supports declarative programming, object-oriented programming, constraint programming, and concurrency as part of a coherent whole.
Cyclone is a programming language that is as C-like as possible while preventing unsafe behavior (buffer overflows, dangling pointers, format string attacks, and so on).
www.cs.mun.ca /~ulf/pld/pls.html   (2275 words)

  
 Language list
C is often described, with a mixture of fondness and disdain varying according to the speaker, as "a language that combines all the elegance and power of assembly language with all the readability and maintainability of assembly language".
ICI is a programming language with a dynamic, object based data model with the flow control constructs and operators of C. It is designed for use in many environments, including embedded systems, as an adjunct to other programs and as a text based interface to compiled libraries.
RPG (Report Program Generator) is a programming language that originated as a report-building program used in DEC and IBM minicomputer operating systems and evolved into a fully procedural programming language.
sk.nvg.org /lang/lang.html   (5710 words)

  
 Alphabetical list of programming languages by Scriptol   (Site not responding. Last check: 2007-10-13)
The list of programming languages is comprised of all programming languages with a compiler or an interpreter, in alphabetical order.
It is a replacement for the list of wikis, that are built with arbitrary criteria by anyone that visits their websites, and that are not really serious (1).
In addition, historical languages with no compiler, but that may have influenced design of further work are included also, provided that the author of the further language has made a verifiable reference to them.
www.scriptol.org /alphabetical-programming-language-list.html   (631 words)

  
 Mike Vanier: programming resume
The largest Java program I've written was a prototype neural simulator in Java (as an exploration of the language as a possible future implementation language for GENESIS).
Guile, a dialect of Scheme designed to be a scripting language, but that project has had a number of problems, the most serious of which is a chronic lack of decent documentation.
SQL isn't a true programming language (it isn't Turing-complete), and the syntax is pretty gross (pseudo-English, emphasis on the pseudo) but it's well suited for its purpose, which is accessing data from relational databases.
www.cs.caltech.edu /~mvanier/hacking/programming.html   (6095 words)

  
 CHARMING PYTHON #B11: Declarative Mini-Languages -- Programming as assertion rather than instruction --
On the other hand, there are also many programming languages that are declarative in style, including both functional and logic languages, and also including both general purpose and specialized ones.
In these languages, you command the program to carry out a sequence of instructions: put some data in a variable; fetch the data back out of the variable; loop through a block of instructions until some condition is satisfied; do something if something else is true.
Languages like Prolog, Mercury, SQL, XSLT, EBNF grammars, and indeed configuration files of various formats, all declare that something is the case, or that certain constraints apply.
gnosis.cx /publish/programming/charming_python_b11.html   (2050 words)

  
 PLT Online
This is a collection of programming language theory texts and resources, all of which are freely available over the Internet.
Many valuable reference texts on programming language theory, previously only available in paper form, have in recent years become publicly accessible from the net.
Part of the reason PL theory and advanced programming languages seem impenetrable to other communities is that learning materials are hard to obtain, or demand a sizeable investment of resources (time, money,...) even if the potential reader is only exploring the subject.
homepages.cwi.nl /~atanasso/ref   (862 words)

  
 Future Directions for Categorical Programming Languages, with an emphasis on Aldor   (Site not responding. Last check: 2007-10-13)
The most successful current programming languages are based the paradigm of object orientation, where individual data objects have state which is modified by object-specific methods.
These programming languages do not lend themselves to the natural expression of mathematical algorithms, which view computation more as a calculation of new values from multiple given objects, which are left unchanged.
Of these languages, Aldor is of particular interest for the area of algorithmic mathematics because its type system is designed to support rich hierarchies of type categories corresponding to the categories of modern algebra.
www.aldor.org /workshops/catlan01   (475 words)

  
 Techno / Programming Language Theory Texts Online
I list here the ones I know of; below that you will also find a much broader list of lecture notes and tutorials, other interesting reading, plus a collection of related resources.
Amongst other things, it offers a list of language design documents and research papers.
This list focuses on book-length reference works which treat major topics in programming language theory, mathematical semantics and foundations, particularly texts which have gone out of print.
www.cs.uu.nl /wiki/Techno/ProgrammingLanguageTheoryTextsOnline   (659 words)

  
 Programming Language Naming Patterns
Most of you have noticed that programming language names tend to fall in several different themes.
Languages may be placed in more than one category of appropriate; we will not suffer the LimitsOfHierarchies here.
Claimed to be the world's first systems programming language; partially based on Algol, which in 1958 was called IAL (International Algorithmic Language).
c2.com /cgi/wiki?ProgrammingLanguageNamingPatterns   (1212 words)

  
 List of programming languages - Wikipedia, the free encyclopedia
Categorical list of programming languages by general usage and context
This disambiguation page lists articles associated with the same title.
If an internal link led you here, you may wish to change the link to point directly to the intended article.
en.wikipedia.org /wiki/List_of_programming_languages   (83 words)

  
 [TYPES] MSCS special issue on quantum programming languages   (Site not responding. Last check: 2007-10-13)
[This announcement might interest readers of the types list, since type systems are an important aspect of the design of quantum programming languages.
Syntax and semantics of quantum programming languages, new paradigms for quantum programming, specification of quantum algorithms, higher-order quantum computation, quantum data types, reversible computation, axiomatic approaches to quantum computation, concurrent and distributed quantum computation, compilation of quantum programs, semantical methods in quantum information theory, and categorical models for quantum computation.
Submissions should be sent electronically to Peter Selinger by January 25, 2005.
lists.seas.upenn.edu /pipermail/types-list/2004/000453.html   (360 words)

  
 ~y0008057.alpha - March 2006
Code generation is the technique of building code using programs.
These programs can range from very small helper scripts, to grand creations that turn abstract models of business logic into complete applications.
There is no one style of code generation application, they can work on the command line or using a GUI, they can build code for one or more languages at a time, they could build code once or multiple times — There are an unlimited variety of inputs and outputs.
www-public.tu-bs.de:8080 /~y0008057/archives/03-01-2006_03-31-2006.html   (313 words)

Try your search on: Qwika (all wikis)

Factbites
  About us   |   Why use us?   |   Reviews   |   Press   |   Contact us  
Copyright © 2005-2007 www.factbites.com Usage implies agreement with terms.