×

Found 52 Documents (Results 1–52)

100
MathJax

Representations of algebraic domains and algebraic L-domains by information systems. (English) Zbl 1337.68163

Liu, Ying-Ming (ed.) et al., Proceedings of the 6th international symposium on domain theory and its applications (ISDT), Changsha, China, October 25–29, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 301, 117-129, electronic only (2014).
MSC:  68Q55 06B35
PDF BibTeX XML Cite
Full Text: DOI

An ontology of states. (English) Zbl 1405.68087

Achten, Peter (ed.) et al., The beauty of functional code. Essays dedicated to Rinus Plasmeijer on the occasion of his 61st birthday. Berlin: Springer (ISBN 978-3-642-40354-5/pbk). Lecture Notes in Computer Science 8106. Lecture Notes in Artificial Intelligence, 18-26 (2013).
MSC:  68N30 68N18 68Q01
PDF BibTeX XML Cite
Full Text: DOI

An action semantics based on two combinators. (English) Zbl 1253.68210

Palsberg, Jens (ed.), Semantics and algebraic specification. Essays dedicated to Peter D. Mosses on the occasion of his 60th birthday. Berlin: Springer (ISBN 978-3-642-04163-1/pbk). Lecture Notes in Computer Science 5700, 274-296 (2009).
MSC:  68Q55 68Q65
PDF BibTeX XML Cite
Full Text: DOI

Modelling of complex software systems: a reasoned overview. (English) Zbl 1225.68080

Najm, Elie (ed.) et al., Formal techniques for networked and distributed systems – FORTE 2006. 26th IFIP WG 6.1 international conference, Paris, France, September 26–29, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-46219-4/pbk). Lecture Notes in Computer Science 4229, 1-22 (2006).
MSC:  68N99 68T35 68U35
PDF BibTeX XML Cite
Full Text: DOI

A declarative debugging system for lazy functional logic programs. (English) Zbl 1268.68064

Hanus, Michael (ed.), WFLP 2001. Selected papers of the international workshop on functional and (constraint) logic programming, Kiel, Germany, September 13–15, 2001. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 64, 113-175 (2002).
MSC:  68N30 68N17 68N18
PDF BibTeX XML Cite
Full Text: DOI

Operational properties of Lily, a polymorphic linear lambda calculus with recursion. (English) Zbl 1262.68099

Jeffrey, Alan (ed.), HOOTS 2000. 4th international workshop on higher order operational techniques in semantics (satellite to PLI 2000), Montreal, Canada, September 22, 2000. Proceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 41, No. 3, 70-88 (2001).
MSC:  68Q55 68N18 03B40
PDF BibTeX XML Cite
Full Text: DOI

Towards lambda calculus order-incompleteness. (English) Zbl 1261.03076

Levy, Jean-Jacques (ed.), BOTH 2001 – Böhm’s theorem: applications to computer science theory. Proceedings of one of the four satellite workshops of the 28th international colloquium on automata, languages and programming (ICALP 2001) held in Crete, Greece, July 13, 2001. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 50, No. 2, 145-158 (2001).
MSC:  03B40
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Year of Publication

all top 3

Classification

all top 3

Software