Menu
  home new popular link to us
 
Syston Data Recovery Free
Voice Changer Software
Aml Pages Russian Version
inFlow Inventory Software Free Edition
RemoDNC
Restaurant Software Mobile
My BootDisk
Landlord Report-Property Management Software
AllMyNotes Organizer Portable
Corporate Barcode Software
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
Doxillion Plus Edition
Fast File Encryptor
CookBook+Calendar
DrawPad Graphic Editor Free for Mac
FoneLab
Fonelab for Android
FFTool Photo Recovery
Aryson VHD Recovery
Image resize - free script
JavaScript Pop-up box - free script
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
Quick Play Dvd
Immonitor Msn Messenger Spy
Environment Textures
Photoparade Player
Text Messaging Codes
Poket Pc
Philips Songbird Setup
File Protector For Android
Blothoas Breakthrough Software
Toshiba Wifi Hotspot Creator
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...