Back to Results
First PageMeta Content
Type theory / Object-oriented programming / Data types / Cross-platform software / Polymorphism / Type system / Object / Subtype polymorphism / Type inference / Software engineering / Computing / Computer programming


CALCULEMUSMining Maple Code for Contracts Jacques Carette 1 Stephen Forrest 2 Computing and Software McMaster University
Add to Reading List

Document Date: 2006-09-07 12:33:54

Open Document

File Size: 134,53 KB

Share Result on Facebook

Company

ASSIGNEDNAME / /

/

Facility

Maple library / Maple’s library / /

IndustryTerm

i.e. function applications / reflection tools / main requirements analysis tool / type systems / main data-mining results / call site / /

Organization

McMaster University / /

Person

Jacques Carette / /

/

Position

guard / /

ProgrammingLanguage

Haskell / /

ProvinceOrState

Oregon / Ontario / /

PublishedMedium

the Advanced Programming Guide / /

Technology

functional programming / /

URL

www.elsevier.nl/locate/entcs / /

SocialTag