Sciweavers

Sketching is a software synthesis approach where the programmer develops a partial implementation — a sketch — and a separate speciﬁcation of the desired functionality. The ...

Armando Solar-Lezama, Liviu Tancau, Rastislav Bod&...

claim paper

Read More »

182

click to vote

POPL
2006
ACM

253views Programming Languages» more POPL 2006»

Decidability and proof systems for language-based noninterference relations

15 years 9 months ago

Download web.it.kth.se

Noninterference is the basic semantical condition used to account for confidentiality and integrity-related properties in programming languages. There appears to be an at least im...

Mads Dam

claim paper

Read More »

103

click to vote

EUROPLOP
2006

247views Programming Languages» more EUROPLOP 2006»

Business Logic in the Presentation Layer - Design Patterns on the Implementation of Business Logic on the Client-Side

14 years 10 months ago

Download www.tim-wellhausen.de

Abstract: As a general rule of thumb, business logic in a multi-layered information system should be implemented in a dedicated domain layer and be separated from the presentation ...

Tim Wellhausen

claim paper

Read More »

click to vote

ECOOP
2006
Springer

219views Programming Languages» more ECOOP 2006»

An Aspect-Oriented Adaptation Framework for Dynamic Component Evolution

15 years 17 days ago

Download www.lcc.uma.es

This paper briefly describes the design of a dynamic adaptation management framework exploiting the concepts provided by Aspect-Oriented Software Development (AOSD) -in particular ...

Javier Cámara, Carlos Canal, Javier Cubo, J...

claim paper

Read More »

Artificial Intelligence