Menu
  home new popular link to us
 
Syston Data Recovery Free
Aml Pages Russian Version
Voice Changer Software
RemoDNC
inFlow Inventory Software Free Edition
Restaurant Software Mobile
Landlord Report-Property Management Software
Corporate Barcode Software
My BootDisk
Follow Adder Instagram Marketing Tool
Others
Quick Guide to English Verbs
Satellite Antenna Alignment
Mimosa Scheduling Software
SLAE Solver
Cisco CCNA Exam Simulator
QUIZ
Zebradoc DjVu Converter
Alphabet Flash Cards
BibleDatabase
AutoTest - driving theory practice
The Reverse Experience
Efficcess Free Portable
Advanced Task Scheduler Professional
Pirate Desire
VX Search Pro
Just Color Picker
Action1 Running Process Explorer
Visual Integration Processor VIP
Monstune for Mac
DVDmate
Others
Divider
Windows Grep Command
Any EBook Converter Free
HomeBank
TS School
FSS ePub Reader
Book Writer
The Golfer's Diary
HIPAA Training Program
ePub to PDF
Indows Xp Ddk
Fun Medical Careers
Fast Folder
Desktop Big Clocks
Qrcode Jar
Ashleigh Banfield
Desert Blitz Bot Downloads
Client Services For Netware
Pichure Dress Change Software
Internet Activity Spy
Add Url To Search Engines
Download Php Forum Script
Wordpress Comment Automator
Free Php Forum
Php Forum Script
Free Php Forum Script
Article Directory Script
Powered By Xmb
Dvd To Avi Help
Http Proxy List
Archangel Gabriel
Archangels
Arthritis
Avril Lavigne
Backpage
Barcharts
Browsershots
Dminor-0.1
No screenshot
  Advertisement



  Advertisement

Dminor-0.1 0.1


Dminor is a first-order functional language with the novel combination of the ideas of refinement type and type-test.


LicenseFreeware (Free)Date Added03/02/2013
PriceUSD $0.00CategoryEducation / Others
Filesize4.6 MBAuthorMicrosoft Research

Dminor is a first-order functional language with the novel combination of the ideas of refinement type and type-test. It can express a rich variety of typing idioms and has a novel type-checking algorithm able to eliminate many dynamic tests and to detect many errors statically. The type checker uses an SMT Solver to compute subtyping efficiently.

Platform:Windows

System Requirements: There is no specific requirements


User Reviews for Dminor-0.1
Name *
Review *
User Rating *
1=poor                    5=excellent
Verification Code *   Captcha verification code  

 
Dminor-0.1 Related Software
Education / Others Popular Software
OrariOrari - Basta un click e dopo qualche minuto viene risolto un problema che affligge per giorni le scuole, le universita' e gli istituti privati italiani: la creazione degli orari.Basta un click e dopo qualche minuto viene risolto un problema che affligge...
SLAE SolverSLAE Solver - SLAE SOLVER allows to find on a personal computer high accuracy solutionsSLAE SOLVER allows to find on a personal computer high accuracy solutions of linear algebraic systems with N equations, where N may reach hundreds or thousands
I Want To Play GuitarI Want To Play Guitar - I Want To Play Guitar is a unique new way to learn the guitar - it's the next best thing to having a personal tutor right there in your living room!I Want To Play Guitar is a unique new way to learn the guitar - it's the next best thing to having...
Alphabet Flash CardsAlphabet Flash Cards - Learning the alphabet can be confusing to toddlers.Learning the alphabet can be confusing to toddlers. Alphabet Flash Cards helps parents teach the alphabet to their children by removing all unnecessary distractions and by focusing on the main...
Quick Guide to English VerbsQuick Guide to English Verbs - Free English4Today studyGuide: Guide to English language verbs and tenses with optional online support materials and exercises. Part of a series of free studyGuides developed by English4Today.com for school, college,university and EFL...
More Others downloads at 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
Other software of "MICROSOFT RESEARCH23"
BSGPBSGP - Bulk-Synchronous GPU Programming Compiler This is a compiler for the Bulk-Synchronous GPU Programming (BSGP) language.Bulk-Synchronous GPU Programming Compiler This is a compiler for the Bulk-Synchronous GPU Programming (BSGP) language. BSGP is...
Diff-IE Internet Explorer Add-onDiff-IE Internet Explorer Add-on - Diff-IE is a prototype Internet Explorer add-on that highlights the changes to a page since the last time you visited it and enables you to view and compare previously cached versions of the page.Diff-IE is a prototype Internet Explorer add-on...
Digital Effects for MSN MessengerDigital Effects for MSN Messenger - Digital Effects was developed to be a plug-in for MSN Messenger video chatting, produces special effects for video communication.Digital Effects was developed to be a plug-in for MSN Messenger video chatting, produces special effects for video...
Disease Model SimulatorDisease Model Simulator - This tool enables a user to investigate the theoretical disease model used in the paper “Host-pathogen time series data in wildlife support a transmission function between density and frequency dependence” by Matthew J.This tool...
GroupBarGroupBar - GroupBar is a prototype for demonstrating the use of window-grouping features in an XP TaskBar-like interface.GroupBar is a prototype for demonstrating the use of window-grouping features in an XP TaskBar-like interface. The window tiles in the...