×

Found 103 Documents (Results 1–100)

Functional semantics. (English) Zbl 1405.68061

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, 60-78 (2013).
MSC:  68N18 68P05 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Combining interactive and automatic reasoning in first order theories of functional programs. (English) Zbl 1352.68038

Birkedal, Lars (ed.), Foundations of software science and computational structures. 15th international conference, FOSSACS 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28728-2/pbk). Lecture Notes in Computer Science 7213, 104-118 (2012).
MSC:  68N18 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Multiconditional approximate reasoning with continuous piecewise linear membership functions. (English) Zbl 0960.68153

Mohammadian, Masoud (ed.), Computational intelligence for modelling, control & automation ’99. Evolutionary computation & fuzzy logic for intelligent control, knowledge acquisition & information retrieval. International conference, Vienna, Austria, February 17-19, 1999. Amsterdam: IOS Press). Concurrent Syst. Eng. Ser. 55, 246-253 (1999).
MSC:  68T37 68M15
PDFBibTeX XMLCite

Graph rewriting semantics for functional programming languages. (English) Zbl 0884.68079

Dalen, Dirk van (ed.) et al., Computer science logic. 10th international workshop, CSL ’96. Annual conference of the EACSL, Utrecht, the Netherlands. September 21–27, 1996. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 1258, 106-128 (1997).
MSC:  68Q55 68N15
PDFBibTeX XMLCite

Programming languages - principles and practice. (Programmiersprachen. Grundlagen, Konzepte, Entwurf. Aus d. Amerikan. übers. von Peter Dobrowolski u. Mechthild Boré.) (English) Zbl 0826.68022

Informatik Lehrbuch-Reihe. Bonn: International Thomson Publishing. xvii, 810 p. DM 79.00 /hc (1993).
Reviewer: H.Alt (Berlin)
PDFBibTeX XMLCite

A new perspective on integrating functional and logic languages. (English) Zbl 0864.68014

Institute for New Generation Computer Technology (ed.), 5th generation computer systems 1992. International conference, FGCS ’92. Japan 1992, Vol. 2. Amsterdam: IOS Press. 682-693 (1992).
MSC:  68N17 68Q55
PDFBibTeX XMLCite

Denotational versus declarative semantics for functional programming. (English) Zbl 0819.68030

Börger, Egon (ed.) et al., Computer science logic. 5th workshop, CSL ’91, Berne, Switzerland, October 7-11, 1991. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 626, 134-148 (1992).
Reviewer: N.Curteanu (Iaşi)
PDFBibTeX XMLCite

Efficient incremental evaluation of higher order attribute grammars. (English) Zbl 0789.68088

Maluszyński, Jan (ed.) et al., Programming language implementation and logic programming. 3rd international symposium, PLILP ’91, Passau, Germany, August 26-28, 1991. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 528, 231-242 (1991).
MSC:  68Q42
PDFBibTeX XMLCite

Program verification by symbolic execution of hyperfinite ideal machines. (English) Zbl 0786.68066

Computer-aided verification ’90, Proc. 2nd DIMACS Workshop, New Brunswick/NJ (USA) 1990, DIMACS, Ser. Discret. Math. Theor. Comput. Sci. 3, 441-462 (1991).
MSC:  68Q60 03H10 65G99
PDFBibTeX XMLCite

Falafel: Arrays in a functional language. (English) Zbl 0800.68282

Arrays, functional languages and parallel systems, Proc. 1st Int. Workshop, Montréal, Québec/Canada 1990, 107-123 (1991).
MSC:  68N15 68P05
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software