Sciweavers

3323 search results - page 366 / 665
» Computational Semantics with Functional Programming
Sort
View
SCESM
2006
ACM
239views Algorithms» more  SCESM 2006»
16 years 19 days ago
Aspect-oriented software design with a variant of UML/STD
The notion of aspect is important as a systematic approach to the representation of cross-cutting concerns and the incremental additions of new functionalities to an existing syst...
Shin Nakajima, Tetsuo Tamai
QSIC
2005
IEEE
16 years 7 days ago
Proving the Safety of SQL Queries
Many programs need to access data in a relational database. This is usually done by means of queries written in SQL. Although the language SQL is declarative, certain runtime erro...
Stefan Brass, Christian Goldberg
LPAR
2005
Springer
16 years 5 days ago
Disjunctive Constraint Lambda Calculi
Abstract. Earlier we introduced Constraint Lambda Calculi which integrate constraint solving with functional programming for the simple case where the constraint solver produces no...
Matthias M. Hölzl, John N. Crossley
OOPSLA
2005
Springer
16 years 5 days ago
Pluggable AOP: designing aspect mechanisms for third-party composition
Studies of Aspect-Oriented Programming (AOP) usually focus on a language in which a specific aspect extension is integrated with a base language. Languages specified in this man...
Sergei Kojarski, David H. Lorenz
156
Voted
CC
2001
Springer
131views System Software» more  CC 2001»
15 years 11 months ago
Compiler Transformation of Pointers to Explicit Array Accesses in DSP Applications
Abstract. Efficient implementation of DSP applications are critical for embedded systems. However, current applications written in C, make extensive use of pointer arithmetic maki...
Björn Franke, Michael F. P. O'Boyle