2004 search results - page 262 / 401 » Interaction nets: programming language design and implementa... |
157
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
Wikis are popular collaborative hypertext authoring environments, but they neither support structured access nor information reuse. Adding semantic annotations helps to address th...
179
click to vote
SCP
1998
15 years 5 months ago
1998
The Gamma language is based on the chemical reaction metaphor which has a number of benefits with respect to parallelism and program derivation. But the original definition of G...
156
click to vote
ICALT
2006
IEEE
16 years 8 days ago
2006
IEEE
Teachers working in robotics classes face a major problem: how to keep track on individual students’ or even small groups’ progress in a class of 30-40 students. An agency app...
151
click to vote
ECBS
2006
IEEE
16 years 9 days ago
2006
IEEE
For complex systems that are reusing intellectual property components, functional and compositional design correctness are an important part of the design process. Common system l...
172
click to vote
TACAS
2000
Springer
15 years 9 months ago
2000
Springer
This note describes Proof General, a tool for developing machine proofs with an interactive proof assistant. Interaction is based around a proof script, which is the target of a pr...