1715 search results - page 215 / 343 » How Space Structures Language |
133
click to vote
ICFP
2010
ACM
15 years 4 months ago
2010
ACM
' abstraction theorem shows how a typing judgement in System F can be translated into a relational statement (in second order predicate logic) about inhabitants of the type. ...
106
click to vote
ENGL
2008
15 years 3 months ago
2008
With the advent of System-On-Chip (SOC) technology, there is a pressing need to enhance the quality of ools available and increase the level of abstraction at which hardware is des...
129
click to vote
IFIP
2010
Springer
14 years 10 months ago
2010
Springer
This manuscript addresses the creation of scenario-based models to reason about the behavior of existing industrial information systems. In our approach the system behavior is mode...
218
click to vote
FORTE
2011
14 years 6 months ago
2011
Abstract. Data centric languages, such as recursive rule based languages, have been proposed to program distributed applications over networks. They simplify greatly the code, whic...
118
click to vote
IUI
2011
ACM
14 years 6 months ago
2011
ACM
Learning a foreign language is a long, error-prone process, and much of a learner’s time is effectively spent studying vocabulary. Many errors occur because words are only partl...