1,771,246 research outputs found
On submanifolds whose shape operator is unipotent
Full text linkThe object of this article is to characterize submanifolds of the Euclidean space whose shape operator is unipoten
Il linguaggio di programmazione Scala
Full text linkQuesta tesina analizza il linguaggio di programmazione Scala, un linguaggio in grado di adattarsi al tipo di applicazione che si vuole creare. Scala può essere usato come linguaggio di scripting o come linguaggio per applicazioni complesse. Oltre ai costrutti basilari, nella tesina vengono spiegati altri concetti di programmazione riguardanti il linguaggio Scala come i tratti, la programmazione funzionale, il pattern matching, i tipi parametrici, i tipi astratti e gli attoriope
A scalable infrastructure for teaching concepts of programming languages in Scala with WebLab: An experience report
No full textIn this paper, we report on our experience in teaching a course on concepts of programming languages at TU Delft based on Krishnamurthi's PAPL book with the definitional interpreter approach using Scala as meta-language and using the WebLab learning management system. In particular, we discuss our experience with encoding of definitional interpreters in Scala using case classes, pattern matching, and recursive functions; offering this material in the web-based learning management system WebLab; automated grading and feedback of interpreter submissions using unit tests; testing tests to force students to formulate tests, instead of just implementing interpreters; generation of tests based on a reference implementation to reduce the effort of producing unit tests; and the construction of a product line of interpreters in order to maximize reuse and consistency between reference implementations.Programming Language
histogrammar-scala: 1.0.1
No full text<p>This version only changes poms so that the version on Maven Central exactly matches the version in GitHub. Until <a href="https://github.com/bokeh/bokeh-scala/issues/28">bokeh-scala issue #28</a> is fixed, we do not support Bokeh plotting in Scala 2.11.</p>
Scala
No full text2 immagini .jpg che documentano la maquette della proposta “1”: in questo caso il progetto prevedeva un affresco multisoggetto con fotogrammi ripresi dalla video installazione La figlia di Isacco con la quale Berruti partecipò alla Biennale di Venezia nel 2009
scala versione 1 (file jpg, 219x320 pixel, 96 dpi)
scala versione 1a (file jpg, 228x320 pixel, 96 dpi)
3 immagini .jpg che documentano la maquette della proposta “2”: in questa variante Berruti aveva previsto un unico soggetto per l’affresco che si sviluppava lungo l’intera altezza di sviluppo dei
piani.
scala versione 2 particolare (file jpg, 232x320 pixel, 96 dpi)
scala versione 2 (file jpg, 240 x 320 pixel, 96 dpi)
scala versione2b (file jpg, 211x320 pixel, 96 dpi)2 images documenting the maquette of the project’s version "1": in this case, the project consisted in a multi-subject painting with some frames taken from the video installation La Figlia di Isacco (Venice Biennale, 2009)
,
scala version 1 (file jpg, 219x320 pixel, 96 dpi)
scala version 1a (file jpg, 228x320 pixel, 96 dpi)
3 images documenting the maquette of the project’s version "2": in this case Berruti focused on one figure only, developed along the entire height of the floors.
scala version 2, detail (file jpg, 232x320 pixel, 96 dpi)
scala version 2 (file jpg, 240 x 320 pixel, 96 dpi)
scala version 2b (file jpg, 211x320 pixel, 96 dpi)Progetto site-specific: affresco sulle pareti di una grande scala di un palazzo del 1800 ristrutturata recentemente per il nuovo utilizzo dello stabile adibito a sede di una nota banca locale.
Inizialmente il progetto viene commissionato a Berruti dopo essere stato contattato direttamente dal direttore della banca.
All’evento di inaugurazione della nuova sede, Berruti apprende invece che il progetto è stato affidato a un altro artista.
Protagonista del progetto elaborato è ancora una volta l’infanzia, con la figura quasi stilizzata di una bambina che nel suo tratto così minimalista trova una forza espressiva dirompente.
Un’immagine di poetica leggerezza, che richiama alla mente di ciascuno di noi gli anni passati, i legami familiari e più genericamente la memoria.
Per la sua produzione artistica, Berruti usa la tecnica dell’affresco unita all’utilizzo di materiali poveri come la juta con la sua superficie grezza ma particolarmente resistente, materiale anch’esso legato alla tradizione.Site-specific project: fresco on the walls of a large scale of a nineteenth century building, recently renovated to become the site of a well-known italian bank.
Initially, Berruti was contacted directly by the Director of the Bank in order to realize the site specific project. Only during the vernissage of the new bank headquarter, Berruti discovered that the project had been given to another artist.
Childhood is once again the main concept of this work, with the almost stylized figure of a girl that is at the same time minimal and strongly expressive.
An image of poetic lightness, that reminds to all of us our past, the family ties and more generally the idea of memory.
As usual, Berruti uses the technique of fresco joining it with other materials such as jute with its surface which is rough and very durable, linked to the idea of tradition
Scala - Scalable Language
Full text linkScala è un linguaggio di programmazione multi-paradigna basato sulla JVM. Essendo funzionale e ad oggetti, fornisce delle soluzioni molto interessanti nel campo della programmazione concorrente. Inoltre, la possibilità di eseguire il codice in modalità REPL, interpretata o compilata lo rende interessante sia per la scrittura di software complessi che come linguaggio di scripting. La tesi tratta sintassi, lato ad oggetti, lato funzionale, per illustrare infine dei casi di utilizzo praticiope
Enhancing closures in scala 3 with spores3
No full textThe use of closures, a core language feature of functional programming languages, has become popular in the context of concurrent and distributed programming. Using closures in a concurrent or distributed setting increases safety hazards, however, due to captured variables. Previous work proposed spores, enhanced closures that increase safety by constraining their environment using types. This paper presents Spores3, a completely new library-based implementation of spores for Scala 3. It is shown how the new design is enabled by a unique combination of several new features in Scala 3. Moreover, Spores3 contributes a new, portable approach to serializing closures based on type classes. Its implementation supports the same serialization approach on both the JVM and the JavaScript backends of Scala. </p
scala-tptp-parser
No full textscala-tptp-parser is a library for parsing the input languages of the TPTP infrastructure.
The package contains a data structure for the abstract syntax tree (AST) of the parsed input as well as the parser for the different language of the TPTP, see http://tptp.org for details. In particular, the parser supports:
- THF (TH0/TH1): Monomorphic and polymorphic higher-order logic,
- TFF (TF0/TF1): Monomorphic and polymorphic typed first-order logic,
- FOF: Untyped first-order logic,
- CNF: (Untyped) clause-normal form, and
- TPI: TPTP Process Instruction language.Parser library written in Scala. Scala SBT is required to build the library.1.
- …
