Sciweavers

10622 search results - page 414 / 2125
» Python Programming Language
Sort
View
156
Voted
XIMEP
2006
ACM
161views Database» more  XIMEP 2006»
15 years 11 months ago
Programming with XQuery
XQuery is a declarative language for querying and updating XML data sources. Interfacing XQuery to a host programming language is difficult because of the type system mismatch, an...
Donald D. Chamberlin, Michael J. Carey, Daniela Fl...
101
Voted
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