Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Ashcroft, E.A."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A mathematical semantics for a nondeterministic typed
\lambda
-calculus
M.C.B. Hennessy
,
E.A. Ashcroft
Theoretical Computer Science
11
, 1980, pp. 227-245
A generalized setting for fixpoint theory
E.A. Ashcroft
,
F.E. Fich
Theoretical Computer Science
9
(2), 1979, pp. 243-256
Parameter-passing mechanisms and nondeterminism
M.C.B. Hennessy
,
E.A. Ashcroft
Proceedings of the 9th Annual ACM Symposium on Theory of Computing, STOC'77 (Boulder, CO, May 2-4, 1977)
, 1977, pp. 306-311
Remarks on ``Program proving: Jumps and functions by M. Clint and C.A.R. Hoare''
E.A. Ashcroft
,
M. Clint
,
C.A.R. Hoare
Acta Informatica
6
, 1976, pp. 317-318
Lucid - a formal system for writing and proving programs
E.A. Ashcroft
,
W.W. Wadge
SIAM Journal on Computing
5
(3), 1976, September, pp. 336-354
Proving assertions about parallel programs
E.A. Ashcroft
Journal of Computer and System Sciences
10
, 1975, pp. 110-135