• Suche: "Recursive program scheme"

Treffer 1 - 8 von 8

1

The category-theoretic solution of recursive program schemes
Lawrence S. Moss ; Stefan Milius
Lecture Notes in Computer Science ISBN: 9783540286202

FOS: Computer and inform... Computer Science - Logic... Elgot algebra Completely iterative mon... Algebraic trees Mathematics - Category T... …
Fachzeitschrift
Zu den Favoriten
2

The category-theoretic solution of recursive program schemes
MILIUS, Stefan ; MOSS, Lawrence S
Algebra and coalgebra in computer scienceTheoretical computer science. 366(1-2):3-59

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences et techniques c... Sciences and techniques... …
Konferenz
Zu den Favoriten
3

Corrigendum to: 'The category theoretic solution of recursive program schemes' [Theoret. Comput. Sci. 366 (2006) 3–59]
Lawrence S. Moss ; Stefan Milius
Theoretical Computer Science. 403:409-415

Elgot algebra Completely iterative alg... 0202 electrical engineer... Interpreted recursive pr... 0102 computer and inform... 02 engineering and techn... …
Fachzeitschrift
Zu den Favoriten
4

A Category Theoretic View of Nondeterministic Recursive Program Schemes
Schwencke, Daniel ; Daniel Schwencke

recursive program scheme nondeterminism powerset monad distributive law final coalgebra
Fachzeitschrift
Zu den Favoriten
5

Fundamental study The category-theoretic solution of recursive program schemes
Stefan Milius A ; Lawrence S. Moss B ; The Pennsylvania State University CiteSeerX Archives
http://www.iti.cs.tu-bs.de/~milius/research/rps_tcs.pdf.

Recursive program scheme Elgot algebra Coalgebra Completely iterative mon... Algebraic trees Second-order substitutio...
Fachzeitschrift
Zu den Favoriten
6

Nondeterministic computations -- structure and axioms
Bachmann, Peter ; Phan Minh Dung

nondeterminism Specification and verifi... Parallel computations operational semantics Parallelism nondeterministic computa... …
Fachzeitschrift
Zu den Favoriten
7

Comparaison et équivalence de sémantiques pour les schémas de programmes non déterministes. (Comparison and equivalence of semantics for non-deterministic program schemes)
Naudin, Patrice

Specification and verifi... deterministic recursive... operational semantics equivalence relation on... denotational semantics algebraic semantics
Fachzeitschrift
Zu den Favoriten
8

Dieses Ergebnis kann Gästen nicht angezeigt werden.

Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter