All sites of Programmin­g

Smalltalk.org Smalltalk.org
Smalltalk.org- New, one-stop source for Smalltalk links and information. ...
Hello, World program Hello, World program
Hello, World program- Smalltalk ...
Bytesmiths Smalltalk 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 Smalltalk and ENVY/Developer, The Bytesm ...
Webopedia: Smalltalk Webopedia: Smalltalk
Webopedia: Smalltalk- Briefly defines term, lists several good links for more information. ...
Thin Air Thin Air
Thin Air- Weblog by Smalltalk programmer, uses mostly VisualWorks, Squeak, many topics covered. ...
Smalltalk Solutions 2001 Trip Report 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. [Slashdot] ...
Smalltalk Industry Council (STIC) Smalltalk Industry Council (STIC)
Smalltalk Industry Council (STIC)- Provides a cross-vendor view of the Smalltalk industry. Events, information, vendors. News RSS. ...
Instantiations, Inc. Instantiations, Inc.
Instantiations, Inc.- Smalltalk consulting, and products: information, literature, related links, purchase details, downloads, and free products. ...
2002 Dr. Dobb's Excellence in Programming Awards 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 researchers at Xerox's Palo Alto Research ...
SNOBOL4 and SPITBOL Information SNOBOL4 and SPITBOL Information
SNOBOL4 and SPITBOL Information- Catspaw Inc's SNOBOL site. ...
Macro Implementation of SNOBOL4 in C 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) pointers. Supports full SNOBOL4 language plus SP ...
HasCASL DFG Project 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 functional programming language Haskell. ...
COMPASS COMPASS
COMPASS- Goal: consolidate, integrate theoretical basis of algebraic specification methods and apply it to software. The algebraic approach supports precise specification of semantics of generic reusable system component ...
Formal Methods Europe 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 information on formal methods and on FME itself ...
KORSO KORSO
KORSO- Deduction oriented Development of Specifications: language designed for modularizing large projects. Complex specifications can be hierarchically structured by combining specifications with renaming and hiding. Po ...
Statestep 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 decision tables and combinatorial comple ...
StateWORKS Studio StateWORKS Studio
StateWORKS Studio- Professional software specification environment based on finite state machine (FSM) concept. Contains FSM editor, simulator, monitoring and debugging tools. Allows to build complex FSM systems. For Win ...
ResearchIndex: Structure-preserving specification languages for knowledge-based systems 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 in implementation languages, mostly rule b ...
ResearchIndex: Proof Theoretic Approach To Specification Languages 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 of Linear Logic. Initial example demonstr ...
AMAST 2000 AMAST 2000
AMAST 2000- Algebraic Methodology And Software Technology conference: online proceedings and all papers, in .pdf format, abstracts in HTML. ...
W3 Schools' SQL Tutorial W3 Schools' SQL Tutorial
W3 Schools' SQL Tutorial- Useful SQL language reference for beginners and experts alike ...
UESQLC (Universal Embedded SQL Compiler) 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] ...
SQLinForm 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. ...
SQL Dumpster SQL Dumpster
SQL Dumpster- Free SQL scripts for website and application developers. ...
Archive of SQL examples Archive of SQL examples
Archive of SQL examples- Free archive of source code examples for SQL programming for various database engines ...
SQL Fiddle SQL Fiddle
SQL Fiddle- Web app for testing and sharing SQL queries. ...
The Synchronous Group The Synchronous Group
The Synchronous Group- Researches synchronous languages and reactive systems, team at Verimag laboratory, University of Grenoble, France. Presentation, people, research topics, language design, publications, tools. ...
Averest 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 a tool for hardware/software synthesis. ...
Synchronous Programming Language Synchronous Programming Language
Synchronous Programming Language- Growing article, with links to many related topics. Wikipedia. ...
SyncCharts SyncCharts
SyncCharts- Graphical formalism (name of model, a syncChart is an instance) dedicated to reactive system modeling. Many features inherited from StateCharts, Argos. Brief introduction, related publications, distribution, ...
The Esterel Synchronous Programming Language: Design, Semantics, Implementation 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; Esterel is not full language, it is a program g ...
T3X: A Minimum Procedural Language T3X: A Minimum Procedural Language
T3X: A Minimum Procedural Language- Article from comp.compilers newsgroup. ...
T3X.org T3X.org
T3X.org- Minimum procedural language. Goal: aid productivity in exploring/inventing algorithms. Small, portable, procedural, block-structured, recursive, almost typeless, partly object-oriented. Information, compilers, h ...
FreshPorts: Lang/T3X 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. ...
The Entropy Liberation Front The Entropy Liberation Front
The Entropy Liberation Front- Providing a collection of Tcl/Tk plugins and sources as well as links to other resources. ...
TclTutor TclTutor
TclTutor- Interactive computer aided instruction package to learn Tcl. It consists of 43 lessons covering all basic Tcl commands. ...
Tcl Developer Xchange Tcl Developer Xchange
Tcl Developer Xchange- Was Scriptics.com, firm founded by Tcl creator, and original sole author, Professor John Ousterhout. Advocacy, tutorials, documentation, links, news, software, latest releases, downloads. ...
Will's Tcl/Tk Page Will's Tcl/Tk Page
Will's Tcl/Tk Page- Featuring the trycatch and expand packages, guides to creating object commands and to success with namespaces and packages. ...
Tcl-Wear Chronology Tcl-Wear Chronology
Tcl-Wear Chronology- A history of shirts, hats, office toys and other Tcl-related paraphernalia. ...
Donal K. Fellows's Tcl Archive Donal K. Fellows's Tcl Archive
Donal K. Fellows's Tcl Archive- Featuring extended Tcl fontification for Emacs, scripts and extensions, Tclets and Games. ...
Practical Programming in Tcl and Tk Practical Programming in Tcl and Tk
Practical Programming in Tcl and Tk- Fifteen out of 48 chapters of Brent Welch's book. ...
Tcl/Tk Quick Reference Tcl/Tk Quick Reference
Tcl/Tk Quick Reference- For Tcl/Tk 8.x based on the quick reference guide written for Perl by Johan Vromans. A Perl script is included in the distribution to reorganize the 52 pages in the Postscript source into booklet ...
Avia Training and Consulting Avia Training and Consulting
Avia Training and Consulting- Provides services for the Tcl programming language and extensions such as Tk and Expect. ...
Clif Flynt Clif Flynt
Clif Flynt- Homepage of "Tcl/Tk For Real Programmers" author. Professional and personal information. Book overview, table of Contents, errata. Tcl/Tk related items. ...
Tcl/Tk Software Tcl/Tk Software
Tcl/Tk Software- Autodoc, Makedist, and other Software for and using Tcl/Tk written by Andreas Kupries. ...
Tcl/Tk References of Interest Tcl/Tk References of Interest
Tcl/Tk References of Interest- Cameron Laird's collection of information about Tcl/Tk, including articles he wrote for Sunworld e.a. ...
Frequently Made Mistakes in Tcl Frequently Made Mistakes in Tcl
Frequently Made Mistakes in Tcl- Article on evident faults and unidiomatic usages of Tcl. ...
Tcl/Tk advocacy Tcl/Tk advocacy
Tcl/Tk advocacy- Teaches non-programming types how to create GUI applications using Tcl/Tk. Uses Windows, Cygwin, web browser or Linux as platform for learning, practicing, experimenting. ...
dgWebHelp: Tcl/Tk dgWebHelp: Tcl/Tk
dgWebHelp: Tcl/Tk- Fast access to Tcl/Tk and extensions manual pages via a nice Java applet. ...
Slennox's Eggdrop Page: Tcl Archive Slennox's Eggdrop Page: Tcl Archive
Slennox's Eggdrop Page: Tcl Archive- Large archive of Tcl scripts for eggdrop IRC bots. ...

Latest sites from Programmin­g