6740 search results - page 252 / 1348 » Using Classification as a Programming Language |
119
Voted
JAR
2010
15 years 26 days ago
2010
Abstract. In this paper we propose an effective procedure for translating a proof term of the Calculus of Inductive Constructions (CIC), which is very similar to a program written...
151
Voted
DLS
2010
15 years 13 days ago
2010
Dynamic mixin is a construct available in Ruby and other dynamic languages. It can be used as a base to implement a range of programming paradigms, such as dynamic aspectoriented ...
96
Voted
PLDI
2000
ACM
15 years 6 months ago
2000
ACM
We present a new limited form of interprocedural analysis called field analysis that can be used by a compiler to reduce the costs of modern language features such as objectorien...
100
Voted
JUCS
2007
15 years 2 months ago
2007
Abstract: Object-Oriented Action Semantics is a semantic framework for the definition of programming languages. The framework incorporates some object-oriented concepts to the Act...
226
Voted
POPL
2005
ACM
16 years 2 months ago
2005
ACM
We define compositional compilation as the ability to typecheck source code fragments in isolation, generate corresponding binaries, and link together fragments whose mutual assum...