Languages
- 181
- Scripts for Developers and Programmers
- Directory of free and paid scripts across all types of platforms. Fully searchable.
- 182
- Z-Script
- A small embeddable scripting language with C-like syntax. Primitive functions can be easily added to be called by script, to call script functions, and to define operator behaviors for user objects.
- 183
- mCL
- A language for media control. A shader to generate cinematic effects can be constructed by using mCL and HLSL in DirectX9.
- 184
- Specialty Scripting Languages
- BeanShell, NQL, Simkin, and Slate fill specific needs. We often argue that scripting languages should complement developers' reliance on Java. What about Java itself for scripting? [ITworld.com] (November 03, 2000)
- 185
- Hardware-Based Nonlinear Filtering and Segmentation
- Whitepaper on using high-level shading languages to provide non-linear image filtering. Includes an abstract, diagrams and metacode. [PDF]
- 186
- OpenGL Geometry Shader4 Extension
- Specification for OpenGL's geometry shader APIs. Geometry shaders live in between vertex and fragment shaders in OpenGL's pipeline, and are used to introduce new primitives based on incoming vertices. Detailed documentation and pipeline diagram.
- 188
- AMAST 2000
- Algebraic Methodology And Software Technology conference: online proceedings and all papers, in .pdf format, abstracts in HTML.
- 189
- 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 components, providing formal conceptual basis for stepwise, correct development.
- 190
- 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.
- 191
- 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.
- 192
- 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 demonstrates that FORUM is well suited to specify concurrent computations by specifying the higher order ß calculus.
- 193
- 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 based. Recent papers suggest it is useful to do validation and verification in a more abstract and formal specification of the system.
- 194
- 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 WindowsNT/2000/XP operating systems.
- 195
- 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 completion.
- 196
- 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. Downloadable in binary form for Linux (i586).
- 197
- 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, downloads.
- 199
- 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 generator used to program reactive kernels as YACC programs parsers from grammars. [ResearchIndex]