staalsoft.net

SteelScript

Update May 12, 2012. I've created a simple proof assistant for proving theorems in propositional logic. Update Feb 18, 2012. I created a blog where I will post regularly. My first post is about defining semantics (with combinators) in F#. Update Nov 4, 2011. For research purposes, I've created a prototype for polynomial size analysis of a first-order functional language. Update Jul 13, 2011. I've created a small silverlight application that normalizes lambda terms, displaying a reduction graph. For demon...

http://www.staalsoft.net/

OVERVIEW OF staalsoft.net

TRAFFIC RANK

>1,000,000

REVIEWS

0

PAGES IN THIS WEBSITE

8

LINKS TO THIS WEBSITE

CONTACTS

ADDRESSES

SOCIAL LINKS

ONLINE SINCE

WEBSITE DETAILS

SEO

PAGES

SIMILAR SITES

TRAFFIC RANK FOR STAALSOFT.NET

TODAY'S RATING

>1,000,000

TRAFFIC RANK - AVERAGE PER MONTH

BEST MONTH

May

AVERAGE PER DAY Of THE WEEK

HIGHEST TRAFFIC ON

Thursday

TRAFFIC BY CITY

Sign up

CUSTOMER REVIEWS

Average Rating: 3.2 out of 5 with 10 reviews

5 star

0

4 star

6

3 star

2

2 star

0

1 star

2

Hey there! Start your review of staalsoft.net

AVERAGE USER RATING

Write a Review

WEBSITE PREVIEW

LOAD TIME

0.9 seconds

CONTACTS AT STAALSOFT.NET

-

W. Staal

Heutho●●●●●●aat 35

Doe●●●hem , 7009CL

NL

View this contact

SOHOSTED

R. de Haas

Post●●●● 329

Dra●●●ten , FR, 9200AH

NL

31.9●●●●4678

31.5●●●●8056

do●●●●●@sohosted.com

View this contact

SoHosted

René Haas

Post●●●● 329

Dra●●●ten , 9200AH

NL

31.9●●●●4678

do●●●●●@sohosted.com

View this contact

ADD CONTACT

Login

TO VIEW CONTACTS

Remove Contacts

FOR PRIVACY ISSUES

DOMAIN REGISTRATION INFORMATION

REGISTERED: 2007 June 28
UPDATED: 2014 June 29
EXPIRATION: EXPIRED REGISTER THIS DOMAIN

BUY YOUR DOMAIN

DOMAIN AGE

16

YEARS
10

MONTHS
14

DAYS

NAME SERVERS

1: ns1.sohosted35.com
2: ns2.sohosted35.com

REGISTRAR

ASCIO TECHNOLOGIES, INC.

WHOIS : whois.ascio.com

REFERRED : http://www.ascio.com

CONTENT

PAGES IN
THIS WEBSITE

8

SSL

EXTERNAL LINKS

1

SITE IP

195.8.208.98

LOAD TIME

0.859 sec

SCORE

6.2

PAGE TITLE

SteelScript | staalsoft.net Reviews

<META> DESCRIPTION

Update May 12, 2012. I've created a simple proof assistant for proving theorems in propositional logic. Update Feb 18, 2012. I created a blog where I will post regularly. My first post is about defining semantics (with combinators) in F#. Update Nov 4, 2011. For research purposes, I've created a prototype for polynomial size analysis of a first-order functional language. Update Jul 13, 2011. I've created a small silverlight application that normalizes lambda terms, displaying a reduction graph. For demon...

<META> KEYWORDS

1 steelscript

2 features

3 current version

4 documentation

5 categories

6 language features

7 scripts

8 samples

9 simple proof assistant

10 link

CONTENT

Page content here

KEYWORDS ON PAGE

steelscript,features,current version,documentation,categories,language features,scripts,samples,simple proof assistant,link,blog,polynomial size analysis,lambda calculus,turing mod,video,context free grammars,executable mini model designer,trivia,sort

SERVER

Microsoft-IIS/6.0

POWERED BY

ASP.NET

CONTENT-TYPE

utf-8

GOOGLE PREVIEW

SteelScript | staalsoft.net Reviews

https://staalsoft.net

Update May 12, 2012. I've created a simple proof assistant for proving theorems in propositional logic. Update Feb 18, 2012. I created a blog where I will post regularly. My first post is about defining semantics (with combinators) in F#. Update Nov 4, 2011. For research purposes, I've created a prototype for polynomial size analysis of a first-order functional language. Update Jul 13, 2011. I've created a small silverlight application that normalizes lambda terms, displaying a reduction graph. For demon...

SUBDOMAINS

trivia.staalsoft.net

Trivia

psa.staalsoft.net

Polynomial Size Analysis

Based on paper " Polynomial Size Analysis Of First-Order Shapely Functions. By Olha Shkaravska, Marko van Eekelen, and Ron van Kesteren. Created by Wessel van Staal (wvanstaal@student.ru.nl).

prover.staalsoft.net

Simple proof assistant

Proposition logic, natural deduction. Wessel van Staal, wvanstaal[at]student.ru.nl . Based on these. A c ( a b) (c b) b. Commands: newProof α, ass, impE α, impI, negI α, negE α, negE2 α, conE1 β, conE2 α, conI, disE α β, disI1, disI2.

blog.staalsoft.net

Wessel – Blog | Some thoughts about computing science

Wessel – Blog. Some thoughts about computing science. Skip to primary content. Skip to secondary content. Solving logic puzzles with F# and Z3. May 11, 2012. Computers can help to solve non-trivial problems (e.g. scheduling, optimization, software verification) by automatically deriving models that satisfy sets of constraints. This is called. Reasoning with computer support. The British person lives in the red house. The Swede keeps dogs as pets. The Dane drinks tea. The green homeowner drinks coffee.

INTERNAL PAGES

staalsoft.net

1

LambdaGraph

http://www.staalsoft.net/lambda

2

Features

http://www.staalsoft.net/Features.aspx

Functions can be used as objects (first class objects). Eval (like javascript eval) functionality. Active SteelScript version: 0.1.

3

OTHER SITES

staalsmassage.nl

Soorten massages en prijs. Sportmassage Shiatsumassage Stoelmassage Shiatsutherapeut. Nieuwe energie Berry Staals Masseur Noordwijk Bollenstreek. Anti stress Ontspanning Evenementen.

staalsmed.net

easyDNS Parked Page for: staalsmed.net

Staalsmed.net is a parked domain. 10 Things you must. Know before you register your domain name with anybody. For a concise 1-page explanation as told by a domain industry insider, click here. We provide responsive customer support to assist you with your domain account. You can email our support staff anytime, day or night, or call our toll-free support line. During regular business hours. DNS Hosting and Management. 2015 easyDNS™ Technologies Inc. Looking for suggestions . Get Domain Insights from.

staalsmid.blogspot.com

StAALSMID

What's on a gal's creative mind. Een bezoek aan de plaatselijke kringloopwinkel bracht me vanmiddag bij een jas. Vorig jaar had ik al eens een astrakan jas gezien, gepast en laten hangen. Ik kon best zonder die jas. In zijn land van herkomst, hier in een winkel of ook daar waar ik hem had gezien, in een tweedehands zaak? Vandaag ging ik naar de kringloopwinkel, eigenlijk op zoek naar gebakbordjes. De stapel bordjes is dit weekend flink kleiner geworden, er kan weer wat bij. Geen bordje of glas gevonden.

staalsmokehouse.co.uk

Staal Smokehouse, Order Online, Yorkshire Smokehouse

Staal Smokehouse, Order Online, Yorkshire Smokehouse. Staal Smokehouse, Order Online. Markets & Events. We are an exclusive, award winning, family run business dedicated to delivering the finest smoked products to your door. 20 – Breakfast Box. 50 – Mixed Box. Cold Smoked Wild Sea Trout. Ndash; £14.00. We will be at the following events, stop by and see us! Beverley Local Produce Market – Wednesday Market. August 19 @ 9:00 am. Humber Bridge Farmers Market. September 6 @ 9:00 am. September 16 @ 9:00 am.

staalsnijden.com

Your browser does not support frames.

staalsoft.net

SteelScript

Update May 12, 2012. I've created a simple proof assistant for proving theorems in propositional logic. Update Feb 18, 2012. I created a blog where I will post regularly. My first post is about defining semantics (with combinators) in F#. Update Nov 4, 2011. For research purposes, I've created a prototype for polynomial size analysis of a first-order functional language. Update Jul 13, 2011. I've created a small silverlight application that normalizes lambda terms, displaying a reduction graph. For demon...

staalspec.dk

Stålspecialist i Arre køber og sælger brugte værktøjsmaskiner, trucks og kraner samt stål og metal - Stålspecialisten

Stålspecialisten er en moderne handelsvirksomhed med et stort netværk og mange gode kontakter. Vi køber og sælger nye og brugte værktøjsmaskiner, overskudspartier, stål, metaller, pallereoler, trucks, kraner m.m. Ønsker du at stoppe virksomheden eller blot have ryddet op, er vi altid klar til en rask handel - også gerne en byttehandel. Vi handler altid med seriøse priser, kontant afregning og hurtig afvikling. Køb og salg af Udstyr. Læs mere om værktøjsmaskiner. Læs mere om fabriks-/ lagertømning.

staalspecials.com

Pieter Smit Media | www.staalspecials.com

Welkom op www.staalspecials.com.

staalspraak.com

Staalspraak

Websites: maintenance and content. Staalspraak is a company focused on language and communication. Learning languages (Dutch, French). Translations from English, French and Norwegian into Dutch. Marketing and Promotion activities. Staalspraak is a small company that can guarantee quality and flexibility. We work with enthusiasm, energy and perseverance in all of our projects. Click for more information in the menu on the left, or contact Staalspraak.

staalssoilandsod.com

Staals Soil and Sod

Thunder Bay, ON. T: 807.476.0625. F: 807.476.0333. WANT A NEW LAWN? We are you lawn replacement specialists. Call us today, and give us the opportunity to have your lawn replaced within a day! Thunder Bay, ON.

staalstra.com

Staalstra.com