203 search results - page 14 / 41 » A New Notation for Arrows |
DATE
1998
IEEE
13 years 12 months ago
1998
IEEE
Attribute grammars have been used extensively in every phase of traditional compiler construction. Recently, it has been shown that they can also be effectively adopted to handle ...
KBSE
1997
IEEE
13 years 12 months ago
1997
IEEE
There are a number of competing component models in use today. Most are language-independent, but also platform-dependent and not designed to support a tool-based development para...
VL
1990
IEEE
13 years 11 months ago
1990
IEEE
This paper describes a new approach to specifying graphical layouts of arbitrary objects, which is based on a TEXlike notation. Our simplest scheme offers specifications similar t...
JAR
2007
13 years 7 months ago
2007
Matita is a new, document-centric, tactic-based interactive theorem prover. This paper focuses on some of the distinctive features of the user interaction with Matita, characterize...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
After two decades of repository development, some conclusions may be drawn as to which type of repository and what kind of service best supports digital scholarly communication, a...