Search results for "scala"

Hits ?▲	Authors	Title	Venue	Year	Link
19	Nikita A. Astrakhantsev	ATR4S: toolkit with state-of-the-art automatic terms recognition methods in Scala.	Lang. Resour. Evaluation	2018	DBLP DOI BibTeX RDF
19	M. Cristina Heredia-Gómez, Salvador García 0001, Pedro Antonio Gutiérrez, Francisco Herrera	OCAPIS: R package for Ordinal Classification And Preprocessing In Scala.	CoRR	2018	DBLP BibTeX RDF
19	John Hunt	A Beginner's Guide to Scala, Object Orientation and Functional Programming, Second Edition		2018	DOI RDF
19	Yunior Pacheco, Jonas De Bleser, Tim Molderez, Dario Di Nucci, Wolfgang De Meuter, Coen De Roover	Mining Extension Point Patterns in Scala.	BENEVOL	2018	DBLP BibTeX RDF
19	Ivan Valkov, Natalia Chechina, Phil Trinder	Comparing languages for engineering server software: erlang, go, and scala with akka.	SAC	2018	DBLP DOI BibTeX RDF
19	Klaus Havelund, Rajeev Joshi	Modeling with Scala.	ISoLA (1)	2018	DBLP DOI BibTeX RDF
19	Youssef El Bakouny, Dani Mezher	Scallina: Translating Verified Programs from Coq to Scala.	APLAS	2018	DBLP DOI BibTeX RDF
19	François Serre, Markus Püschel	A DSL-Based FFT Hardware Generator in Scala.	FPL	2018	DBLP DOI BibTeX RDF
19	Vlad Serbanescu 0001, Frank S. de Boer, Mohammad Mahdi Jaghoori	ASCOOP: Actors in Scala with Cooperative Scheduling.	CSE	2018	DBLP DOI BibTeX RDF
19	Youssef El Bakouny, Dani Mezher	The Scallina Grammar - Towards a Scala Extraction for Coq.	SBMF	2018	DBLP DOI BibTeX RDF
19	Gergely Nagy, Zoltán Porkoláb	Read-Copy-Update as a Possible Locking Strategy in Scala.	SQAMIA	2018	DBLP BibTeX RDF
19	Harald Köstler, Christian Schmitt 0003, Sebastian Kuckuk, Stefan Kronawitter, Frank Hannig, Jürgen Teich, Ulrich Rüde, Christian Lengauer	A Scala prototype to generate multigrid solver implementations for different problems and target multi-core platforms.	Int. J. Comput. Sci. Eng.	2017	DBLP DOI BibTeX RDF
19	Ruslan Batdalov, Oksana Nikiforova	Implementation of a MIX Emulator: A Case Study of the Scala Programming Language Facilities.	Appl. Comput. Syst.	2017	DBLP DOI BibTeX RDF
19	Philipp Haller, Fredrik Sommar	Towards an Empirical Study of Affine Types for Isolated Actors in Scala.	PLACES@ETAPS	2017	DBLP DOI BibTeX RDF
19	Philipp Haller, Ludvig Axelsson	Quantifying and Explaining Immutability in Scala.	PLACES@ETAPS	2017	DBLP DOI BibTeX RDF
19	Youssef El Bakouny, Tristan Crolard, Dani Mezher	A Coq-based synthesis of Scala programs which are correct-by-construction.	CoRR	2017	DBLP BibTeX RDF
19	Stanislav Poslavsky	Rings: an efficient Java/Scala library for polynomial rings.	CoRR	2017	DBLP BibTeX RDF
19	Arkadiusz Janik, Roman Janusz	Extensible, Fast And Secure Scala Expression Evaluation Engine.	J. Autom. Mob. Robotics Intell. Syst.	2017	DBLP DOI BibTeX RDF
19	Bhim P. Upadhyaya	Programming with Scala - Language Exploration		2017	DOI RDF
19	Martin Plümicke, Andreas Stadelmeier	Introducing Scala-like function types into Java-TX.	ManLang	2017	DBLP DOI BibTeX RDF
19	Ben Calus, Bob Reynders, Dominique Devriese, Job Noorman, Frank Piessens	FRP IoT modules as a Scala DSL.	REBLS@SPLASH	2017	DBLP DOI BibTeX RDF
19	Yanqiang Liu, Yao Li 0004, Weilun Xiong, Meng Lai, Cheng Chen, Zhengwei Qi, Haibing Guan	Scala Based FPGA Design Flow (Abstract Only).	FPGA	2017	DBLP BibTeX RDF
19	Klaus Havelund, Rajeev Joshi	Modeling Rover Communication Using Hierarchical State Machines with Scala.	SAFECOMP Workshops	2017	DBLP DOI BibTeX RDF
19	Klaus Havelund, Rajeev Joshi	Modeling and Monitoring of Hierarchical State Machines in Scala.	SERENE	2017	DBLP DOI BibTeX RDF
19	William Horn 0001, Gabriel Tanase, Hao Yu 0008, Pratap Pattnaik	A Linear Algebra-Based Programming Interface for Graph Computations in Scala and Spark.	IPDPS Workshops	2017	DBLP DOI BibTeX RDF
19	Youssef El Bakouny, Tristan Crolard, Dani Mezher	A Coq-based synthesis of Scala programs which are correct-by-construction.	FTfJP@ECOOP	2017	DBLP DOI BibTeX RDF
19	Norbert Oster, Marius Kamp, Michael Philippsen	AuDoscore: Automatic Grading of Java or Scala Homework.	ABP	2017	DBLP BibTeX RDF
19	Philipp Lengauer, Verena Bitto, Hanspeter Mössenböck, Markus Weninger	A Comprehensive Java Benchmark Study on Memory and Garbage Collection Behavior of DaCapo, DaCapo Scala, and SPECjvm2008.	ICPE	2017	DBLP DOI BibTeX RDF
19	Eugene Burmako	Unification of Compile-Time and Runtime Metaprogramming in Scala.		2017	DOI RDF
19	Alceste Scalas, Nobuko Yoshida	Lightweight Session Programming in Scala (Artifact).	Dagstuhl Artifacts Ser.	2016	DBLP DOI BibTeX RDF
19	James P. Balhoff	Scowl: a Scala DSL for programming with the OWL API.	J. Open Source Softw.	2016	DBLP DOI BibTeX RDF
19	Philipp Haller, Alexandre Loiko	Object Capabilities and Lightweight Affinity in Scala: Implementation, Formalization, and Soundness.	CoRR	2016	DBLP BibTeX RDF
19	Lars Hupel, Viktor Kuncak	Translating Scala Programs to Isabelle/HOL.	CoRR	2016	DBLP BibTeX RDF
19	Nikita A. Astrakhantsev	ATR4S: Toolkit with State-of-the-art Automatic Terms Recognition Methods in Scala.	CoRR	2016	DBLP BibTeX RDF
19	Vicenç Torra	Scala: From a Functional Programming Perspective - An Introduction to the Programming Language		2016	DOI RDF
19	Philipp Haller, Alexander Loiko	LaCasa: lightweight affinity and object capabilities in Scala.	OOPSLA	2016	DBLP DOI BibTeX RDF
19	Nada Amin, Ross Tate	Java and scala's type systems are unsound: the existential crisis of null pointers.	OOPSLA	2016	DBLP DOI BibTeX RDF
19	Sébastien Doeraene, Tobias Schlatter	Parallel incremental whole-program optimizations for Scala.js.	OOPSLA	2016	DBLP DOI BibTeX RDF
19	Mirko Viroli, Roberto Casadei, Danilo Pianini	Simulating Large-scale Aggregate MASs with Alchemist and Scala.	FedCSIS	2016	DBLP DOI BibTeX RDF
19	Edmund Soon Lee Lam, Iliano Cervesato	Let's Unify With Scala Pattern Matching!	UNIF	2016	DBLP BibTeX RDF
19	Felix Dietze, Johannes Karoff, André Calero Valdez, Martina Ziefle, Christoph Greven, Ulrik Schroeder	An Open-Source Object-Graph-Mapping Framework for Neo4j and Scala: Renesca.	CD-ARES	2016	DBLP DOI BibTeX RDF
19	John A. Miller 0001, Casey Bowman, Vishnu Gowda Harish, Shannon Quinn	Open Source Big Data Analytics Frameworks Written in Scala.	BigData Congress	2016	DBLP DOI BibTeX RDF
19	Gianluca C. Durelli, Fabrizio Spada, Christian Pilato, Marco D. Santambrogio	Scala-Based Domain-Specific Language for Creating Accelerator-Based SoCs.	IPDPS Workshops	2016	DBLP DOI BibTeX RDF
19	Alceste Scalas, Nobuko Yoshida	Lightweight Session Programming in Scala.	ECOOP	2016	DBLP DOI BibTeX RDF
19	Roberto Casadei, Mirko Viroli	Towards Aggregate Programming in Scala.	PMLDC@ECOOP	2016	DBLP DOI BibTeX RDF
19	Lars Hupel, Viktor Kuncak	Translating Scala Programs to Isabelle/HOL - System Description.	IJCAR	2016	DBLP DOI BibTeX RDF
19	Brendan Lawlor, Paul Walsh	The Weekend Warrior: How to Build a Genomic Supercomputer in Your Spare Time Using Streams and Actors in Scala.	UIC/ATC/ScalCom/CBDCom/IoP/SmartWorld	2016	DBLP DOI BibTeX RDF
19	Quentin Stiévenart, Maarten Vandercammen, Wolfgang De Meuter, Coen De Roover	Scala-AM: A Modular Static Analysis Framework.	SCAM	2016	DBLP DOI BibTeX RDF
19	Laura Moss, Martin Shaw, Ian Piper, Christopher Hawthorne, John Kinsella	Apache Spark for the Analysis of High Frequency Neurointensive Care Unit Data: Preliminary Comparison of Scala vs. R.	AMIA	2016	DBLP BibTeX RDF
19	Artem Pelenitsyn	Associated types and constraint propagation for generic programming in Scala.	Program. Comput. Softw.	2015	DBLP DOI BibTeX RDF
19	Karim Ali 0001, Marianna Rapoport, Ondrej Lhoták, Julian Dolby, Frank Tip	Type-Based Call Graph Construction Algorithms for Scala.	ACM Trans. Softw. Eng. Methodol.	2015	DBLP DOI BibTeX RDF
19	Stergios Papadimitriou, Kirsten Schwark, Seferina Mavroudi, Kostas A. Theofilatos, Spiridon Likothanasis	ScalaLab and GroovyLab: Comparing Scala and Groovy for Scientific Computing.	Sci. Program.	2015	DBLP DOI BibTeX RDF
19	Cyrille Artho, Klaus Havelund, Rahul Kumar 0001, Yoriyuki Yamagata	Domain-Specific Languages with Scala.	ICFEM	2015	DBLP DOI BibTeX RDF
19	Matías Toro, Éric Tanter	Customizable gradual polymorphic effects for Scala.	OOPSLA	2015	DBLP DOI BibTeX RDF
19	Dantong Song, Kaiwen Zhang 0001, Tilmann Rabl, Prashanth Menon, Hans-Arno Jacobsen	High performance stream queries in scala.	DEBS	2015	DBLP DOI BibTeX RDF
19	Amanj Sherwany, Nosheen Zaza, Nathaniel Nystrom	A Refactoring Library for Scala Compiler Extensions.	CC	2015	DBLP DOI BibTeX RDF
19	Hiroshi Yamaguchi, Shigeru Chiba	Inverse macro in Scala.	GPCE	2015	DBLP DOI BibTeX RDF
19	Martin Schoeberl	Scala for Real-Time Systems?	JTRES	2015	DBLP DOI BibTeX RDF
19	Maarten Vandercammen, Quentin Stiévenart, Wolfgang De Meuter, Coen De Roover	STRAF: A Scala Framework for Experiments in Trace-Based JIT Compilation.	GTTSE	2015	DBLP DOI BibTeX RDF
19	Zoltan A. Kocsis, Alexander E. I. Brownlee, Jerry Swan, Richard Senington	Haiku - a Scala Combinator Toolkit for Semi-automated Composition of Metaheuristics.	SSBSE	2015	DBLP DOI BibTeX RDF
19	Gábor Oláh, Gergely Nagy, Zoltán Porkoláb	Analyzing Scale-Free Properties in Erlang and Scala.	CEFP	2015	DBLP DOI BibTeX RDF
19	Andrea Fineschi, Alessandro Pozzebon	A 3D virtual tour of the Santa Maria della Scala Museum Complex in Siena, Italy, based on the use of Oculus Rift HMD.	IC3D	2015	DBLP DOI BibTeX RDF
19	Mandar Chandorkar, Raghvendra Mall, Oliver Lauwers, Johan A. K. Suykens, Bart De Moor	Fixed-Size Least Squares Support Vector Machines: Scala Implementation for Large Scale Classification.	SSCI	2015	DBLP DOI BibTeX RDF
19	Mariluz Guenaga, Jon Kepa Longarte, Alex Rayón	Standardized enriched rubrics to support competeney-assessment through the SCALA methodology and dashboard.	EDUCON	2015	DBLP DOI BibTeX RDF
19	Harald Köstler, Christian Schmitt 0003, Sebastian Kuckuk, Frank Hannig, Jürgen Teich, Ulrich Rüde	A Scala Prototype to Generate Multigrid Solver Implementations for Different Problems and Target Multi-Core Platforms.	CoRR	2014	DBLP BibTeX RDF
19	Felix Palludan Hargreaves, Daniel Merkle, Peter Schneider-Kamp	Group Communication Patterns for High Performance Computing in Scala.	CoRR	2014	DBLP BibTeX RDF
19	Martin Odersky, Tiark Rompf	Unifying functional and object-oriented programming with Scala.	Commun. ACM	2014	DBLP DOI BibTeX RDF
19	Vlad Patryshev	Introduction to the art of programming using Scala, by Mark C. Lewis, Chapman and Hall/CRC Press, 2012, £ 46.99 (paperback) ISBN-10: 1439896666.	J. Funct. Program.	2014	DBLP DOI BibTeX RDF
19	John Hunt	A Beginner's Guide to Scala, Object Orientation and Functional Programming		2014	DOI RDF
19	Alex Rayón, Mariluz Guenaga, Asier Núñez	Integrating and visualizing learner and social data to elicit higher-order indicators in SCALA dashboard.	I-KNOW	2014	DBLP DOI BibTeX RDF
19	Matic Potocnik, Uros Cibej, Bostjan Slivnik	Linter: a tool for finding bugs and potential problems in scala code.	SAC	2014	DBLP DOI BibTeX RDF
19	Klaus Havelund	Closing the Gap Between Specification and Programming: VDM++ and Scala.	HOWARD-60	2014	DBLP DOI BibTeX RDF
19	Alex Rayón, Mariluz Guenaga, Asier Nuñez	Heterogeneous Educational Data Integration and Knowledge Discovery to Supporting Competency Assessment in SCALA Web Tool.	EC-TEL	2014	DBLP DOI BibTeX RDF
19	Frank Feinbube, Lena Herscheid, Christoph Neijenhuis, Peter Tröger	Scalable SIFT with Scala on NUMA.	Euro-Par Workshops (1)	2014	DBLP DOI BibTeX RDF
19	Karim Ali 0001, Marianna Rapoport, Ondrej Lhoták, Julian Dolby, Frank Tip	Constructing Call Graphs of Scala Programs.	ECOOP	2014	DBLP DOI BibTeX RDF
19	Martin Odersky	The evolution of Scala: PLE'14 keynote.	PLE@ECOOP	2014	DBLP DOI BibTeX RDF
19	Felix Palludan Hargreaves, Daniel Merkle, Peter Schneider-Kamp	Group communication patterns for high performance computing in scala.	FHPC@ICFP	2014	DBLP DOI BibTeX RDF
19	Mark C. Lewis, Konstantin Läufer, George K. Thiruvathukal	Scala for introductory CS and parallelism(abstract only).	SIGCSE	2014	DBLP DOI BibTeX RDF
19	Yao Li 0004, Antonio Roldao Lopes, Zhouyun Xu, Zhengwei Qi, Haibing Guan	ScalaHDL: Express and test hardware designs in a Scala DSL.	ICCD	2014	DBLP DOI BibTeX RDF
19	Antonio Di Stasio 0001, Aniello Murano, Vincenzo Prignano, Loredana Sorrentino	Solving Parity Games in Scala.	FACS	2014	DBLP DOI BibTeX RDF
19	Filip Krikava, Philippe Collet, Robert B. France	SIGMA: Scala Internal Domain-Specific Languages for Model Manipulations.	MoDELS	2014	DBLP DOI BibTeX RDF
19	Evdokim Kovach, Alexey Alekhin, Marina Manrique, Pablo Pareja-Tobes, Eduardo Pareja, Raquel Tobes, Eduardo Pareja-Tobes	Nispero: a cloud-computing based Scala tool specially suited for bioinformatics data processing.	IWBBIO	2014	DBLP BibTeX RDF
19	Klaus Havelund	Data Automata in Scala.	TASE	2014	DBLP DOI BibTeX RDF
19	Arif Wider	Implementing a Bidirectional Model Transformation Language as an Internal DSL in Scala.	EDBT/ICDT Workshops	2014	DBLP BibTeX RDF
19	Lukas Rytz	A Practical Effect System for Scala.		2014	DOI RDF
19	Stefano Scialò	Development and analysis of a novel optimization approach for the simulation of the flow in large scale discrete fracture networks with non-conforming finite elements / Sviluppo ed analisi di un nuovo approccio per la simulazione del flusso in network discreti di fratture su larga scala basato su un metodo di ottimizzazione ed elementi finiti su griglie non conformi.		2014	RDF
19	Daniel Goodman 0001, Behram Khan, Salman Khan 0002, Mikel Luján, Ian Watson	Software transactional memories for Scala.	J. Parallel Distributed Comput.	2013	DBLP DOI BibTeX RDF
19	Felix Palludan Hargreaves, Daniel Merkle	FooPar: A Functional Object Oriented Parallel Framework in Scala	CoRR	2013	DBLP BibTeX RDF
19	John Hunt	Scala Design Patterns - Patterns for Practical Reuse and Design.		2013	DOI RDF
19	Alexandru Turcu, Binoy Ravindran, Roberto Palmieri	Hyflow2: a high performance distributed transactional memory framework in scala.	PPPJ	2013	DBLP DOI BibTeX RDF
19	Klaus Havelund	A Scala DSL for Rete-Based Runtime Verification.	RV	2013	DBLP DOI BibTeX RDF
19	Samira Tasharofi, Peter Dinges, Ralph E. Johnson	Why Do Scala Developers Mix the Actor Model with other Concurrency Models?	ECOOP	2013	DBLP DOI BibTeX RDF
19	Georg Ofenbeck, Tiark Rompf, Alen Stojanov, Martin Odersky, Markus Püschel	Spiral in scala: towards the systematic construction of generators for performance libraries.	GPCE	2013	DBLP DOI BibTeX RDF
19	Mark C. Lewis, Konstantin Läufer, George K. Thiruvathukal	Using Scala strategically across the undergraduate curriculum (abstract only).	SIGCSE	2013	DBLP DOI BibTeX RDF
19	Mattia Denti, Jukka K. Nurminen	Performance and Energy-Efficiency of Scala on Mobile Devices.	NGMAST	2013	DBLP DOI BibTeX RDF
19	Xiao Liu, John Kubiatowicz	Chisel-Q: Designing quantum circuits with a scala embedded language.	ICCD	2013	DBLP DOI BibTeX RDF
19	Felix Palludan Hargreaves, Daniel Merkle	FooPar: A Functional Object Oriented Parallel Framework in Scala.	PPAM (2)	2013	DBLP DOI BibTeX RDF
19	Jonathan Passerat-Palmbach, Romain Reuillon, Claude Mazel, David R. C. Hill	Prototyping parallel simulations on manycore architectures using Scala: A case study.	HPCS	2013	DBLP DOI BibTeX RDF
19	Andrew Bate	Scalable Performance for Scala Message-Passing Concurrency.	CPA	2013	DBLP BibTeX RDF
19	Kazunori Sakamoto, Hiroaki Hosono, Seiji Sato, Hironori Washizaki, Yoshiaki Fukazawa	Goal-oriented requirements analysis and an extended design pattern using scala for artificial intelligence programming contests.	GAS@ICSE	2013	DBLP DOI BibTeX RDF