2482 search results - page 201 / 497 » Characterizing Programming Systems Allowing Program Self-ref... |
113
click to vote
MICRO
1992
IEEE
15 years 6 months ago
1992
IEEE
This paper describes a single chip Multiple Instruction Stream Computer (MISC) capable of extracting instruction level parallelism from a broad spectrum of programs. The MISC arch...
150
Voted
TOOLS
1992
IEEE
15 years 6 months ago
1992
IEEE
This paper describes an Ei el system for rapid testing of grammars. Grammars are de ned in an extended BNF notation that allows actions on the parse tree nodes to be de ned as add...
101
click to vote
LICS
1989
IEEE
15 years 6 months ago
1989
IEEE
A refutation mechanism is introduced into logic programming, dual to the usual proof mechanism; then negation is treated via refutation. A four-valued logic is appropriate for the...
105
Voted
ATAL
2006
Springer
15 years 6 months ago
2006
Springer
The Component Agent Framework for domain-Experts (CAFnE) toolkit is an extension to the Prometheus Design Tool (PDT). It uses the detailed design produced by PDT with further anno...
105
click to vote
ESOP
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. We describe a low-level calculus, called ink (pronounced "links"), designed to serve as an intermediate representation in compilers for class-based objectorient...