Programming Journal, Volume 10, Issue 2
The Art, Science, and Engineering of Programming
Powered by
Conference Publishing Consulting

PROGJB – Journal Issue

Contents - Abstracts - Authors

Frontmatter

Title Page
Editorial Message
Sponsors

Papers

Generating Inputs for Grammar Mining using Dynamic Symbolic Execution
Andreas Pointner, Josef Pichler, and Herbert Prähofer
(University of Applied Sciences Upper Austria, Austria; Johannes Kepler University Linz, Austria)
If-T: A Benchmark for Type Narrowing
Hanwen Guo and Ben Greenman
(University of Utah, USA)
Published Artifact Artifact Available v2.0 Artifact Supports Claims v2.0
A Type System for Data Privacy Compliance in Active Object Languages
Chinmayi Prabhu Baramashetru, Paola Giannini, Silvia Lizeth Tapia Tarifa, and Olaf Owe
(University of Oslo, Norway; Universita' del Piemonte Orientale, Italy)

proc time: 1.16