Sciweavers

1185 search results - page 36 / 237
» Implementing Functional Languages: a tutorial
Sort
View
ICFP
2002
ACM
15 years 9 months ago
Packrat parsing: : simple, powerful, lazy, linear time, functional pearl
Packrat parsing is a novel technique for implementing parsers in a lazy functional programming language. A packrat parser provides the power and flexibility of top-down parsing wi...
Bryan Ford
ATAL
2010
Springer
14 years 10 months ago
Developing high-level cognitive functions for service robots
The primary target of this work is human-robot collaboration, especially for service robots in complicated application scenarios. Three assumptions and four requirements are ident...
Xiaoping Chen, Jianmin Ji, Jiehui Jiang, Guoqiang ...
86
Voted
CAV
2010
Springer
154views Hardware» more  CAV 2010»
15 years 1 months ago
Verifying Low-Level Implementations of High-Level Datatypes
For efficiency and portability, network packet processing code is typically written in low-level languages and makes use of bit-level operations to compactly represent data. Althou...
Christopher L. Conway, Clark Barrett
FROCOS
2000
Springer
15 years 1 months ago
Compiling Multi-Paradigm Declarative Programs into Prolog
This paper describes a high-level implementation of the concurrent constraint functional logic language Curry. The implementation, directed by the lazy pattern matching strategy of...
Sergio Antoy, Michael Hanus
ITS
2010
Springer
159views Multimedia» more  ITS 2010»
15 years 2 months ago
Optimizing Story-Based Learning: An Investigation of Student Narrative Profiles
Narrative-centered learning environments offer significant potential for creating effective learning experiences in which students actively participate in engaging story-based prob...
Seung Y. Lee, Bradford W. Mott, James C. Lester