10935 search results - page 2051 / 2187 » Neural Programming Language |
128
Voted
PEPM
1998
ACM
15 years 5 months ago
1998
ACM
Abstract. We use a code generator--type-directed partial evaluation-to verify conversions between isomorphic types, or more precisely to verify that a composite function is the ide...
HT
1997
ACM
15 years 5 months ago
1997
ACM
The hypermedia field has long realized the need for firstructural abstractions. However, we have failed to generalize the concept of ubiquitous structure management to problem dom...
129
click to vote
APSEC
1996
IEEE
15 years 5 months ago
1996
IEEE
Explosive increase in end-user computing on distributed systems requires that end-users develop application software by themselves. One solution is given as aformula of "adom...
108
click to vote
ICDT
1997
ACM
15 years 5 months ago
1997
ACM
Abstract Method invocation mechanism is one of the essential features in objectoriented programming languages. This mechanism contributes to data encapsulation and code reuse, but ...
117
click to vote
SIGMOD
1996
ACM
15 years 5 months ago
1996
ACM
Object-Relational and Object-Oriented DBMSs allow users to invoke time-consuming ("expensive") methods in their queries. When queries containing these expensive methods a...