MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Roberto Giacobazzi" – sorted by Relevance.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 50 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Non-Standard Semantics for Program Slicing  
  • by Roberto Giacobazzi, Isabella Mastroeni — 2003 — Special issue on Partial Evalution and Semantics-Based Program Manipulation
  • …Non-standard semantics for program slicing Roberto Giacobazzi and Isabella Mastroeni Dipartimento…
  • Cited by 5 (1 self)Add To MetaCart
  • Intuitionistic Implication in Abstract interpretation  
  • by Roberto Giacobazzi, Francesca Scozzari — 1997 — Proceedings of Ninth International Symposium on Programming Languages, Implementations, Logics and Programs PLILP'97, volume 1292 of Lecture Notes in Computer Science
  • … Intuitionistic Implication in Abstract Interpretation Roberto Giacobazzi Francesca Scozzari…
  • Cited by 9 (3 self)Add To MetaCart
  • Compositionality in the Puzzle of Semantics  
  • by Roberto Giacobazzi, Isabella Mastroeni — 2002 — In: Proc. of the ACM SIGPLAN Symp. on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'02
  • …ABSTRACT Compositionality in the puzzle of semantics Roberto Giacobazzi Dipartimento di…
  • Cited by 3 (1 self)Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB