325 search results - page 46 / 65 » MIX Is Not a Tree-Adjoining Language |
AAAI
2004
14 years 11 months ago
2004
Simulation-based training is increasingly being used within the military to practice and develop the skills of successful soldiers. For the skills associated with successful milit...
ASSETS
2010
ACM
14 years 10 months ago
2010
ACM
After a stroke or brain injury, it may be more difficult to understand language and communicate with others. Speechlanguage therapy may help an individual regain language and cope...
ICSE
2011
IEEE-ACM
14 years 1 months ago
2011
IEEE-ACM
We present a unified environment for running declarative specifications in the context of an imperative object-oriented programming language. Specifications are Alloy-like, wri...
ICFP
2007
ACM
15 years 9 months ago
2007
ACM
MashMaker is a web-based tool that makes it easy for a normal user to create web mashups by browsing around, without needing to type, or plan in advance what they want to do. Like...
POPL
2010
ACM
15 years 7 months ago
2010
ACM
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...