Abstract | ||
---|---|---|
ions and MemoriesIan MasonStanford UniversityIAM@SAIL.STANFORD.EDUCarolyn TalcottStanford UniversityCLT@SAIL.STANFORD.EDU1. OverviewNotions of program equivalence are fundamental to the process of program specificationand transformation. Recent work of Talcott, Mason, and Felleisen establishesa basis for studying notions of program equivalence for programming languages withfunction and control abstractions operating on objects with memory. This work extendswork of Landin,... |
Year | DOI | Venue |
---|---|---|
1989 | 10.1007/BFb0035784 | ICALP |
Keywords | Field | DocType |
function abstractions,programming language | Functional reactive programming,Procedural programming,Functional logic programming,Programming language,Programming paradigm,Computer science,Inductive programming,Reactive programming,Abstraction principle,Event-driven programming | Conference |
Volume | ISSN | ISBN |
372 | 0302-9743 | 3-540-51371-X |
Citations | PageRank | References |
26 | 13.73 | 5 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Ian A. Mason | 1 | 797 | 97.47 |
Carolyn Talcott | 2 | 1922 | 168.73 |