Applied Type System

Applied Type System
ATS
Paradigmen: funktional, imperativ
Entwickler: Hongwei Xi et al. (Universität Boston)
Aktuelle Version: 0.2.5  (2011-09-02)
Typisierung: stark, statisch, explizit
wichtige Implementierungen: ATS/Anairiats
Einflüsse: ML, C
Lizenz: GPL 3.0
http://www.ats-lang.org/

Applied Type System (ATS) ist eine Programmiersprache, die derzeit an der Universität Boston entwickelt wird. Der Schwerpunkt liegt auf einem ausdrucksstarken Typsystem mit Abhängigen Typen (Dependent Types) und Linearen Typen. Dieses ermöglicht unter anderem die Verifikation bestimmter Eigenschaften des Programms durch die explizite Konstruktion von Beweisen, sowie die Verwaltung von Ressourcen wie dynamisch allokiertem Speicher, geöffneten Dateien usw. Weitere Ziele sind eine gute Interoperabilität mit C, eine mit C vergleichbare Effizienz und die Eignung zur Systemprogrammierung.

Weblinks

Hongwei Xi: “Applied Type System”. Computer Science Department, Boston University, 20. November 2004 (PDF-File, englisch, 121.4 KB)


Wikimedia Foundation.

Игры ⚽ Нужно сделать НИР?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Type system — Type systems Type safety Inferred vs. Manifest Dynamic vs. Static Strong vs. Weak Nominal vs. Structural Dependent typing Duck typing Latent typing Linear typing Uniqueness typing …   Wikipedia

  • Type polymorphism — In computer science, polymorphism is a programming language feature that allows values of different data types to be handled using a uniform interface. The concept of parametric polymorphism applies to both data types and functions. A function… …   Wikipedia

  • Applied behavior analysis — (ABA) is the science of applying experimentally derived principles of behavior to improve socially significant behavior. ABA takes what we know about behavior and uses it to bring about positive change (Applied). Behaviors are defined in… …   Wikipedia

  • Type inference — Type inference, or implicit typing, refers to the ability to deduce automatically the type of a value in a programming language. It is a feature present in some strongly statically typed languages. It is often characteristic of but not limited to …   Wikipedia

  • Type approval — is granted to a product that meets a minimum set of regulatory, technical and safety requirements. Generally, type approval is required before a product is allowed to be sold in a particular country, so the requirements for a given product will… …   Wikipedia

  • System — (from Latin systēma , in turn from Greek polytonic|σύστημα systēma) is a set of interacting or interdependent entities, real or abstract, forming an integrated whole. The concept of an integrated whole can also be stated in terms of a system… …   Wikipedia

  • Applied aesthetics — is the application of the branch of philosophy of aesthetics to cultural constructs.Film, television, and videoFilm combines many diverse disciplines, each of which may have their own rules of aesthetics. The aesthetics of cinematography are… …   Wikipedia

  • Applied spectroscopy — is the application of various spectroscopic methods for detection and identification of different elements/compounds in solving problems in the fields of forensics, medicine, oil industry, atmospheric chemistry, pharmacology, etc. pectroscopic… …   Wikipedia

  • Type I and type II errors — In statistics, the terms Type I error (also, α error, or false positive) and type II error (β error, or a false negative) are used to describe possible errors made in a statistical decision process. In 1928, Jerzy Neyman (1894 1981) and Egon… …   Wikipedia

  • applied logic — Introduction       the study of the practical art of right reasoning. The formalism (formal logic) and theoretical results of pure logic can be clothed with meanings derived from a variety of sources within philosophy as well as from other… …   Universalium

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”