io-port.net

io-port 06098630 Tzevelekos, Nikos

Program equivalence in a simple language with state. (English)

Comput. Lang. Syst. Struct. 38, No. 2, 181-198 (2012).

1

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06098629 Nigam, Vivek; Jia, Limin; Loo, Boon Thau; Scedrov, Andre

Maintaining distributed logic programs incrementally. (English)

Comput. Lang. Syst. Struct. 38, No. 2, 158-180 (2012).

2

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06098628 Halder, Raju; Cortesi, Agostino

Abstract interpretation of database query languages. (English)

Comput. Lang. Syst. Struct. 38, No. 2, 123-157 (2012).

3

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06098627 English, Michael; Cahill, Tony; Buckley, Jim

Construct specific coupling measurement for C++ software. (English)

Comput. Lang. Syst. Struct. 38, No. 4, 300-319 (2012).

4

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06098626 Krizevnik, Marcel; Juric, Matjaz B.

Data-bound variables for WS-BPEL executable processes. (English)

Comput. Lang. Syst. Struct. 38, No. 4, 279-299 (2012).

5

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06098625 Koutavas, Vasileios; Hennessy, Matthew

First-order reasoning for higher-order concurrency. (English)

Comput. Lang. Syst. Struct. 38, No. 3, 242-277 (2012).

6

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06098624 De Lamadrid, James Gil; Zimmerman, Jill

Core FOBS: A hybrid functional and object-oriented language. (English)

Comput. Lang. Syst. Struct. 38, No. 3, 214-241 (2012).

7

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06098623 Barbosa, Jorge; Dillenburg, Fabiane; Lermen, Gustavo; Garzão, Alex; Costa, Cristiano; Rosa, João

Towards a programming model for context-aware applications. (English)

Comput. Lang. Syst. Struct. 38, No. 3, 199-213 (2012).

8

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06094854 Mondéjar, Rubén; García-López, Pedro; Fernández-Casado, Enrique; Pairot, Carles

TaKo: providing transparent collaboration on single-user applications. (English)

Comput. Lang. Syst. Struct. 38, No. 1, 108-121 (2012).

9

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06094853 Morris Chang, J.; Chen, Wei-Mei; Griffin, Paul A.; Cheng, Ho-Yuan

Cyclic reference counting by typed reference fields. (English)

Comput. Lang. Syst. Struct. 38, No. 1, 98-107 (2012).

10

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06094852 Reza, Juan Rolando

Java supervenience. (English)

Comput. Lang. Syst. Struct. 38, No. 1, 73-97 (2012).

11

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06094851 Perin, Fabrizio; Renggli, Lukas; Ressia, Jorge

Linguistic style checking with program checking tools. (English)

Comput. Lang. Syst. Struct. 38, No. 1, 61-72 (2012).

12

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06094850 Gómez, Verónica Uquillas; Ducasse, Stéphane; D’Hondt, Theo

Ring: a unifying meta-model and infrastructure for smalltalk source code analysis tools. (English)

Comput. Lang. Syst. Struct. 38, No. 1, 44-60 (2012).

13

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06094849 Fabresse, Luc; Bouraqadi, Noury; Dony, Christophe; Huchard, Marianne

A language to bridge the gap between component-based design and implementation. (English)

Comput. Lang. Syst. Struct. 38, No. 1, 29-43 (2012).

14

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06094848 Bergel, Alexandre; Bañados, Felipe; Robbes, Romain; Röthlisberger, David

{\sc Spy}: A flexible code profiling framework. (English)

Comput. Lang. Syst. Struct. 38, No. 1, 16-28 (2012).

15

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06094847 Martinez Peck, Mariano; Bouraqadi, Noury; Ducasse, Stéphane; Fabresse, Luc

Object swapping challenges: an evaluation of imageSegment. (English)

Comput. Lang. Syst. Struct. 38, No. 1, 1-15 (2012).

16

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05987051 Khan, Minhaj Ahmad

Improving performance through deep value profiling and specialization with code transformation. (English)

Comput. Lang. Syst. Struct. 37, No. 4, 193-203 (2011).

17

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05987050 Bergenti, F.; Chiarabini, L.; Rossi, G.

Programming with partially specified aggregates in Java. (English)

Comput. Lang. Syst. Struct. 37, No. 4, 178-192 (2011).

18

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05987049 Ozturk, Ozcan

Reducing memory space consumption through dataflow analysis. (English)

Comput. Lang. Syst. Struct. 37, No. 4, 168-177 (2011).

19

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05987048 Fister jun., Iztok; Fister, Iztok; Mernik, Marjan; Brest, Janez

Design and implementation of domain-specific language easytime. (English)

Comput. Lang. Syst. Struct. 37, No. 4, 151-167 (2011).

20

PDF XML AMS-TeX TEXT BIBTeX DOI