1836 search results - page 290 / 368 » Hierarchies for semantic classes |
VL
1997
IEEE
15 years 2 months ago
1997
IEEE
The large number of programming languages in the world is a consequence of the broad spectrum of human preferences for different notational styles and semantic models, which depen...
VL
1994
IEEE
15 years 1 months ago
1994
IEEE
Employing diagrams in the UI causes problems that don't exist in so called Graphical User Interfaces. We are implementing a tool for generating editors for a certain class of...
FSTTCS
1993
Springer
15 years 1 months ago
1993
Springer
This paper will show the usefulness and elegance of strict intersection types for the Lambda Calculus; these are strict in the sense that they are the representatives of equivalen...
FTRTFT
1994
Springer
15 years 1 months ago
1994
Springer
We specify the black box behavior of dataflow components by characterizing the relation between their input and their output histories. We distinguish between three main classes of...
ICLP
1994
Springer
15 years 1 months ago
1994
Springer
Constructive negation has been proved to be a valid alternative to negation as failure, especially when negation is required to have, in a sense, an `active' role. In this pa...