Volume 96

Science of Computer Programming

Volume 96
1

Improving refactoring tools in Smalltalk using static type inference

Unterholzner, Martin
Journal:
Science of Computer Programming
Year:
2014
Language:
english
File:
PDF, 298 KB
english, 2014
4

Model-based programming environments for spreadsheets

Cunha, Jácome, Mendes, Jorge, Saraiva, João, Visser, Joost
Journal:
Science of Computer Programming
Year:
2014
Language:
english
File:
PDF, 1.83 MB
english, 2014
7

Special issue on Automated Verification of Critical Systems (AVoCS'12)

Lüttgen, Gerald, Merz, Stephan
Journal:
Science of Computer Programming
Year:
2014
Language:
english
File:
PDF, 167 KB
english, 2014
8

Left recursion in Parsing Expression Grammars

Medeiros, Sérgio, Mascarenhas, Fabio, Ierusalimschy, Roberto
Journal:
Science of Computer Programming
Year:
2014
Language:
english
File:
PDF, 649 KB
english, 2014
9

The design and implementation of Object Grammars

van der Storm, Tijs, Cook, William R., Loh, Alex
Journal:
Science of Computer Programming
Year:
2014
Language:
english
File:
PDF, 1.54 MB
english, 2014
12

Smalltalk in a C world

Chisnall, David
Journal:
Science of Computer Programming
Year:
2014
Language:
english
File:
PDF, 655 KB
english, 2014
13

Bootstrapping reflective systems: The case of Pharo

Polito, G., Ducasse, S., Fabresse, L., Bouraqadi, N., van Ryseghem, B.
Journal:
Science of Computer Programming
Year:
2014
Language:
english
File:
PDF, 913 KB
english, 2014
14

Constructive polychronous systems

Talpin, Jean-Pierre, Brandt, Jens, Gemünde, Mike, Schneider, Klaus, Shukla, Sandeep
Journal:
Science of Computer Programming
Year:
2014
Language:
english
File:
PDF, 776 KB
english, 2014
16

Specification of temporal properties with OCL

Kanso, Bilal, Taha, Safouan
Journal:
Science of Computer Programming
Year:
2014
Language:
english
File:
PDF, 2.69 MB
english, 2014
17

On the integration of Smalltalk and Java

Hlopko, Marcel, Kurš, Jan, Vraný, Jan, Gittinger, Claus
Journal:
Science of Computer Programming
Year:
2014
Language:
english
File:
PDF, 812 KB
english, 2014
18

Verifiable source code documentation in controlled natural language

Kuhn, Tobias, Bergel, Alexandre
Journal:
Science of Computer Programming
Year:
2014
Language:
english
File:
PDF, 1.54 MB
english, 2014
21

Gradual typing for Smalltalk

Allende, Esteban, Callaú, Oscar, Fabry, Johan, Tanter, Éric, Denker, Marcus
Journal:
Science of Computer Programming
Year:
2014
Language:
english
File:
PDF, 868 KB
english, 2014
23

Attribute grammar macros

Viera, Marcos, Swierstra, S. Doaitse
Journal:
Science of Computer Programming
Year:
2014
Language:
english
File:
PDF, 858 KB
english, 2014
26

Software language engineering (SLE '12)

Czarnecki, Krzysztof, Hedin, Görel
Journal:
Science of Computer Programming
Year:
2014
Language:
english
File:
PDF, 116 KB
english, 2014
29

Preface to the special issue on advances in Smalltalk based systems

Lagadec, Loïc, Plantec, Alain
Journal:
Science of Computer Programming
Year:
2014
Language:
english
File:
PDF, 167 KB
english, 2014