Santiago Escobar Roman  Home/Search
Context
Related
| dsic.upv.es/users/...cobarthesis.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: dsic.upv.es/users/elp/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Computer systems play an important role in the modern information society. However, the low quality of software and its low level of abstraction, inhibit the necessary confidence of final users and system developers in software engineering. Correctness of computer programs by a mathematical theory of computation is the fundamental concern of the theory of programming and of its application in large-scale software engineering. Formal methods provide software engineering with the suitable... (Update)
Similar documents based on text: More All
0.7: Compositional Analysis for - Programs (Correct)
0.6: Narrowing Approximations as an Optimization - For Equational Logic (Correct)
0.5: A Compositional Semantics for - Conditional Term Rewriting (Correct)
BibTeX entry: (Update)
@misc{ roman-strategies,
author = "Santiago Escobar Roman",
title = "Strategies and Analysis Techniques for Functional Program Optimization",
url = "citeseer.ist.psu.edu/escobarroman03strategies.html" }
Citations not processed or no citations identified.
Documents on the same site (http://www.dsic.upv.es/users/elp/papers.html): More
SYNTH User's Manual - Alpuente, Ferri, Vidal, Moreno, al. (1999) (Correct)
Reconfigurable Nets, a Class of High Level Petri Nets.. - Badouel, Oliver (1998) (Correct)
UPV-Curry User's Manual - Escobar, Alpuente, Lucas (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC