ENTCS 2007 | Sciweavers

8

ENTCS
2007

87views more ENTCS 2007»

Aspect-orientation For Revitalising Legacy Business Software

13 years 4 months ago

This paper relates on a ﬁrst attempt to see if aspect-oriented programming (AOP) and logic meta-programming (LMP) can help with the revitalisation of legacy business software. B...

Kris De Schutter, Bram Adams

claim paper

Read More »

6

click to vote

ENTCS
2007

77views more ENTCS 2007»

Software Evolution from the Field: An Experience Report from the Squeak Maintainers

13 years 4 months ago

Download marcusdenker.de

Marcus Denker, Stéphane Ducasse

claim paper

Read More »

7

click to vote

ENTCS
2007

113views more ENTCS 2007»

A Formalization of Strong Normalization for Simply-Typed Lambda-Calculus and System F

13 years 4 months ago

Download www.cs.bu.edu

We formalize in the logical framework ATS/LF a proof based on Tait’s method that establishes the simply-typed lambda-calculus being strongly normalizing. In malization, we emplo...

Kevin Donnelly, Hongwei Xi

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers