Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?

Volume 78; Issue 9

Science of Computer Programming

Volume 78; Issue 9
3

Implementing monads for C++ template metaprograms

Sinkovics, Ábel, Porkoláb, Zoltán
Journal:
Science of Computer Programming
Année:
2013
Langue:
english
Fichier:
PDF, 423 KB
english, 2013
4

When intuition and logic clash: The case of the object-oriented paradigm

Hadar, Irit
Journal:
Science of Computer Programming
Année:
2013
Langue:
english
Fichier:
PDF, 505 KB
english, 2013
5

Abstract program slicing on dependence condition graphs

Halder, Raju, Cortesi, Agostino
Journal:
Science of Computer Programming
Année:
2013
Langue:
english
Fichier:
PDF, 604 KB
english, 2013
6

Recovering management information from source code

Kwiatkowski, Ł.M., Verhoef, C.
Journal:
Science of Computer Programming
Année:
2013
Langue:
english
Fichier:
PDF, 1.43 MB
english, 2013
7

Supporting change impact analysis for intelligent agent systems

Dam, Hoa Khanh, Ghose, Aditya
Journal:
Science of Computer Programming
Année:
2013
Langue:
english
Fichier:
PDF, 1.07 MB
english, 2013
8

Complete assertional proof rules for progress under weak and strong fairness

Hesselink, Wim H.
Journal:
Science of Computer Programming
Année:
2013
Langue:
english
Fichier:
PDF, 324 KB
english, 2013
9

Editorial

Bergstra, Jan
Journal:
Science of Computer Programming
Année:
2013
Langue:
english
Fichier:
PDF, 119 KB
english, 2013
12

Access-based abstract memory localization in static analysis

Oh, Hakjoo, Yi, Kwangkeun
Journal:
Science of Computer Programming
Année:
2013
Langue:
english
Fichier:
PDF, 817 KB
english, 2013
13

Mechanical verification of Lamport’s Bakery algorithm

Hesselink, Wim H.
Journal:
Science of Computer Programming
Année:
2013
Langue:
english
Fichier:
PDF, 460 KB
english, 2013
14

Measuring the significance of inconsistency in the Viewpoints framework

Mu, Kedian, Jin, Zhi, Liu, Weiru, Zowghi, Didar, Wei, Bo
Journal:
Science of Computer Programming
Année:
2013
Langue:
english
Fichier:
PDF, 784 KB
english, 2013
17

Modular and flexible causality control on the Web

Leger, Paul, Tanter, Éric, Douence, Rémi
Journal:
Science of Computer Programming
Année:
2013
Langue:
english
Fichier:
PDF, 1.05 MB
english, 2013
18

Heap space analysis for garbage collected languages

Albert, Elvira, Genaim, Samir, Gómez-Zamalloa, Miguel
Journal:
Science of Computer Programming
Année:
2013
Langue:
english
Fichier:
PDF, 374 KB
english, 2013
19

Predictive access control for distributed computation

Yang, Fan, Hankin, Chris, Nielson, Flemming, Nielson, Hanne Riis
Journal:
Science of Computer Programming
Année:
2013
Langue:
english
Fichier:
PDF, 288 KB
english, 2013
20

A weakest precondition calculus for BUnity

Aştefănoaei, L., de Boer, F.S., Dastani, M., Meyer, J.-J. Ch.
Journal:
Science of Computer Programming
Année:
2013
Langue:
english
Fichier:
PDF, 297 KB
english, 2013
21

Verification of quantum programs

Ying, Mingsheng, Yu, Nengkun, Feng, Yuan, Duan, Runyao
Journal:
Science of Computer Programming
Année:
2013
Langue:
english
Fichier:
PDF, 497 KB
english, 2013
22

Safe uniform proxies for Java

Eugster, Patrick
Journal:
Science of Computer Programming
Année:
2013
Langue:
english
Fichier:
PDF, 694 KB
english, 2013
24

The essential similarity and differences between mathematical modeling and programming

Berry, Daniel M.
Journal:
Science of Computer Programming
Année:
2013
Langue:
english
Fichier:
PDF, 173 KB
english, 2013
25

Emulating C++0x concepts

Sutton, Andrew, Maletic, Jonathan I.
Journal:
Science of Computer Programming
Année:
2013
Langue:
english
Fichier:
PDF, 293 KB
english, 2013
26

Modeling mobile stateful channels in Z

Poroor, Jayaraj, Jayaraman, Bharat
Journal:
Science of Computer Programming
Année:
2013
Langue:
english
Fichier:
PDF, 438 KB
english, 2013