5415 search results - page 721 / 1083 » The Implementation of Functional Programming Languages |
217
click to vote
FOSSACS
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. We show how to generate well-founded and stable term orderings based on polynomial interpretations over the real numbers. Monotonicity (another usual requirement in termi...
170
click to vote
CDES
2008
15 years 8 months ago
2008
- The Cell Matrix Architecture is a massive array of dynamically self-configurable, uniformly connected, identical computational units. This architecture can enable efficient, prac...
247
click to vote
PROCEDIA
2010
15 years 5 months ago
2010
We describe a new course designed to introduce engineering students to computational thinking. One of the most significant challenges in teaching an introductory-level applied co...
193
click to vote
TCS
2011
15 years 1 months ago
2011
New, simple, proofs of soundness (every representable function lies in a given complexity class) for Elementary Affine Logic, LFPL and Soft Affine Logic are presented. The proofs ...
165
click to vote
ATAL
2010
Springer
15 years 8 months ago
2010
Springer
An organizational modeling language can be used to specify an agent organization in terms of its roles, organizational structure, norms, etc. Such an organizational specification ...