Search

Your search keyword '"Common Lisp"' showing total 775 results
Start Over Descriptor "Common Lisp"
775 results on '"Common Lisp"'

1. Grants4Companies: Applying Declarative Methods for Recommending and Reasoning About Business Grants in the Austrian Public Administration (System Description)

Author

Lellmann, Björn, Marek, Philipp, Triska, Markus, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Gibbons, Jeremy, editor, and Miller, Dale, editor

Published
2024
Full Text
View/download PDF

2. Mixed Algorithm for Combinations Generation

Author

Constantin Ciubotaru

Subjects
combinations, combinations generation, recursive algorithm, iterative algorithm, Common LISP, Rosetta Code, Electronic computers. Computer science, QA75.5-76.95
Abstract

Modifications are proposed to the recursive algorithm of combinations generation by reducing the number of non-performing recursive calls and recovering this gap through iterative processes.

Published
2019

7. Machines Reasoning About Machines: 2015

Author

Moore, J Strother, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Finkbeiner, Bernd, editor, Pu, Geguang, editor, and Zhang, Lijun, editor

Published
2015
Full Text
View/download PDF

8. Mixed Algorithm for Combinations Generation.

Author

Ciubotaru, Constantin

Subjects
*ALGORITHMS, *REPRODUCTION
Abstract

Modifiations are proposed to the re ursive algorithm of om- binations generation by redu ing the number of non-performing re ursive alls and re overing this gap through iterative pro esses. [ABSTRACT FROM AUTHOR]

Published
2019

9. A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams.

Author

Newton, Jim and Verna, Didier

Subjects
NUMERICAL analysis, DATA structures, BOOLEAN algebra, ALGORITHMS, COMMON LISP (Computer program language)
Abstract

Binary Decision Diagrams (BDDs) and in particular ROBDDs (Reduced Ordered BDDs) are a common data structure for manipulating Boolean expressions, integrated circuit design, type inferencers, model checkers, and many other applications. Although the ROBDD is a lightweight data structure to implement, the behavior, in terms of memory allocation, may not be obvious to the program architect. We explore experimentally, numerically, and theoretically the typical and worst-case ROBDD sizes in terms of number of nodes and residual compression ratios, as compared to unreduced BDDs. While our theoretical results are not surprising, as they are in keeping with previously known results, we believe our method contributes to the current body of research by our experimental and statistical treatment of ROBDD sizes. In addition, we provide an algorithm to calculate the worst-case size. Finally, we present an algorithm for constructing a worst-case ROBDD of a given number of variables. Our approach may be useful to projects deciding whether the ROBDD is the appropriate data structure to use, and in building worst-case examples to test their code. [ABSTRACT FROM AUTHOR]

Published
2019
Full Text
View/download PDF

10. Experience Report: Kandria - A Game in Common Lisp

Author

Hafner, Nicolas

Subjects
experience report, computer graphics, common lisp, video games, games
Abstract

In this paper we outline the experience we've gathered while developing Kandria using Common Lisp. Kandria is a video game in the "action RPG"genre and has been developed for Windows and Linux with the SBCL implementation. Being a video game, the project touches a unique combination of disciplines within computer science, and as such provides an in-depth and comprehensive view of the development process of a large-scale project in Lisp, and the general language ecosystem.

Published
2023
Full Text
View/download PDF

11. Demonstration: A stepper for Armed Bear Common Lisp (ABCL)

Author

Alejandro Zamora Fonseca

Subjects
Common Lisp, stepper, debugging
Abstract

In this paper a stepper tool for the Armed Bear Common Lisp (ABCL) implementation is proposed, describing its features and implementation related details. ABCL does not currently have a stepper and the addition of one can help improve the quality of the code designed to run in the implementation, and also it can be useful to assist in the debugging process of Common Lisp (CL) portable code. &nbsp

Published
2023
Full Text
View/download PDF

14. Tools for Grammar Engineering

Author

Loetzsch, Martin, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, Series editor, Siekmann, Jörg, Series editor, Wahlster, Wolfgang, Series editor, and Steels, Luc, editor

Published
2012
Full Text
View/download PDF

16. Hygienic Macros for ACL2

Author

Eastlund, Carl, Felleisen, Matthias, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Page, Rex, editor, Horváth, Zoltán, editor, and Zsók, Viktória, editor

Published
2011
Full Text
View/download PDF

17. Proving with ACL2 the Correctness of Simplicial Sets in the Kenzo System

Author

Heras, Jónathan, Pascual, Vico, Rubio, Julio, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, and Alpuente, María, editor

Published
2011
Full Text
View/download PDF

19. Predicated Generic Functions : Enabling Context-Dependent Method Dispatch

Author

Vallejos, Jorge, González, Sebastián, Costanza, Pascal, De Meuter, Wolfgang, D’Hondt, Theo, Mens, Kim, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Baudry, Benoît, editor, and Wohlstadter, Eric, editor

Published
2010
Full Text
View/download PDF

20. Protrace: Effective Recursion Tracing and Debugging Library for Functional Programming Style in Common Lisp

Author

Grzanek, Konrad, Cader, Andrzej, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Rutkowski, Leszek, editor, Scherer, Rafał, editor, Tadeusiewicz, Ryszard, editor, Zadeh, Lotfi A., editor, and Zurada, Jacek M., editor

Published
2010
Full Text
View/download PDF

21. Implicit First Class Genericity

Author

Kuśmierek, Jaroslaw D. M., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Bergel, Alexandre, editor, and Fabry, Johan, editor

Published
2009
Full Text
View/download PDF

22. ACL2 Verification of Simplicial Degeneracy Programs in the Kenzo System

Author

Martín-Mateos, Francisco-Jesus, Rubio, Julio, Ruiz-Reina, Jose-Luis, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Carette, Jacques, editor, Dixon, Lucas, editor, Coen, Claudio Sacerdoti, editor, and Watt, Stephen M., editor

Published
2009
Full Text
View/download PDF

23. Lisp : Report on the 5th Workshop ELW at ECOOP 2008

Author

Verna, Didier, Herzeel, Charlotte, Rhodes, Christophe, Hübner, Hans, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, and Eugster, Patrick, editor

Published
2009
Full Text
View/download PDF

27. SBCL: A Sanely-Bootstrappable Common Lisp

Author

Rhodes, Christophe, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Hirschfeld, Robert, editor, and Rose, Kim, editor

Published
2008
Full Text
View/download PDF

28. A Tutorial on Object-Oriented Functional Programming

Author

Pop, Horia F., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Horváth, Zoltán, editor, Plasmeijer, Rinus, editor, Soós, Anna, editor, and Zsók, Viktória, editor

Published
2008
Full Text
View/download PDF

29. Lisp : Report on the 4th European Lisp Workshop at ECOOP 2007

Author

Rhodes, Christophe, Costanza, Pascal, D’Hondt, Theo, Lemmens, Arthur, Hübner, Hans, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Cebulla, Michael, editor

Published
2008
Full Text
View/download PDF

31. Lisp : Report on the '3rd European Lisp Workshop (ELW’06)' at ECOOP’06

Author

Rhodes, Christophe, Costanza, Pascal, D’Hondt, Theo, Lemmens, Arthur, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Rangan, C. Pandu, editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Südholt, Mario, editor, and Consel, Charles, editor

Published
2007
Full Text
View/download PDF

33. Refinement and Theorem Proving

Author

Manolios, Panagiotis, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Dough, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Bernardo, Marco, editor, and Cimatti, Alessandro, editor

Published
2006
Full Text
View/download PDF

34. An Editor for Lute Tablature

Author

Rhodes, Christophe, Lewis, David, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Dough, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Kronland-Martinet, Richard, editor, Voinier, Thierry, editor, and Ystad, Sølvi, editor

Published
2006
Full Text
View/download PDF

35. Distributed Exception Handling: Ideas, Lessons and Issues with Recent Exception Handling Systems

Author

Campéas, Aurélien, Dony, Christophe, Urtado, Christelle, Vauttier, Sylvain, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Guelfi, Nicolas, editor

Published
2005
Full Text
View/download PDF

47. Integrating Reasoning About Ordinal Arithmetic into ACL2

Author

Manolios, Panagiotis, Vroon, Daron, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Hu, Alan J., editor, and Martin, Andrew K., editor

Published
2004
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results