Sciweavers

10575 search results - page 391 / 2115
» T2Script Programming Language
Sort
View
MICS
2008
108views more  MICS 2008»
15 years 5 months ago
Efficient Intensional Implementation for Lazy Functional Languages
The intensional transformation is a technique that can be used in order to eliminate higher-order functions from a functional program by introducing appropriate context manipulatio...
Angelos Charalambidis, Athanasios Grivas, Nikolaos...
FM
2003
Springer
88views Formal Methods» more  FM 2003»
15 years 10 months ago
A Semantic Foundation for TCOZ in Unifying Theories of Programming
Abstract. UnifyingTheoriesofProgramming(UTP)canprovideaformalsemantic foundation not only for programming languages but also for more expressive specification languages. We believ...
Shengchao Qin, Jin Song Dong, Wei-Ngan Chin

Book
454views
17 years 3 months ago
An Introduction to GCC
"This manual provides an introduction to the GNU C and C++ Compilers, gcc and g++, which are part of the GNU Compiler Collection (GCC)."
Brian Gough
PADL
2007
Springer
15 years 11 months ago
Partial Evaluation of Pointcuts
Abstract. In aspect-oriented programming, pointcuts are usually compiled by identifying a set of shadows — that is, places in the code whose execution is potentially relevant for...
Karl Klose, Klaus Ostermann, Michael Leuschel
SCAM
2008
IEEE
15 years 11 months ago
Using Program Transformations to Add Structure to a Legacy Data Model
An appropriate translation of the data model is central to any language migration effort. Finding a mapping between original and target data models may be challenging for legacy l...
Mariano Ceccato, Thomas Roy Dean, Paolo Tonella