Ambrose Bonnaire-Sergeant, Rowan Davies, Sam Tobin-Hochstadt,
Typed Clojure is an optional type system for Clojure, a dynamic language in the Lisp family that targets the JVM. Typed Clojure enables Clojure programmers to gain greater confidence in the correctness ... via static type checking while remaining in the Clojure world, and has acquired significant adoption in the Clojure community. Typed Clojure repurposes Typed Racket's occurrence typing, an approach ... several new type system features to handle existing Clojure idioms. In this paper, we describe Typed Clojure ...
Tópico(s): Software Testing and Debugging Techniques
2016 - Springer Science+Business Media | Lecture notes in computer science
Clojure was designed to be a general-purpose, practical functional language, suitable for use by professionals wherever ... Initially designed in 2005 and released in 2007, Clojure is a dialect of Lisp, but is not ... multithreaded programs without the complexity of mutex locks. Clojure is intentionally hosted, in that it compiles to ... strategy; numerous features ensure that programs written in Clojure can leverage and interoperate with the libraries of ... time) rather unpopular ideas, functional programming and Lisp, Clojure has since seen adoption in industries as diverse ...
Tópico(s): Parallel Computing and Optimization Techniques
2020 - Association for Computing Machinery | Proceedings of the ACM on Programming Languages
... API in the functional, JVM-based Lisp dialect Clojure. FunnyQT targets the modeling frameworks JGraLab and EMF, ... development, so this paper focuses on the former. Clojure API. FunnyQT is not a separate language with its own concrete syntax and semantics, but a Clojure API, i.e., FunnyQT queries are essentially Clojure expressions. Clojure's JVM-basing guarantees efficient and wrapper-free ... existing Java libraries including almost all modeling frameworks. Clojure provides a large set of features including higher- ...
Tópico(s): Data Management and Algorithms
2013 - Springer Science+Business Media | Lecture notes in computer science
Over the past two years (2008-2010), Clojure (http:// clojure.org) has made quite a splash in two areas: functional programming and the Java Virtual Machine (JVM). Clojure is a Lisp implementation on the JVM, offering its users significant elegance, simplicity, and power. Although Clojure is a fairly young language, it's extremely ... re doing yourself a disservice by not considering Clojure as an option. That being said, beauty is ... at Compojure, a Web framework built on the Clojure language, and see how to create and deploy ...
Tópico(s): Scientific Computing and Data Management
2010 - IEEE Computer Society | IEEE Internet Computing
Ruben Hamers, Sung-Shik Jongmans,
... a runtime verification framework for communication protocols in Clojure. Discourje guarantees safety of protocol implementations relative to ... a formal foundation and is itself implemented in Clojure to offer a seamless specification–implementation experience. Benchmarks ...
Tópico(s): Distributed systems and fault tolerance
2020 - Springer Science+Business Media | Lecture notes in computer science
Karim Ali, Xiaoni Lai, Zhaoyi Luo, Ondřej Lhoták, Julian Dolby, Frank Tip,
... bytecodes for these languages, and also for Groovy, Clojure, Python, and Ruby. However, we also show that ... In particular, the JVM-hosted implementations of Groovy, Clojure, Python, and Ruby produce very unsound call graphs, ...
Tópico(s): Logic, programming, and type systems
2019 - IEEE Computer Society | IEEE Transactions on Software Engineering
... a hybrid, embedded Domain Specific Language (DSL) for Clojure. Grape is a lightweight approach to computing with persistent graphs within Clojure. It combines the ease of use of a ...
Tópico(s): Advanced Software Engineering Methodologies
2017 - Springer Science+Business Media | Lecture notes in computer science
Kiko Fernandez-Reyes, Dave Clarke, Daniel S. McCain,
... extended the programming languages Encore (actor-based), and Clojure (functional) with an asynchronous parallel abstraction called ParT, ... abstracting away from details of the Encore and Clojure programming languages. The calculus includes tasks, futures, and ...
Tópico(s): Distributed systems and fault tolerance
2016 - Springer Science+Business Media | Lecture notes in computer science
... which is called Magic Potion, is implemented in Clojure and blends ontology, functional, object-oriented, and concurrent ...
Tópico(s): Model-Driven Software Engineering Techniques
2011 - Institute of Electrical and Electronics Engineers | IEEE Transactions on Systems Man and Cybernetics Part C (Applications and Reviews)
Gheorghe Pinzaru, Víctor Rivera,
... programming languages. This paper proposes a translation of Clojure programs into Boogie. Thus, users can write formal specifications of Clojure programs, using pre- and postconditions that are supported ... its specifications. This enables users to formally prove Clojure programs enriched with pre- and post-conditions. This ...
Tópico(s): Distributed systems and fault tolerance
2019 - Springer Science+Business Media | Lecture notes in computer science
Martin Kalin, D. Craig Miller,
Clojure is a Lisp language designed to run on a Java Virtual Machine (JVM) and interoperate automatically with all Java libraries. However, compared to Java, Clojure has a concurrency API that encourages programmers to take advantage of multicore architectures through multithreading, but Clojure doesn't burden programmers with low-level thread- ...
Tópico(s): Real-Time Systems Scheduling
2012 - AIP Publishing | Computing in Science & Engineering
Jordan Plieskatt, Gabriel Rinaldi, Paul J. Brindley, Xinying Jia, Jeremy Potriquet, Jeffrey M. Bethony, Jason Mulvenna,
... of biological sequence data written in the language Clojure. BioClojure aims to provide a functional framework for ... parsers for analyzing their output. All interfaces leverage Clojure’s functional style and emphasize laziness and composability, ...
Tópico(s): Genetics, Bioinformatics, and Biomedical Research
2014 - Oxford University Press | Bioinformatics
Ruben Hamers, Sung-Shik Jongmans,
... programmers cope with message-passing concurrency bugs in Clojure programs, based on run-time verification and dynamic ...
Tópico(s): Logic, programming, and type systems
2020 - Springer Science+Business Media | Lecture notes in computer science
FunnyQT is a Clojure library supplying a comprehensive set of model querying and transformation services to the user. These are provided as APIs ...
Tópico(s): Semantic Web and Ontologies
2015 - Springer Science+Business Media | Lecture notes in computer science
Michael J. Steindorfer, Jurgen Vinju,
... of recent Java Virtual Machine languages, such as Clojure or Scala, contain scalable and well-performing immutable ... a canonical representation. It outperforms Scala’s and Clojure’s data structure implementations in terms of memory ...
Tópico(s): Advanced Data Storage Technologies
2015 - Association for Computing Machinery | ACM SIGPLAN Notices
Last issue, Aaron Bedra wrote about Compojure, a Clojure-based Web framework. Here, I follow up on ... into one particular aspect of Web development using Clojure and Compojure: templating. On a recent project, I ... working with Bedra, using Compojure. I had done Clojure programming before, but that project was the first ...
Tópico(s): Web Applications and Data Management
2010 - IEEE Computer Society | IEEE Internet Computing
Preetha Chatterjee, Kostadin Damevski, Nicholas A. Kraft, Lori Pollock,
... annotated Slack conversations in four programming communities (python, clojure, elm, and racket) indicates that our approach can ...
Tópico(s): Software Engineering Research
2021 - Association for Computing Machinery | ACM Transactions on Software Engineering and Methodology
Sarah Azouvi, Mary Maller, Sarah Meiklejohn,
... comparison, in two popular open-source programming languages: Clojure and Rust. We find that for both cryptocurrencies ...
Tópico(s): Peer-to-Peer Network Technologies
2019 - Springer Science+Business Media | Lecture notes in computer science
... structures. Like the battle-tested immutable sequences of Clojure and Scala, they have effectively constant lookup and ...
Tópico(s): Distributed systems and fault tolerance
2017 - Association for Computing Machinery | Proceedings of the ACM on Programming Languages
David Tolpin, Jan-Willem van de Meent, Frank Wood,
... a probabilistic programming system designed to interoperate with Clojure and other JVM languages. We describe the implementation ...
Tópico(s): Probability and Statistical Research
2015 - Springer Science+Business Media | Lecture notes in computer science
Dan Hammer, Robin Kraft, David Wheeler,
... is used to assess spatial accuracy. Implemented in Clojure and Java on the Hadoop distributed data processing ...
Tópico(s): Species Distribution and Climate Change
2014 - Elsevier BV | International Journal of Applied Earth Observation and Geoinformation
Sofia Panagiotidi, Sergio Álvarez-Napagao, Javier Vázquez-Salceda,
... translation of these semantics to actual implementation languages (Clojure and Drools for norm monitoring and TLPlan for ...
Tópico(s): Multi-Agent Systems and Negotiation
2014 - Springer Science+Business Media | Lecture notes in computer science
Sofia Panagiotidi, Sergio Álvarez-Napagao, Javier Vázquez-Salceda,
... translation of these semantics to actual implementation languages (Clojure and Drools for norm monitoring and TLPlan for ...
Tópico(s): Multi-Agent Systems and Negotiation
2014 - Springer Science+Business Media | Lecture notes in computer science
Produção Nacional
Revisado por pares
Robert Pergl, Tiago Prince Sales, Zdeněk Rybola,
... dividing state and identity as introduced in the Clojure programming language.
Tópico(s): Business Process Modeling and Analysis
2013 - Springer Science+Business Media | Lecture notes in computer science
ClojureScript is a compiler from a Clojure-like functional programming language to JavaScript. ClojureScript features deep integration with the Google Closure JavaScript library and whole-program optimizing compiler. ClojureScript ...
Tópico(s): Distributed and Parallel Computing Systems
2011 - IEEE Computer Society | IEEE Internet Computing
... The language I use in the examples is Clojure, a modern dialect of Lisp.
Tópico(s): Numerical Methods and Algorithms
2009 - AIP Publishing | Computing in Science & Engineering
... for Lego Mindstorms NXT. cljRobust is based on Clojure, which is a modern, concurrent dialect of the ...
Tópico(s): Robotics and Automated Systems
2010 - Springer Science+Business Media | Lecture notes in computer science
... and applied multilayered perceptron (MLP), voted perceptron (VP), Clojure classifier (CC), kernel logistic regression (KLR), stochastic gradient ...
Tópico(s): Pleural and Pulmonary Diseases
2020 - IOS Press | Technology and Health Care
Avishek Choudhury, Burak Ekşioğlu,
... Perceptron Classifier, Voted Perceptron, Hoeffding Tree, and the Clojure Classifier. The performance of these predictive methods were ...
Tópico(s): Occupational and environmental lung diseases
2019 - RELX Group (Netherlands) | SSRN Electronic Journal
Toshiki Takeuchi, Atsuo Yamada, Takashi Aoki, Kunihiro Nishimura,
... is required.We have developed cljam using the Clojure programming language, which simplifies parallel programming, to handle ... e.g., Windows, Linux, Mac OS X) with Clojure.Cljam can process and analyze SAM/BAM files ... with SAMtools. The cljam code is written in Clojure and has fewer lines than other similar tools.
Tópico(s): RNA and protein synthesis mechanisms
2016 - BioMed Central | Source Code for Biology and Medicine