programming language

21

FLOPS
2010
Springer

312views Automated Reasoning» more FLOPS 2010»

Beluga: Programming with Dependent Types, Contextual Data, and Contexts

14 years 2 months ago

The logical framework LF provides an elegant foundation for specifying formal systems and proofs and it is used successfully in a wide range of applications such as certifying code...

Brigitte Pientka

claim paper

Read More »

28

click to vote

AOSD
2010
ACM

195views Software Engineering» more AOSD 2010»

Execution levels for aspect-oriented programming

14 years 2 months ago

Download www.dcc.uchile.cl

In aspect-oriented programming languages, advice evaluation is usually considered as part of the base program evaluation. This is also the case for certain pointcuts, such as if p...

Éric Tanter

claim paper

Read More »

0
posts

with
0
views

308profile views

cgzhangStudent, Msc

System Research Group, The University of Hong Kong

Homepage www.srg.cs.hku.hk

Cloud Computing | Computing Architecture | Distributed Computing | GPGPU | Green Computing | High Performance Computing | Large Scale Data Analysis | Operating System | Parallel Computing | Programming Language | Transactional Memory | Virtualization |

posted by cgzhang Apr 27 2010

Read More »

Sciweavers

Cloud Computing | Computing Architecture | Distributed Computing | GPGPU | Green Computing | High Performance Computing | Large Scale Data Analysis | Operating System | Parallel Computing | Programming Language | Transactional Memory | Virtualization |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers