Search the dblp DataBase

Publications of Author

1. Jorge Sousa Pinto
   Sequential and Concurrent Abstract Machines for Interaction Nets. [Citation Graph (0, 0)][DBLP]
   FoSSaCS, 2000, pp:267-282 [Conf]
   
2. Alcino Cunha, Jorge Sousa Pinto, José Proença
   A Framework for Point-Free Program Transformation. [Citation Graph (0, 0)][DBLP]
   IFL, 2005, pp:1-18 [Conf]
   
3. Jorge Sousa Pinto
   Parallel Evaluation of Interaction Nets with MPINE. [Citation Graph (0, 0)][DBLP]
   RTA, 2001, pp:353-356 [Conf]
   
4. Jorge Sousa Pinto
   Parallel Implementation Models for the lambda-Calculus Using the Geometry of Interaction. [Citation Graph (0, 0)][DBLP]
   TLCA, 2001, pp:385-399 [Conf]
   
5. Jorge Sousa Pinto
   Weak reduction and garbage collection in interaction nets. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:86, n:4, pp:- [Journal]
   
6. José Bacelar Almeida, Jorge Sousa Pinto, Miguel Vilaça
   A Local Graph-rewriting System for Deciding Equality in Sum-product Theories. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:176, n:1, pp:139-163 [Journal]
   
7. Alcino Cunha, Jorge Sousa Pinto
   Point-free Program Transformation. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2005, v:66, n:4, pp:315-352 [Journal]
   
8. Ian Mackie, Jorge Sousa Pinto
   Encoding Linear Logic with Interaction Combinators. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 2002, v:176, n:2, pp:153-186 [Journal]
   
9. Manuel Barbosa, Alcino Cunha, Jorge Sousa Pinto
   Recursion patterns and time-analysis. [Citation Graph (0, 0)][DBLP]
   SIGPLAN Notices, 2005, v:40, n:5, pp:45-54 [Journal]
   
10. 
    Program Verification in SPARK and ACSL: A Comparative Case Study. [Citation Graph (, )][DBLP]
    
    
11. 
    Visual Programming with Interaction Nets. [Citation Graph (, )][DBLP]
    
    
12. 
    Contract-Based Slicing Helps on Safety Reuse. [Citation Graph (, )][DBLP]
    
    
13. 
    Using Internet technology for course support. [Citation Graph (, )][DBLP]
    
    
14. 
    Verifying Cryptographic Software Correctness with Respect to Reference Implementations. [Citation Graph (, )][DBLP]
    
    
15. 
    Deriving Sorting Algorithms [Citation Graph (, )][DBLP]
    
    
16. 
    Lissom, a Source Level Proof Carrying Code Platform [Citation Graph (, )][DBLP]
    
    
17. 
    Iterators, Recursors and Interaction Nets [Citation Graph (, )][DBLP]
    
    
18. 
    A Higher-Order Calculus for Graph Transformation. [Citation Graph (, )][DBLP]
    
    
19. 
    Token-passing Nets for Functional Languages. [Citation Graph (, )][DBLP]
    
    
20. 
    A Tool for Programming with Interaction Nets. [Citation Graph (, )][DBLP]