4008 search results - page 323 / 802 » An expressive language of signatures |
158
click to vote
ICLP
1994
Springer
15 years 11 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...
173
click to vote
FDL
2007
IEEE
15 years 10 months ago
2007
IEEE
Functional validation of microprocessors is growing in complexity in current and future microprocessors. The informal specification document from which the various collaterals are ...
156
click to vote
ESOP
2004
Springer
15 years 10 months ago
2004
Springer
Environment classifiers were proposed as a new approach to typing multi-stage languages. Safety was established in the simply-typed and let-polymorphic settings. While the motivati...
178
click to vote
ESOP
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Linear type systems allow destructive operations such as object deallocation and imperative updates of functional data structures. These operations and others, such as th...
153
click to vote
OOPSLA
1987
Springer
15 years 10 months ago
1987
Springer
SELF is an object-oriented language for exploratory programming based on a small number of simple and concrete ideas: prototypes, slots, and behavior. Prototypes combine inheritanc...