×

zbMATH — the first resource for mathematics

Found 269 Documents (Results 1–100)

Hits per Page
100
Display Format
MathJax
Result Sorting
Newest 1st
Aït-Kaci, Hassan
An abstract, reusable, and extensible programming language design architecture. (English) Zbl 1397.68023
Tannen, Val (ed.) et al., In search of elegance in the theory and practice of computation. Essays dedicated to Peter Buneman. Berlin: Springer (ISBN 978-3-642-41659-0/pbk; 978-3-642-41660-6/ebook). Lecture Notes in Computer Science 8000, 112-166 (2013).
MSC:  68N15 68N18 68Q55
PDF BibTeX XML Cite
\textit{H. Aït-Kaci}, Lect. Notes Comput. Sci. 8000, 112--166 (2013; Zbl 1397.68023)
Full Text: DOI
Jeannin, Jean-Baptiste
Capsules and closures. (English) Zbl 1342.68088
Mislove, Michael (ed.) et al., Proceedings of the 27th conference on the mathematical foundations of programming semantics (MFPS XXVII), Pittsburgh, PA, USA, May 25–28, 2011. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 276, 191-213 (2011).
MSC:  68N30 68N15 68N18 68N19 68Q55
PDF BibTeX XML Cite
\textit{J.-B. Jeannin}, Electron. Notes Theor. Comput. Sci. 276, 191--213 (2011; Zbl 1342.68088)
Full Text: DOI
Wu, Hengyang; Chen, Yixiang
The semantics of \(wlp\) and \(slp\) of fuzzy imperative programming languages. (English) Zbl 1267.68092
Li, Shoumei (ed.) et al., Nonlinear mathematics for uncertainty and its applications. Proceedings of the international conference, NL-MUA2011, Beijing, China, September 7–9, 2011. Berlin: Springer (ISBN 978-3-642-22832-2/hbk; 978-3-642-22833-9/ebook). Advances in Intelligent and Soft Computing 100, 357-364 (2011).
MSC:  68N19 68N17 03B52
PDF BibTeX XML Cite
\textit{H. Wu} and \textit{Y. Chen}, Adv. Intell. Soft Comput. 100, 357--364 (2011; Zbl 1267.68092)
Full Text: DOI
Eden, Amnon H.
Codecharts. Roadmaps and blueprints for object-oriented programs. With contributions from Jonathan Nicholson. (English) Zbl 1222.68002
Hoboken, NJ: John Wiley & Sons (ISBN 978-0-470-62694-8/hbk; 978-0-470-89103-2/ebook). xxv, 243 p. (2011).
Reviewer: Mirel Cosulschi (Craiova)
MSC:  68-02 68N19 68N30
PDF BibTeX XML Cite
\textit{A. H. Eden}, Codecharts. Roadmaps and blueprints for object-oriented programs. With contributions from Jonathan Nicholson. Hoboken, NJ: John Wiley \& Sons (2011; Zbl 1222.68002)
Full Text: DOI
Laneve, Cosimo
Inheritance in concurrent objects. (English) Zbl 1256.68036
Bowman, Howard (ed.) et al., Formal methods for distributed processing. A survey of object-oriented approaches. Cambridge: Cambridge University Press (ISBN 978-0-521-16875-5/pbk). 326-353 (2010).
MSC:  68N19 68N15
PDF BibTeX XML Cite
\textit{C. Laneve}, in: Formal methods for distributed processing. A survey of object-oriented approaches. Cambridge: Cambridge University Press. 326--353 (2010; Zbl 1256.68036)
Smith, Graeme
State-bases approaches: from Z to Object-Z. (English) Zbl 1255.68056
Bowman, Howard (ed.) et al., Formal methods for distributed processing. A survey of object-oriented approaches. Cambridge: Cambridge University Press (ISBN 978-0-521-16875-5/pbk). 105-125 (2010).
MSC:  68N30 68N19 68Q60
PDF BibTeX XML Cite
\textit{G. Smith}, in: Formal methods for distributed processing. A survey of object-oriented approaches. Cambridge: Cambridge University Press. 105--125 (2010; Zbl 1255.68056)
De Labey, Sven; Boydens, Jeroen; Steegmans, Eric
Language support for service interactions in service-oriented architecture. (English) Zbl 1211.68069
Maciaszek, Leszek A. (ed.) et al., Evaluation of novel approaches to software engineering. 3rd and 4th international conference, ENASE 2008/2009, Funchal, Madeira, Portugal, May 4–7, 2008, Milan, Italy, May 9–10, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-14818-7/pbk). Communications in Computer and Information Science 69, 75-90 (2010).
MSC:  68N19
PDF BibTeX XML Cite
\textit{S. De Labey} et al., Commun. Comput. Inf. Sci. 69, 75--90 (2010; Zbl 1211.68069)
Full Text: DOI
Loverdos, Christos K. K.; Syropoulos, Apostolos
Steps in Scala. An introduction to object-functional programming. (English) Zbl 1246.68005
Cambridge: Cambridge University Press (ISBN 978-0-521-74758-5/pbk; 978-0-521-76217-5/hbk; 978-0-511-79598-5/ebook). xvii, 485 p. (2010).
Reviewer: Stefan Meyer (Berlin)
MSC:  68-01 68N15 68N18 68N19
PDF BibTeX XML Cite
\textit{C. K. K. Loverdos} and \textit{A. Syropoulos}, Steps in Scala. An introduction to object-functional programming. Cambridge: Cambridge University Press (2010; Zbl 1246.68005)
Full Text: DOI
Liu, Hai; Cheng, Eric; Hudak, Paul
Causal commutative arrows and their optimization. (English) Zbl 1302.68064
Proceedings of the 14th ACM SIGPLAN international conference on functional programming, ICFP ’09, Edinburgh, UK, August 31 – September 2, 2009. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-332-7). ACM SIGPLAN Notices 44, No. 9, 35-46 (2009).
MSC:  68N18 68N19
PDF BibTeX XML Cite
\textit{H. Liu} et al., in: Proceedings of the 14th ACM SIGPLAN international conference on functional programming, ICFP '09, Edinburgh, UK, August 31 -- September 2, 2009. New York, NY: Association for Computing Machinery (ACM). 35--46 (2009; Zbl 1302.68064)
Full Text: DOI
Shapira, Yair
Mathematical objects in C++. Computational tools in a unified object-oriented approach. (English) Zbl 1178.68128
Boca Raton, FL: CRC Press (ISBN 978-1-4398-1147-4/hbk; 978-1-138-11376-3/pbk; 978-1-4398-1148-1/ebook). xxviii, 606 p. (2009).
Reviewer: Rainer Horsch (Markdorf)
MSC:  68N15 68N19 68-01
PDF BibTeX XML Cite
\textit{Y. Shapira}, Mathematical objects in C++. Computational tools in a unified object-oriented approach. Boca Raton, FL: CRC Press (2009; Zbl 1178.68128)
Full Text: DOI
Phillips, Andrew
Specifying and implementing secure mobile applications. (English) Zbl 1171.68578
Alexander, Michael (ed.) et al., Process algebra for parallel and distributed processing. Boca Raton, FL: CRC pRESS (ISBN 978-1-4200-6486-5/hbk). Chapman & Hall / CRC Computational Science Series, 235-283 (2009).
MSC:  68Q85 68M14 68N19 68U35
PDF BibTeX XML Cite
\textit{A. Phillips}, in: Process algebra for parallel and distributed processing. Boca Raton, FL: CRC pRESS. 235--283 (2009; Zbl 1171.68578)
Kaiser, Richard
C++ with Microsoft Visual C++ 2008. Introduction to Standard-C++, C++/CLI and object-oriented Windows .NET programming. With CD-ROM. (C++ mit Microsoft Visual C++ 2008. Einführung in Standard-C++, C++/CLI und die objektorientierte Windows .NET-Programmierung. Mit CD-ROM.) (German) Zbl 1217.68048
Xpert.press. Berlin: Springer (ISBN 978-3-540-23869-0/hbk; 978-3-540-68844-0/ebook). xxiv, 1335 p. (2009).
Reviewer: Rainer Horsch (Markdorf)
MSC:  68N15 68N19 68N20 68-01
PDF BibTeX XML Cite
\textit{R. Kaiser}, C++ mit Microsoft Visual C++ 2008. Einführung in Standard-C++, C++/CLI und die objektorientierte Windows .NET-Programmierung. Mit CD-ROM. Berlin: Springer (2009; Zbl 1217.68048)
Full Text: DOI
Bugliesi, Michele; Giunti, Marco
Secure implementations of typed channel abstractions. (English) Zbl 1295.68078
Proceedings of the 34th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’07, Nice, France, January 17–19, 2007. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-575-4). 251-262 (2007).
MSC:  68N30 68N19 68Q85 94A60
PDF BibTeX XML Cite
\textit{M. Bugliesi} and \textit{M. Giunti}, in: Proceedings of the 34th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '07, Nice, France, January 17--19, 2007. New York, NY: Association for Computing Machinery (ACM). 251--262 (2007; Zbl 1295.68078)
Full Text: DOI
Alpuente, M.; Gramlich, B.; Villanueva, A.
A framework for timed concurrent constraint programming with external functions. (English) Zbl 1278.68066
Lucio, Paqui (ed.) et al., Proceedings of the sixth Spanish conference on programming and languages (PROLE 2006), Sitges, Barcelona, Spain, October 4–6, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 188, 143-155 (2007).
MSC:  68N19 68N15
PDF BibTeX XML Cite
\textit{M. Alpuente} et al., Electron. Notes Theor. Comput. Sci. 188, 143--155 (2007; Zbl 1278.68066)
Full Text: DOI
Freitas, Leo; Woodcock, Jim
Proving theorems about JML classes. (English) Zbl 1151.68348
Jones, Cliff B. (ed.) et al., Formal methods and hybrid real-time systems. Essays in honour of Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays. Berlin: Springer (ISBN 978-3-540-75220-2/pbk). Lecture Notes in Computer Science 4700, 255-279 (2007).
MSC:  68N15 68N19 68Q60 68T15
PDF BibTeX XML Cite
\textit{L. Freitas} and \textit{J. Woodcock}, Lect. Notes Comput. Sci. 4700, 255--279 (2007; Zbl 1151.68348)
Full Text: DOI
Coupey, Pascal; Fouqueré, Christophe; Loddo, Jean-Vincent
Tree components programming: An application to XML. (English) Zbl 1147.68423
Jones, Cliff B. (ed.) et al., Theoretical aspects of computing – ICTAC 2007. 4th international colloquium, Macau, China, September 26–28, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-75290-5/pbk). Lecture Notes in Computer Science 4711, 139-153 (2007).
MSC:  68N15 68N18 68N19 68P05
PDF BibTeX XML Cite
\textit{P. Coupey} et al., Lect. Notes Comput. Sci. 4711, 139--153 (2007; Zbl 1147.68423)
Full Text: DOI
Di Pierro, Alessandra; Wiklicky, Herbert
Operator algebras and the operational semantics of probabilistic languages. (English) Zbl 1276.68050
Seda, Anthony K. (ed.) et al., Proceedings of the third Irish conference on the mathematical foundations of computer science and information technology (MFCSIT 2004), Dublin, Ireland, July 22–23, 2004. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 161, 131-150 (2006).
MSC:  68N19 68N15 68N30 68Q55
PDF BibTeX XML Cite
\textit{A. Di Pierro} and \textit{H. Wiklicky}, Electron. Notes Theor. Comput. Sci. 161, 131--150 (2006; Zbl 1276.68050)
Full Text: Link
Kalleberg, Karl Trygve; Visser, Eelco
Combining aspect-oriented and strategic programming. (English) Zbl 1276.68051
Cristea, Horatiu (ed.) et al., Proceedings of the 6th international workshop on rule-based programming (RULE 2005), Nara, Japan, April 23, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 147, No. 1, 5-30 (2006).
MSC:  68N19 68Q42
PDF BibTeX XML Cite
\textit{K. T. Kalleberg} and \textit{E. Visser}, Electron. Notes Theor. Comput. Sci. 147, No. 1, 5--30 (2006; Zbl 1276.68051)
Full Text: Link
Chen, Juan; Tarditi, David
A simple typed intermediate language for object-oriented languages. (English) Zbl 1369.68123
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’05, Long Beach, CA, USA, January 12–14, 2005. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-830-X). 38-49 (2005).
MSC:  68N20 68N15 68N19
PDF BibTeX XML Cite
\textit{J. Chen} and \textit{D. Tarditi}, in: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '05, Long Beach, CA, USA, January 12--14, 2005. New York, NY: Association for Computing Machinery (ACM). 38--49 (2005; Zbl 1369.68123)
Full Text: DOI
Bouquet, Fabrice; Dadeau, Frédéric; Legeard, Bruno; Utting, Mark
Symbolic animation of JML specifications. (English) Zbl 1120.68375
Fitzgerald, John (ed.) et al., FM 2005: Formal methods. International symposium of formal methods Europe, Newcastle, UK, July 18–22, 2005. Proceedings. Berlin: Springer (ISBN 3-540-27882-6/pbk). Lecture Notes in Computer Science 3582, 75-90 (2005).
MSC:  68N19 68N30
PDF BibTeX XML Cite
\textit{F. Bouquet} et al., Lect. Notes Comput. Sci. 3582, 75--90 (2005; Zbl 1120.68375)
Full Text: DOI
Bouquet, Fabrice; Dadeau, Frédéric; Groslambert, Julien
Checking JML specifications with B machines. (English) Zbl 1118.68540
Treharne, Helen (ed.) et al., ZB 2005: Formal specification and development in Z and B. 4th international conference of B and Z users, Guildford, UK, April 13–15, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25559-1/pbk). Lecture Notes in Computer Science 3455, 434-453 (2005).
MSC:  68Q60 68N19
PDF BibTeX XML Cite
\textit{F. Bouquet} et al., Lect. Notes Comput. Sci. 3455, 434--453 (2005; Zbl 1118.68540)
Full Text: DOI
Bouquet, Fabrice; Dadeau, Frédéric; Legeard, Bruno; Utting, Mark
JML-testing-tools: A symbolic animator for JML specifications using CLP. (English) Zbl 1087.68549
Halbwachs, Nicolas (ed.) et al., Tools and algorithms for the construction and analysis of systems. 11th international conference, TACAS 2005, held as part of the joint European conference on theory and practice of software, ETAPS 2005, Edinburgh, UK, April 4–8, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25333-5/pbk). Lecture Notes in Computer Science 3440, 551-556 (2005).
MSC:  68N99 68N19
PDF BibTeX XML Cite
\textit{F. Bouquet} et al., Lect. Notes Comput. Sci. 3440, 551--556 (2005; Zbl 1087.68549)
Full Text: DOI
Olsson, Ronald A.; Keen, Aaron W.
The JR programming language. Concurrent programming in an extended Java. (English) Zbl 1058.68030
The Kluwer International Series in Engineering and Computer Science 774. Boston, MA: Kluwer Academic Publishers (ISBN 1-4020-8085-9/hbk). xxvi, 364 p. (2004).
Reviewer: Werner Brecht (Berlin)
MSC:  68N15 68N19 68-01
PDF BibTeX XML Cite
\textit{R. A. Olsson} and \textit{A. W. Keen}, The JR programming language. Concurrent programming in an extended Java. Boston, MA: Kluwer Academic Publishers (2004; Zbl 1058.68030)
Altenkirch, Thorsten; McBride, Conor
Generic programming within dependently typed programming. (English) Zbl 1089.68529
Gibbons, Jeremy (ed.) et al., Generic programming. IFIP TC2/WG2.1. Working conference on generic programming, July 11–12, 2002, Dagstuhl, Germany. Boston, MA: Kluwer Academic Publishers (ISBN 1-4020-7374-7/hbk). IFIP, International Federation for Information Processing 115, 1-20 (2003).
MSC:  68N19
PDF BibTeX XML Cite
\textit{T. Altenkirch} and \textit{C. McBride}, IFIP, Int. Fed. Inf. Process. 115, 1--20 (2003; Zbl 1089.68529)
Ohori, Atsushi; Yamatodani, Kiyoshi
An interoperable calculus for external object access. (English) Zbl 1322.68047
Proceedings of the 7th ACM SIGPLAN international conference on functional programming, ICFP ’02, Pittsburgh, PA, USA, October 4–6, 2002. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-487-8). ACM SIGPLAN Notices 37, No. 9, 60-71 (2002).
MSC:  68N18 68N15 68N19
PDF BibTeX XML Cite
\textit{A. Ohori} and \textit{K. Yamatodani}, in: Proceedings of the 7th ACM SIGPLAN international conference on functional programming, ICFP '02, Pittsburgh, PA, USA, October 4--6, 2002. New York, NY: Association for Computing Machinery (ACM). 60--71 (2002; Zbl 1322.68047)
Full Text: DOI
Golovin, I. G.; Stolyarov, A. V.
Object-oriented approach to multiparadigm programming. (English. Russian original) Zbl 1069.68535
Mosc. Univ. Comput. Math. Cybern. 2002, No. 1, 46-51 (2002); translation from Vestn. Mosk. Univ., Ser. XV 2002, No. 1, 46-50 (2002).
MSC:  68N15 68N19 68-01
PDF BibTeX XML Cite
\textit{I. G. Golovin} and \textit{A. V. Stolyarov}, Mosc. Univ. Comput. Math. Cybern. 2002, No. 1, 46--50 (2002; Zbl 1069.68535); translation from Vestn. Mosk. Univ., Ser. XV 2002, No. 1, 46--50 (2002)
Fletcher, John P.
Symbolic processing of Clifford numbers in C++. (English) Zbl 1036.65037
Dorst, Leo (ed.) et al., Applications of geometric algebra in computer science and engineering. Papers from the conference, AGACSE 2001, Cambridge, UK, July 9–13, 2001. Boston, MA: Birkhäuser (ISBN 0-8176-4267-6/hbk). 157-167 (2002).
MSC:  65F30 15A66 68N19 68W30
PDF BibTeX XML Cite
\textit{J. P. Fletcher}, in: Applications of geometric algebra in computer science and engineering. Papers from the conference, AGACSE 2001, Cambridge, UK, July 9--13, 2001. Boston, MA: Birkhäuser. 157--167 (2002; Zbl 1036.65037)
Schattkowsky, Tim; Lohmann, Marc
Rapid development of modular dynamic web sites using UML. (English) Zbl 1018.68798
Jézéquel, Jean-Marc (ed.) et al., “UML” 2002 - the unified modeling language. Model engineering, concepts, and tools. 5th international conference, Dresden, Germany, September 30-October 4, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2460, 336-350 (2002).
MSC:  68U99 68N15
PDF BibTeX XML Cite
\textit{T. Schattkowsky} and \textit{M. Lohmann}, Lect. Notes Comput. Sci. 2460, 336--350 (2002; Zbl 1018.68798)
Full Text: Link
Dulewicz, Grzegorz; Unold, Olgierd
Evolving natural language parser with genetic programming. (English) Zbl 1033.68123
Abraham, Ajith (ed.) et al., Hybrid information systems. Proceedings of HIS-2001, 1st international workshop, Adelaide, Australia, December 11–12, 2001. Heidelberg: Physica-Verlag (ISBN 3-7908-1480-6/pbk). Advances in Soft Computing, 361-377 (2002).
MSC:  68T50 68T05 68N19
PDF BibTeX XML Cite
\textit{G. Dulewicz} and \textit{O. Unold}, in: Hybrid information systems. Proceedings of HIS-2001, 1st international workshop, Adelaide, Australia, December 11--12, 2001. Heidelberg: Physica-Verlag. 361--377 (2002; Zbl 1033.68123)
Liberty, Jesse
Programming C#. (Programmieren mit C#. Entwicklung von . NET-Applikationen. Übersetzt aus der 2. englischen Ausgabe von Dorothea Reder und Jörg Staudemeyer.) (German) Zbl 1010.68028
Köln: O’Reilly. xix, 681 S. (2002).
Reviewer: W.Brecht (Berlin)
MSC:  68N15 68N19 68-01
PDF BibTeX XML Cite
\textit{J. Liberty}, Programmieren mit C\#. Entwicklung von . NET-Applikationen. Übersetzt aus der 2. englischen Ausgabe von Dorothea Reder und Jörg Staudemeyer. Köln: O'Reilly (2002; Zbl 1010.68028)
Fronk, Alexander
Algebraic semantics of an object oriented language for the specification of hyperdocuments. (Algebraische Semantik einer objektorientierten Sprache zur Spezifikation von Hyperdokumenten (Diss. 2001).) (German) Zbl 1011.68050
Berichte aus der Informatik. Aachen: Shaker Verlag. Dortmund: Univ. Dortmund, Fachbereich Informatik, xiv, 246 S. (2002).
Reviewer: Nikolay Yakovlevich Tikhonenko (Odessa)
MSC:  68Q55 68-02 68N15
PDF BibTeX XML Cite
\textit{A. Fronk}, Algebraische Semantik einer objektorientierten Sprache zur Spezifikation von Hyperdokumenten (Diss. 2001). Aachen: Shaker Verlag; Dortmund: Univ. Dortmund, Fachbereich Informatik (2002; Zbl 1011.68050)
Full Text: Link

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Serial
all top 5
Year of Publication
all top 3
Classification
all top 3
Software