David Sands  Home/Search
Context
Related
| cs.chalmers.se/~dave/...SandsNWP94.pdf Cached: 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.
PS.gz PS Image Update HelpFrom: cs.chalmers.se/~dave/pape...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We consider operational semantics of contexts (terms with holes) in the setting of lazy functional languages, with the aim of providing a balance between operational and compositional reasoning, and a framework for semantics-based program analysis and manipulation. (Update)
Similar documents (at the sentence level):
60.0%: Towards Operational Semantics of Contexts in Functional Languages - Sands (Correct)
Active bibliography (related documents): More All
0.2: Improvement Theory and its Applications - Sands (1997) (Correct)
0.2: Higher Order Operationational Techniques in Semantics -.. - Gordon, (Eds) (Correct)
0.2: Design, Analysis and Reasoning about Tools: Abstracts from.. - Nielson, (Ed.) (1993) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@inproceedings{ sands94towards,
author = "D. Sands",
title = "Towards Operational Semantics of Contexts in Functional Languages",
booktitle = "Proceedings of the 6th Nordic Workshop on Programming Theory",
volume = "NS-94-6",
address = "Aarhus, Denmark",
pages = "378--385",
year = "1994",
url = "citeseer.ist.psu.edu/737435.html" }
Citations (may not include all citations):179 The lazy lambda calculus - Abramsky - 1990
94 Equality in lazy computation systems - Howe - 1989
94 Projections for strictness analysis - Wadler, Hughes - 1987
48 Backwards analysis of functional programs (context) - Hughes - 1987
36 Stable models of typed lambda calculi (context) - Berry - 1978
35 the bisimulation proof method - Sangiorgi - 1994
33 Context-Dependent Bisimulation Between Processes (context) - Larsen - 1986
20 A compositional approach to time analysis of first order laz.. (context) - Bjerner, Holmstrom - 1989
5 A nave time analysis and its theory of cost equivalence - Sands - 1995
2 Compositinal theories based on an operational semantics of c.. (context) - Larsen - 1989
2 Compositinality through an operational semantics of contexts (context) - Larsen, Xinxin - 1991
Documents on the same site (http://www.cs.chalmers.se/~dave/papers/index.html): More
Total Correctness by Local Improvement in the Transformation of.. - Sands (1996) (Correct)
Probabilistic Noninterference for Multi-threaded Programs - Sabelfeld, Sands (2000) (Correct)
A Semantic Model of Binding Times for Safe Partial Evaluation - Henglein, Sands (1995) (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