102 search results - page 21 / 21 » A Sound Polymorphic Type System for a Dialect of C |
FMCAD
2006
Springer
13 years 11 months ago
2006
Springer
We describe a link between the ACL2 and HOL mechanical proof assistants that enables the strengths of each system to be deployed smoothly within a single formal development. Severa...
LLC
2011
13 years 2 months ago
2011
Speech carries both linguistic content – phonemes, words, sentences – and talker information, sometimes called ‘indexical information’. While talker variability materially...