The ATS PL System

  •        0

The programming language ATS unifies specification and implementation by accommodating a programmer-centric approach to program verification: How do we know a program being implemented correctly? We ask the programmer to demonstrate it with a proof.

http://ats-lang.sourceforge.net

Tags
Implementation
License
Platform

   

comments powered by Disqus


Related Projects

Woow-crawler - webcrawler


java.lang.NullPointerException at: this.woowCrawler_Project.getDescription() né?

Oa4j - Java Client for OpenAmplify


OverviewOA4J is a java client for Version 2.1 of the OpenAmplify web service. It requires java 1.6+. It needs an API key to be used, this is free and takes a couple of minutes to obtain. InstallationAdd oa4j-x.x.x.jar to your classpath, Java 1.6+ is required. Usageimport static java.lang.System.out;import java.net.URL;import com.linguamathematica.oa4j.Analysis;import com.linguamathematica.oa4j.AnalysisService;import com.linguamathematica.oa4j.DefaultAnalysisService;public class Test{\tpublic sta

Vogar - Runs your Java code for you


Vogar is a command line tool that attempts to boost your productivity when developing Java programs. It accepts prebuilt .jar files or .java source files. It understands tests, benchmarks, and classes with main methods. It targets your desktop JVM, attached Android devices, or on a far away machine. And it runs interactively during development, or automatically in your continuous build. More examples... $ vogar --mode jvm --stream test/java/util/TreeMap/ Actions: 6 Action java.util.TreeMap.Conta

Glexcess-ruby - Ruby port of GL Excess (http://www.glexcess.com/)


SummaryThis is a Ruby port of GL Excess (http://www.glexcess.com/), a Paolo Martella's excellent OpenGL demo project. All source codes are available under the terms of the GNU General Public License version 2. Screenshot, etc.http://sites.google.com/site/ltsevenscore/ruby/glxsruby PrerequisitesRuby Interpreter <http://www.ruby-lang.org/> Version : 1.8 series or higher A 'RubyGems-enabled' Ruby installation required. For Windows : http://rubyforge.org/projects/rubyinstaller/ Make sure whether you

Javakiva - A Java wrapper for the Kiva API


What is JavaKiva?JavaKiva is an Open Sourced Java Wrapper for the Kiva API. How to use JavaKivaTo set up JavaKiva for usage in your environment simply grab the source files for now and compile them yourself (a jar file will soon be available on this site). You will also need the following libraries (at a minimum, the versions I have mentioned are recommended, since I haven't tested with older versions): commons-beanutils-1.8.0.jar (http://commons.apache.org/downloads/download_beanutils.cgi) comm

Ftcs - File Transfer Client/Server (FTCS)


AboutFTCS is a software to share your files with friends using client-server programme. It's easy to use. This software was released under GPLv3 license. This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version. This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the

Kleophatra - Kleophatra is an open-source gnu/gpl licence CMS written on PHP


What is Kleophatra?Kleophatra is a content management system fully developed by Sergio Milardovich. The main focus of the project is the flexibility at the moment of develop custom web applications. At the moment, kleophatra (kleo) is in beta status so I would not recommend you to use it in a production environment. You can download a .zip or .tar.gz package and test it. I will appreciate if you notice me about any bugs you may found. How can I collaborate?If you speak any language and you want

Fast-translate - This Project allows you to translate to any language


This Project allows you to translate any text from any language to any language Fast-Translation<?php// +----------------------------------------------------------------------+// | Project Name: Fast Translate |// +----------------------------------------------------------------------+// | |// | Copyright (C) 2001,2002 R.P.J. Velzeboer, The Netherlands |// | |// | This program is free software; you can redistribute it and/or |// | modify it under the terms of the GNU General Public License |// |

Java-twitter - A Java wrapper around the Twitter API


Java TwitterA Java wrapper around the Twitter API Author: DeWitt Clinton <dewitt@unto.net> IntroductionThis library provides a pure Java interface for the Twitter API. Twitter (http://twitter.com) provides a service that allows people to connect via the web, IM, and SMS. Twitter exposes a web services API (http://twitter.com/help/api) and this library is intended to make it even easier for java programmers to use. UsingDownload the latest source or binary version of java-twitter from: http://cod

Gintegrator - A lightweight and simple integration software


IMPORTANT: This project is EOL. Please look at: Lanseti Integration Server. WhatGIntegrator is a lightweight and simple enterprise application integration (EAI) software. With GIntegrator, users can build a SOA-based environment easily. GIntegrator runs atop a JVM and uses a very easy language to describe message routing rules that leverages the enterprise integration patterns principles. WhySOA is a complex architecture. It embraces a lot of technologies such as XML, Schema, BPEL, WSDL, Soap, D