Travelled to:1 × Israel
1 × Sweden
4 × USA
Collaborated with:C.Moiso E.Giovannetti C.Cecchi G.Martini G.Giandonato M.Porta G.Sofi G.Levi C.Palamidessi
Talks about:logic (4) function (3) languag (2) semant (2) ideal (2) tina (2) architectur (1) programmin (1) distribut (1) character (1)
Person: Pier Giorgio Bosco
DBLP: Bosco:Pier_Giorgio
Contributed to:
1997
19901988198719861984
1987Wrote 7 papers:
- ICSE-1997-BoscoMM #generative #specification
- TINA ACE: An Environment for Specifying, Developing and Generating TINA Services (PGB, GM, CM), pp. 620–621.
- CLP-1990-BoscoCMPS90 #architecture #distributed #functional #logic #memory management
- Logic and Functional Programmin on Distributed Memory Architectures (PGB, CC, CM, MP, GS), pp. 325–339.
- JICSCP-1988-BoscoCM88 #functional #logic #power of #programming
- Exploiting the Full Power of Logic Plus Functional Programming (PGB, CC, CM), pp. 3–17.
- SLP-1987-LeviPBGM87 #logic #semantics
- A Complete Semantic Characterization of K-Leaf: A Logic Language with Partial Functions (GL, CP, PGB, EG, CM), pp. 318–327.
- SLP-1986-BoscoG86 #deduction #named
- IDEAL: An Ideal Deductive Applicative Language (PGB, EG), pp. 89–94.
- ILPC-1984-BoscoGG84 #concurrent #logic #process #prolog #specification #verification
- A Prolog System for the Verification of Concurrent Processes Against Temporal Logic Specifications (PGB, GG, EG), pp. 219–229.
- CFLP-1987-BoscoGM #semantics #unification
- Refined Strategies for Semantic Unification (PGB, EG, CM), pp. 276–290.