Travelled to:
1 × Germany
1 × Italy
1 × Latvia
1 × United Kingdom
Collaborated with:
F.Turini G.Fiorentino A.Fabrizio C.Montangero T.Arndt A.Guercio G.Tortora A.F.Abate C.D'apolito G.Nota P.Asirelli P.Degano G.Levi A.Martelli U.Montanari F.Sirovich
Talks about:
program (2) symbol (2) spreadsheet (1) represent (1) interpret (1) typeless (1) softwar (1) problem (1) languag (1) flexibl (1)
Person: Giuliano Pacini
DBLP: Pacini:Giuliano
Contributed to:
Wrote 5 papers:
- ITiCSE-2004-PaciniFF #database #learning #problem #spreadsheet #tool support
- Learning problem solving with spreadsheet and database tools (GP, GF, AF), p. 267.
- SEKE-1994-ArndtGPT #execution #logic programming #source code #symbolic computation
- Symbolic execution of logic programs (TA, AG, GP, GT), pp. 414–421.
- SEKE-1992-AbateDNP #analysis #query #specification
- Querying and Analysis of Software Specifications (AFA, CD, GN, GP), pp. 470–478.
- ICSE-1979-AsirelliDLMMPST #development #flexibility #interpreter
- A Flexible Environment for Program Development Based on a Symbolic Interpreter (PA, PD, GL, AM, UM, GP, FS, FT), pp. 251–264.
- ICALP-1974-PaciniMT #graph #recursion #representation
- Graph Representation and Computation Rules for Typeless Recursive Languages (GP, CM, FT), pp. 157–169.