Sciweavers

525 search results - page 63 / 105
» Static Interpretation of Modules
Sort
View
ISDO
2000
194views Business» more  ISDO 2000»
14 years 11 months ago
Contract-Based Transaction Management in Cross-Organizational Workflow Management
Cross-organizational workflow management is an essential ingredient for process integration in virtual enterprises. To obtain cross-organizational workflow processes with robust s...
Paul W. P. J. Grefen
ENTCS
2002
78views more  ENTCS 2002»
14 years 9 months ago
Towards ANSI C Program Slicing using XML
In this paper, we consider ANSI C program slicing using XML (Extensible Markup Language). Our goal is to build a flexible, useful and uniform data interchange format for CASE tool...
Katsuhiko Gondow, Hayato Kawashima
LPAR
2004
Springer
15 years 3 months ago
Abstraction-Carrying Code
ion-Carrying Code Elvira Albert1 , Germ´an Puebla2 , and Manuel Hermenegildo2,3 1 DSIP, Universidad Complutense Madrid 2 Facultad de Inform´atica, Technical University of Madrid ...
Elvira Albert, Germán Puebla, Manuel V. Her...

Book
246views
16 years 7 months ago
Using, Understanding, and Unraveling The OCaml Language
"These course notes are addressed to a wide audience of people interested in modern programming languages in general, ML-like languages in particular, or simply in OCaml, whet...
Didier Remy
EUROMICRO
2009
IEEE
15 years 4 months ago
Developing Adaptable Components Using Dynamic Languages
— The usage of dynamic languages is increasing among developers. As components are static entities, the usage of scripting languages, which are usually dynamically typed and inte...
Didier Donsez, Kiev Gama, Walter Rudametkin