2004 search results - page 173 / 401 » Interaction nets: programming language design and implementa... |
163
click to vote
LISP
2002
15 years 6 months ago
2002
Program termination verification is a challenging research subject of significant practical importance. While there is already a rich body of literature on this subject, it is sti...
145
click to vote
COLING
1996
15 years 7 months ago
1996
We. are going to describe the design and implementatior, of a connnuniealion system l.or large AI projects, capable of supporting various software components in a heterogeneous ha...
147
click to vote
ITICSE
2004
ACM
15 years 12 months ago
2004
ACM
Keeping students alert and responsive during lectures is a challenge even for experienced teachers in small group settings. Research has shown the importance of student participat...
260
click to vote
VL
2010
IEEE
15 years 4 months ago
2010
IEEE
Many dynamic programming language features, such as implicit declaration, reflection, and code generation, make it difficult to verify the existence of identifiers through standar...
181
click to vote
GI
1997
Springer
15 years 10 months ago
1997
Springer
Object-Gofer is a small, practical extension of the functional programming language Gofer incorporating the following ideas from the object-oriented community: objects and toplevel...