Inventor
MITCHELL CHARLES L
US8 patents
⚠️ This page may combine multiple inventors who share the name “MITCHELL CHARLES L”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.
MICROSOFT CORP
4 patentsUS7146606B2Dec 5, 2006
General purpose intermediate representation of software for software development tools
MICROSOFT CORP60 citations95
US7707566B2Apr 27, 2010
Software development infrastructure
MICROSOFT CORP40 citations90
US7305666B2Dec 4, 2007
Description language for an extensible compiler and tools infrastructure
MICROSOFT CORP51 citations90
US6374368B1Apr 16, 2002
Weakest precondition analysis
MICROSOFT CORP23 citations90