Bazsites.com Language Specific

Directory Topics

On the Web

De Stijl - Design and Specification Through Interfacing and Joining Languages: fits in the framework of formal language engineering, aims at fundamental theoretical results relating features of extant languages for software specification and design, which should be useful to integrate and improve specification and design methods.
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. Powerful enough to express implementation of specifications via more primitive specifications.
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.
CoFI: Common Framework Initiative - Open collaborative effort to produce a Common Algebraic Specification Language (CASL) as the center of an internationally standardized family of specification languages. Contacts with industry groups.
OOPWeb: Markup Language Specifications - Covers markup language specifications for HTML 4.01, CSS2, XHTML 1.0, and XML 1.0.
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.
International Support in Microsoft Windows 2000 - Since its initial design stages, Microsoft Windows NT has incorporated international support through the Unicode character encoding system APIs, which retrieve language-specific information and resource files that store user interface (UI) elements in multiple languages. Windows 2000, a world-ready operating system that supports more than 100 international locales, is the culmination of several years of progressive improvements in the operating system's international support. Each of the more than two dozen language editions of Windows 2000 will support the input and display of languages used in all 100 locales. Because all language editions are based on the same core code--the same API set, the same character encoding, the same fonts and ...
Adobe PostScript Language Specifications - Official specification of the core data format/language and of several of its extensions, specification errata and supplements. Hosted by the Adobe Solutions Network.
The Java Language Specification - Sun's formal specification of the Java language (all versions). Online HTML, HTML in ZIP archive, and PDF formats.
Japanisation FAQ for computers running Western Windows - This FAQ is primarily concerned with detailing what is available, not with how to actually operate the software. Explaining how to use the software is the responsibility of the various software vendors. Specifically, this FAQ currently covers 32-bit Windows-based systems (95, 98, NT) with English as the main language. Some of the information may be applicable to other versions or language editions of Windows.

Wikipedia Articles

Domain-specific programming language - A domain-specific programming language (domain-specific language, DSL) is a programming language designed for, and intended to be useful for, a specific kind of task. This is in contrast to a general-purpose programming language, such as C or general-purpose modeling languages like UML.
Specific language impairment - Specific language impairment (SLI) is a developmental language disorder that can affect both expressive and receptive language. SLI is a relatively "pure" language impairment, meaning that is not related to or caused by other developmental disorders, hearing loss or acquired brain injury.
Defense Language Proficiency Tests - The Defense Language Proficiency Test (or DLPT) is a battery of foreign language tests produced by the Defense Language Institute and used by the United States Department of Defense(DoD). They are intended to assess the general language proficiency of native English speakers in a specific foreign language, in the skills of reading and listening.
Page description markup language - A page description markup language is a type of markup language that is used to describe the appearance of a printed page. It is a markup adaption of the Page description language (which is a Domain-specific programming language), and is often created using XML.
Command language - A command language is a domain-specific interpreted language; a common example of a command language are shell or batch programming languages. These languages can be used directly at the command line, but can also automate tasks that would normally be performed manually at the command line.