6740 search results - page 552 / 1348 » Using Classification as a Programming Language |
125
click to vote
APSEC
1999
IEEE
15 years 9 months ago
1999
IEEE
The ability to treat code as data within a programming language is a powerful feature. Smalltalk introduces an object called a block that represents code as data. We propose a for...
137
click to vote
VL
1999
IEEE
15 years 9 months ago
1999
IEEE
We present new pragmatic constructs for easing programming in visual graph rewriting programming languages. The first is a modification to the rewriting process for nodes the host...
158
click to vote
CADE
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. Higher-order representation techniques allow elegant encodings of logics and programming languages in the logical framework LF, but unfortunately they are fundamentally i...
143
click to vote
POPL
1996
ACM
15 years 9 months ago
1996
ACM
Region Inference is a technique for implementing programming languages that are based on typed call-by-value lambda calculus, such as Standard ML. The mathematical runtime model o...
147
click to vote
ECOOP
1993
Springer
15 years 9 months ago
1993
Springer
Abstract. We have designed and implemented a type inference algorithm for the Self language. The algorithm can guarantee the safety and disambiguity of message sends, and provide u...