All sites of Programmin­g

P.S., Parenthetically Speaking P.S., Parenthetically Speaking
P.S., Parenthetically Speaking- Set of articles on several aspects of Lisp and related issues. ...
Lisp Lisp
Lisp- Paul Graham Lisp essays (including Beating the Averages), history, FAQ, code, many links. ...
Jeff's Lisp Page Jeff's Lisp Page
Jeff's Lisp Page- Related links about Lisp, papers, book reviews, programs, Net articles, from a variety of sources. ...
ruby-talk ruby-talk
ruby-talk- Ruby mail list log/archive, powered by Shin-ichiro Hara's Ruby smart archiver. ...
Kent Pitman's Public Page Kent Pitman's Public Page
Kent Pitman's Public Page- Publications, postings (mostly Lisp related); political thoughts, links. ...
Lisp Programming Language Lisp Programming Language
Lisp Programming Language- Growing article, with links to many related topics. [Wikipedia] ...
Readable S-expressions and Sweet-expressions: Getting the Infix Fix and Fewer Parentheses in Lisp-like Languages Readable S-expressions and Sweet-expressions: Getting the Infix Fix and Fewer Parentheses in Lisp-like Languages
Readable S-expressions and Sweet-expressions: Getting the Infix Fix and Fewer Parentheses in Lisp-like Languages- Proposal to replace pure S-expressions with more flexible mixed alternative. David A. Wheeler's Weblog. ...
History of Lisp History of Lisp
History of Lisp- Source code, design documents, references, other material on original Lisp I/1.5 system, and many follow-ons. Project of Computer History Museum's Software Collection Committee. ...
Imperial College London: Logic and Artificial Intelligence Imperial College London: Logic and Artificial Intelligence
Imperial College London: Logic and Artificial Intelligence- Department of Computing, Imperial College of Science, Technology and Medicine, University of London: research group on logic and artificial intelligence focusin ...
XSB XSB
XSB- A research-oriented Logic Programming system for Unix and Windows/DOS-based systems, representing a semantically enriched functional superset of Prolog and offering among other things evaluation through full SLG res ...
XE XE
XE- Resulting from the Exbed project, this general-purpose programming language supports data abstraction and rule-based programming and is based on but is not a formal extension of CLU. ...
PC AI - Logic Programming PC AI - Logic Programming
PC AI - Logic Programming- As part of a survey of information on artificial intelligence this section on logic programming is provided. ...
Logic-Based Systems Lab Logic-Based Systems Lab
Logic-Based Systems Lab- Department of Computer and Information Science, Brooklyn College of the City University of New York. Home of the 2LP Language, runs on Linux, RS6000, SGI, Solaris, SunOS, Windows; download yours ...
TyRuBa TyRuBa
TyRuBa- Type Rule Base is an experimental logic/metaprogramming language for generating Java code. This BSD-licensed free software resembles Prolog, is implemented in Java and provides a simple command-line interface. ...
Axiomatic Language Axiomatic Language
Axiomatic Language- A pure, minimal but extensible, logic-programming/specification language with meta-language capability is described. The paradigm involved explicitly separates declarative specification from ensuing t ...
Dyna Dyna
Dyna- A logic-based language for dynamic programming. Equational inference rules derive theorems with associated values, e.g. probabilities in statistical AI. Supports prioritization, pruning and parameter training. Comp ...
The World Wide Web Virtual Library: Logic Programming The World Wide Web Virtual Library: Logic Programming
The World Wide Web Virtual Library: Logic Programming- Affiliated with the comp.lang.prolog newsgroup this repository includes general information, Prolog, Window system interfaces, other logic-programming systems, meeti ...
COMPULOG NET: Network of Excellence: NoE COMPULOG NET: Network of Excellence: NoE
COMPULOG NET: Network of Excellence: NoE- Information on European ESPRIT Basic Research (funded) NoE, concerned with computational logic. Large community of European researchers, over 80 nodes at leading universities, bu ...
Xcerpt Xcerpt
Xcerpt- A logic-based query and transformation language for XML and semistructured data. ...
The Maude System The Maude System
The Maude System- Maude is a reflective language based on equational rewrite principles, useful for modeling and solving a wide range of computational problems. ...
DBLP: Logic Programming DBLP: Logic Programming
DBLP: Logic Programming- A bibliography on logic programming is supplemented with a survey of conferences, journals, series of books, organizations and related subjects. ...
Journal of Logic Programming Journal of Logic Programming
Journal of Logic Programming- Unofficial bibliography and home page. ...
LPNMR Conferences LPNMR Conferences
LPNMR Conferences- Conferences of the Special Interest Group on Logic Programming and Non-Monotonic Reasoning. ...
ALP ALP
ALP- The Association for Logic Programming promotes all activities concerning the theory and application of logic programming in computer science, related disciplines and industry. The archive of the ALP Newsletter provi ...
Informal introduction to Starlog Informal introduction to Starlog
Informal introduction to Starlog- Declarative temporal logic programming language for: general purpose programming, simulation, modeling reactive systems. Starlog programs consist of 2 components: a set of timed facts, a ...
First Steps in Programming in Lua First Steps in Programming in Lua
First Steps in Programming in Lua- Short presentation on the language, examples with source code and output; syntax diagram available as PDF. English, Deutsch. ...
Lua Reference Manual Lua Reference Manual
Lua Reference Manual- Reference Manual of the Lua programming language ...
Lua FAQ Lua FAQ
Lua FAQ- Frequently Asked Questions about Lua ...
Lua: An Extensible Extension Language Lua: An Extensible Extension Language
Lua: An Extensible Extension Language- Overview from journal, by Roberto Ierusalimschy, Luiz Henrique de Figueiredo, Waldemar Celes Filho; Software: Practice and Experience, John Wiley and Sons, 1996. ...
Lua-users.org Lua-users.org
Lua-users.org- Wiki, collaborative site for programmers; Lua-l archive, searchable body of official Lua mail list; IRC channel chat room; mini charter. ...
Lua Programming Language Lua Programming Language
Lua Programming Language- Home site; lightweight, made to extend programs, often used for general-purpose, standalone use; simple procedural syntax, powerful data description constructs use associative arrays, extensible ...
Programming in Lua Programming in Lua
Programming in Lua- By Roberto Ierusalimschy; Lua.org, 2003, ISBN 8590379817. Official book, by Lua's main architect, covers all aspects, from basics to API with C; gives solid base for programmers to use Lua. ...
Lua Programming Language Lua Programming Language
Lua Programming Language- Growing article, with links to many related topics. Wikipedia. ...
Introducing Lua Introducing Lua
Introducing Lua- The open source language is a useful, increasingly popular choice for embedded scripting; by Keith Fieldhouse. O'Reilly Media ONLamp.com. ...
Luai Luai
Luai- Alternative interface for browsing the Lua reference manual. Include overview, search facility, and extensible URLs aimed at quick access to specific parts of the documentation. ...
Lua: An Extensible Embedded Language Lua: An Extensible Embedded Language
Lua: An Extensible Embedded Language- Explains, summarizes main features, with motives, code samples; by Lua authors. Dr. Dobb's Journal. ...
m4 m4
m4- Powerful (Turing-equivalent) implementation of traditional Unix macro-expansion program, designed as preprocessor to more stubborn languages. Ugly, but fairly standard, available on most platforms. ...
GNU m4 - Development site GNU m4 - Development site
GNU m4 - Development site- René Seindal's site for developing the Free Software Foundation's version of the Unix macro processor. ...
Mercury Programming Language Mercury Programming Language
Mercury Programming Language- Growing article, with links to many related topics. [Wikipedia] ...
Programming with Miranda Programming with Miranda
Programming with Miranda- A brief information about book by Chris Clack, Colin Myers and Ellen Poon (published in 1994). ...
Functional Programming Functional Programming
Functional Programming- An online book by Chris Clack about the Miranda functional programming language and exercises. ...
Programming Language Semantics Using Miranda Programming Language Semantics Using Miranda
Programming Language Semantics Using Miranda- By Simon Thompson. Technical report, abstract and download, gzipped PostScript file. [University of Kent] ...
C/C++ Users Group: CUG C/C++ Users Group: CUG
C/C++ Users Group: CUG- Since 1981, their mission has been promoting user-supported software: shareware, free software, open source; libraries and tools. Supports all compilers and platforms. Members have contributed ove ...
Miranda: The Craft of Functional Programming Miranda: The Craft of Functional Programming
Miranda: The Craft of Functional Programming- By Simon Thompson; Addison-Wesley, 1995, ISBN 0201422794. Grouped in 3 parts: foundation programming by basic types and lists, twin ideas of higher-order functions and polymo ...
From ACT-ONE to Miranda, a Translation Experiment From ACT-ONE to Miranda, a Translation Experiment
From ACT-ONE to Miranda, a Translation Experiment- Article by Nathan Charles and Howard Bowman and Simon Thompson. ...
Miranda in Isabelle Miranda in Isabelle
Miranda in Isabelle- Article by Steve Hill and Simon Thompson. ...
A Logic for Miranda, Revisited A Logic for Miranda, Revisited
A Logic for Miranda, Revisited- Article by Simon Thompson. ...
Miranda Programming Language Miranda Programming Language
Miranda Programming Language- Growing article, with links to many related topics. [Wikipedia] ...
The Miranda Programming Language The Miranda Programming Language
The Miranda Programming Language- Overview of the language, areas of application and some sample programs. ...
Automatit Inc. Automatit Inc.
Automatit Inc.- Offer custom Miva programming, website development, hosting. ...

Latest sites from Programmin­g