Programmin­g

FreshPorts: Lang/T3X FreshPorts: Lang/T3X- Downloads of T3X BSD Unix ports: packages have full optimizing compiler, with native 386, C, and bytecode back ends, full documentation, many tools. T3X.org T3X.org- Minimum procedural language. Goal: aid productivity in exploring/inventing algorithms. Small, portable, procedural, block-structured, recursive, almost typeless, partly o… T3X: A Minimum Procedural Language T3X: A Minimum Procedural Language- Article from comp.compilers newsgroup. The Esterel Synchronous Programming Language: Design, Semantics, Implementation The Esterel Synchronous Programming Language: Design, Semantics, Implementation- Abstract on paper on reactive kernels making the central, hardest part of reactive systems; Estere… SyncCharts SyncCharts- Graphical formalism (name of model, a syncChart is an instance) dedicated to reactive system modeling. Many features inherited from StateCharts, Argos. Brief introduct… Synchronous Programming Language Synchronous Programming Language- Growing article, with links to many related topics. Wikipedia. Averest Averest- A set of tools for the specification, verification, and implementation of reactive systems. It includes a compiler for synchronous programs, a symbolic model checker, and… The Synchronous Group The Synchronous Group- Researches synchronous languages and reactive systems, team at Verimag laboratory, University of Grenoble, France. Presentation, people, research topics, la… SQL Fiddle SQL Fiddle- Web app for testing and sharing SQL queries. Archive of SQL examples Archive of SQL examples- Free archive of source code examples for SQL programming for various database engines SQL Dumpster SQL Dumpster- Free SQL scripts for website and application developers. SQLinForm SQLinForm- A free web-based Java tool to format any SQL statement independent from their Database. It can also prepare SQL statements for Java, C#, VB, ASP. UESQLC (Universal Embedded SQL Compiler) UESQLC (Universal Embedded SQL Compiler)- An embedded SQL-92 precompiler for C++ and Java, designed to be extensible using SGML documents. [Open source, GPL] W3 Schools' SQL Tutorial W3 Schools' SQL Tutorial- Useful SQL language reference for beginners and experts alike AMAST 2000 AMAST 2000- Algebraic Methodology And Software Technology conference: online proceedings and all papers, in .pdf format, abstracts in HTML. ResearchIndex: Proof Theoretic Approach To Specification Languages ResearchIndex: Proof Theoretic Approach To Specification Languages- Thesis studies FORUM as specification language. FORUM is a higher order logic based on the logical connectives … ResearchIndex: Structure-preserving specification languages for knowledge-based systems ResearchIndex: Structure-preserving specification languages for knowledge-based systems- Much work on validation and verification of knowledge based systems (KBSs) has been done i… StateWORKS Studio StateWORKS Studio- Professional software specification environment based on finite state machine (FSM) concept. Contains FSM editor, simulator, monitoring and debugging tools. All… Statestep Statestep- A lightweight, systematic method for finite state machine specification: a tool includes interactive checking and a kind of spreadsheet for invariants; it also supports… KORSO KORSO- Deduction oriented Development of Specifications: language designed for modularizing large projects. Complex specifications can be hierarchically structured by combining sp… Formal Methods Europe Formal Methods Europe- An organisation with the mission of promoting and supporting the industrial use of formal methods for computer systems development. The site contains inform… COMPASS COMPASS- Goal: consolidate, integrate theoretical basis of algebraic specification methods and apply it to software. The algebraic approach supports precise specification of seman… HasCASL DFG Project HasCASL DFG Project- Algebraic Specification + Functional Programming = Environment for Formal Software Development. An extension of CASL that establishes a connection with the fu… SNOBOL4 Resources SNOBOL4 Resources- Information and links about SNOBOL4. Macro Implementation of SNOBOL4 in C Macro Implementation of SNOBOL4 in C- A port of Macro SNOBOL4 (The original Bell Telephone Labs implementation, written in SIL macros) for machines with 32-bit (or larger) pointer… SNOBOL4 and SPITBOL Information SNOBOL4 and SPITBOL Information- Catspaw Inc's SNOBOL site. 2002 Dr. Dobb's Excellence in Programming Awards 2002 Dr. Dobb's Excellence in Programming Awards- To Adele Goldberg, Dan Ingalls, pioneers of object-oriented programming, and Smalltalk language and development environment. As r… Instantiations, Inc. Instantiations, Inc.- Smalltalk consulting, and products: information, literature, related links, purchase details, downloads, and free products. Smalltalk Industry Council (STIC) Smalltalk Industry Council (STIC)- Provides a cross-vendor view of the Smalltalk industry. Events, information, vendors. News RSS. Smalltalk Solutions 2001 Trip Report Smalltalk Solutions 2001 Trip Report- Diverse opinions and debate, many useful points on Squeak, VisualAge, Dolphin, refactoring, Extreme Programming, Java, LISP, and Objective-C.… Thin Air Thin Air- Weblog by Smalltalk programmer, uses mostly VisualWorks, Squeak, many topics covered. Webopedia: Smalltalk Webopedia: Smalltalk- Briefly defines term, lists several good links for more information. Bytesmiths Smalltalk Information Bytesmiths Smalltalk Information- Much Smalltalk information: full text of many publications and tutorial slides; description of a suite of team productivity tools for VisualWorks… Hello, World program Hello, World program- Smalltalk Smalltalk.org Smalltalk.org- New, one-stop source for Smalltalk links and information. Monty Kamath's GoodStart: Smalltalk Information Monty Kamath's GoodStart: Smalltalk Information- News, who uses it, dialects, tutorials, FAQs, books, links, great questions, polls, jobs, recruiters, interview jeopardy. Smalltal… The Sisal Model of Functional Programming and its Implementation The Sisal Model of Functional Programming and its Implementation- Article by Jean-Luc Gaudiot, Tom DeBoni, John Feo, Wim Böhm, Walid Najjar and Patrick Miller. Abstract and articl… From a Formal Dynamic Semantics of Sisal to a Sisal Environment From a Formal Dynamic Semantics of Sisal to a Sisal Environment- By I. Attali, D. Caromel, A.L. Wendelborn. Abstract and article, PDF file. SAC: Single Assignment C SAC: Single Assignment C- Strict pure functional compiled language, C-like syntax. Design focus: numerical applications, emphasizing efficient support of array processing. Officia… Sisal: A Safe and Efficient Language for Numerical Calculations Sisal: A Safe and Efficient Language for Numerical Calculations- Article shows benefits of Sisal with call to action. By Dave Raymond. [Linux Journal] SISAL SISAL- Growing article, with links to many related topics. [Wikipedia] Sisal Parallel Programming Sisal Parallel Programming- Optimizing Sisal compiler (sisalc) works atop pthreads for high performance on commodity SMP architectures. [ SourceForge.net] Sisal Lives Sisal Lives- Project for a moderately reworked Sisal frontend. mySAL mySAL- A simple single assignment language Single assignment languages are a kind of "functional" language where the parallelism is easy to discover. mySAL is a relative of SISAL,… Announcing - Sisal Scientific Computing Initiative Announcing - Sisal Scientific Computing Initiative- From comp.compilers newsgroup. The Simula Programming Language The Simula Programming Language- Some information on Simula Introduction to OOP in Simula Introduction to OOP in Simula- By J.Sklenar. Document is based on an IT seminar called 30 Years of Object Oriented Programming (OOP) held at the University of Malta on 5/12/1997. Wikipedia: Simula Wikipedia: Simula- Encyclopedia article covering the Simula I and Simula 67 languages, including history and sample code. Montreal Simula Site Montreal Simula Site- Designed to help with teaching and popularity by providing, eventually, a full online reference, and useful web pointers and access to Simula application sof… Hello, World program Hello, World program- Simula