LYCOS RETRIEVER
Lisp Programming Language
built 642 days ago
Conventional programming languages, such as FORTRAN and C, are designed and optimized for the procedural manipulation of data (such as numbers and arrays). Humans... often solve complex problems using very abstract, symbolic approaches which are not well suited for implementation in conventional languages. Although abstract information can be modeled in these languages, considerable programming effort is required to transform the information to a format usable with procedural programming paradigms.
Source:
NetRexx is a new human-oriented programming language, designed as an effective and simple alternative to the Java language. With NetRexx, you can create programs and applets for the Java environment faster and more easily than by programming in Java. Using Java classes is especially easy in NetRexx, as the different types of numbers and strings that Java expects are handled automatically by the language.
Source:
All the Lisp that you need for completing the programming assignments will be presented in the following tutorial notes. You are expected to master the materials of one tutorial in a week. Work through the exercises. They are good for your soul.
Source:
Mercury is a new logic/functional programming language, which combines the clarity and expressiveness of declarative programming with advanced static analysis and error detection features. Its highly optimized execution algorithm delivers efficiency far in excess of existing logic programming systems, and close to conventional programming systems. Mercury addresses the problems of large-scale program development, allowing modularity, separate compilation, and numerous optimization/time trade-offs.
Source:
Abstract : Described are some experiments in the formalisation of the LISP programming language using LCF (Logic for Computable Functions). The bulk of each experiment was concerned with applying the formalisation to proofs of correctness of some interesting LISP functions using Milner's mechanised version of LCF.
Source:
Awk is a text-processing programming language designed to search for, match patterns, and perform actions on files. AWK programs are generally quite small, and are interpreted. AWK is a suitable tool for manipulating data which is in text format. Awk makes it easy to select particular records in a file and perform operations upon them.
Source: