PLDB
Languages Features Calendar CSV Lists Blog About Sponsor Add Language
GitHub icon

SPARK

SPARK

SPARK is a pl created in 1988.

#330on PLDB 34Years Old 2.0kUsers
22Books 30Papers

SPARK is a formally defined computer programming language based on the Ada programming language, intended for the development of high integrity software used in systems where predictable and highly reliable operation is essential. It facilitates the development of applications that demand safety, security, or business integrity. Originally, there were three versions of the SPARK language (SPARK83, SPARK95, SPARK2005) based on Ada 83, Ada 95 and Ada 2005 respectively. Read more on Wikipedia...


Example from Wikipedia:
procedure Increment (X聽: in out Counter_Type) with Global => null, Depends => (X => X), Pre => X < Counter_Type'Last, Post => X = X'Old + 1;

Books about SPARK from ISBNdb

title authors year publisher
A collection of Advanced Data Science and Machine Learning Interview Questions Solved in Python and Spark (II): Hands-on Big Data and Machine ... of Programming Interview Questions) Gulli, Dr Antonio 2015 CreateSpace Independent Publishing Platform
Apache Spark 2 for Beginners Thottuvaikkatumana, Rajanarayanan 2016 Packt Publishing
Spark for Data Science Duvvuri, Srinivas and Singhal, Bikramaditya 2016 Packt Publishing
Guide to High Performance Distributed Computing: Case Studies with Hadoop, Scalding and Spark (Computer Communications and Networks) Srinivasa, K.G. and Muppalla, Anil Kumar 2015 Springer
Beginning Apache Spark Using Azure Databricks Robert Ilijason 20200611 Springer Nature
Learning Spark Holden Karau; Andy Konwinski; Patrick Wendell; Matei Zaharia 2015 O'Reilly Media, Inc.
Scala and Spark for Big Data Analytics: Explore the concepts of functional programming, data streaming, and machine learning Karim, Md. Rezaul and Alla, Sridhar 2017 Packt Publishing
Frank Kane's Taming Big Data with Apache Spark and Python Kane, Frank 2017 Packt Publishing
Apache Spark in 24 Hours, Sams Teach Yourself Aven, Jeffrey 2016 Sams Publishing
Spark Cookbook Yadav, Rishi 2015 Packt Publishing
Beginning Apache Spark 2: With Resilient Distributed Datasets, Spark SQL, Structured Streaming and Spark Machine Learning library Luu, Hien 2018 Apress
Data Analytics with Spark Using Python (Addison-Wesley Data & Analytics Series) Aven, Jeffrey 2018 Addison-Wesley Professional
Big Data Analytics with Spark: A Practitioner's Guide to Using Spark for Large Scale Data Analysis Guller, Mohammed 2015 Apress
Scala Programming for Big Data Analytics: Get Started With Big Data Analytics Using Apache Spark Elahi, Irfan 2019-07-06T00:00:01Z Apress
Building Data Streaming Applications with Apache Kafka: Design, develop and streamline applications using Apache Kafka, Storm, Heron and Spark Kumar, Manish and Singh, Chanchal 2017 Packt Publishing
LEGO MINDSTORMS NXT One-Kit Wonders: Ten Inventions to Spark Your Imagination James Floyd Kelly and Matthias Paul Scholz and Christopher R. Smith and Martijn Boogaarts and Jonathan Daudelin and Eric D. Burdo and Laurens Valk and BlueTooth Kiwi 2008 No Starch Press
Apache Spark Graph Processing Ramamonjison, Rindra 2015 Packt Publishing
Scala and Spark for Big Data Analytics: Explore the concepts of functional programming, data streaming, and machine learning Karim, Md. Rezaul and Alla, Sridhar 2017-07-25T00:00:01Z Packt Publishing
Apache Spark Deep Learning Cookbook: Over 80 recipes that streamline deep learning in a distributed environment with Apache Spark Sherif, Ahmed and Ravindra, Amrith 2018 Packt Publishing
Fast Data Processing with Spark 2 - Third Edition Sankar, Krishna 2016 Packt Publishing
Apache Spark 2.x Cookbook: Cloud-ready recipes for analytics and data science Yadav, Rishi 2017 Packt Publishing
Scala Programming Projects: Build real world projects using popular Scala frameworks like Play, Akka, and Spark Valot, Mikael and Jorand, Nicolas 2018 Packt Publishing

Publications about SPARK from Semantic Scholar

title authors year citations influentialCitations
Spark SQL: Relational Data Processing in Spark Michael Armbrust and Reynold Xin and Cheng Lian and Yin Huai and Davies Liu and Joseph K. Bradley and X. Meng and Tomer Kaftan and M. Franklin and A. Ghodsi and M. Zaharia 2015 1155 207
Big data analytics on Apache Spark Salman Salloum and Ruslan Dautov and Xiaojun Chen and P. Peng and J. Huang 2016 154 9
SparkR: Scaling R Programs with Spark S. Venkataraman and Zongheng Yang and Davies Liu and Eric Liang and H. Falaki and X. Meng and Reynold Xin and A. Ghodsi and M. Franklin and I. Stoica and M. Zaharia 2016 64 6
Big Data Analytics with Spark M. Guller 2015 46 3
An Apache Spark Implementation for Sentiment Analysis on Twitter Data Alexandros Baltas and Andreas Kanavos and A. Tsakalidis 2016 28 1
Collaborative filtering recommendation algorithm based on Hadoop and Spark B. Kupisz and O. Unold 2015 24 1
Verification and testing of mobile robot navigation algorithms: A case study in SPARK P. Trojanek and K. Eder 2014 16 0
Accelerating Apache Spark with FPGAs Ehsan Ghasemi and P. Chow 2019 15 1
Accelerating Apache Spark Big Data Analysis with FPGAs Ehsan Ghasemi and P. Chow 2016 9 1
Processing large-scale data with Apache Spark Seyoon Ko and Joong-Ho Won 2016 7 0
A comparative between hadoop mapreduce and apache Spark on HDFS Mohamed Saouabi and Abdellah Ezzati 2017 7 1
Vispark: GPU-accelerated distributed visual computing using spark Woohyuk Choi and Sumin Hong and W. Jeong 2015 5 0
Accelerating Apache Spark Big Data Analysis with FPGAs Ehsan Ghasemi and P. Chow 2016 5 0
Property-Based Testing for Spark Streaming A. Riesco and J. Rodr铆guez-Hortal谩 2018 5 0
Practical Application of SPARK to OpenUxAS M. Aiello and Claire Dross and P. Rogers and Laura R. Humphrey and James Hamil 2019 4 0
Software vulnerabilities precluded by spark Joyce L. Tokar and F. D. Jones and P. Black and Chris E. Dupilka 2011 3 0
SWRL Parallel Reasoning Method with Spark SQL Wan Li and Huaai Kang and Dongbo Ma and Weiwei Wei 2019 3 0
SWRL Parallel Reasoning Implementation with Spark SQL Wan Li and Huaai Kang and Dongbo Ma and Weiwei Wei 2020 3 0
DatalogRA: datalog with recursive aggregation in the spark RDD model Marek Rogala and J. Hidders and J. Sroka 2016 2 0
Optimized Parallelization of Binary Classification Algorithms Based on Spark Yushui Geng and Jianguo Zhang 2016 2 0
Large-Scale Text Similarity Computing with Spark Xiaoan Bao and Dai Shichao and N. Zhang and Chenghai Yu 2016 2 0
Performance Analysis Using Apriori Algorithm Along with Spark and Python F. Gao and C. Bhowmick and Jiangjiang Liu 2018 2 0
Teaching Deductive Verification Through Frama-C and SPARK for Non Computer Scientists L茅o Creuse and Claire Dross and C. Garion and J. Hugues and Joffrey Huguet 2019 2 0
Performance evaluation of Apache Hadoop and Apache Spark for parallelization of compute-intensive tasks Alexander D枚schl and Max-Emanuel Keller and P. Mandl 2020 2 0
Spark and Scala (keynote) Reynold Xin 2017 1 0
Processing Large Raster and Vector Data in Apache Spark Stefan Hagedorn and O. Birli and K. Sattler 2019 1 0
Comparison of MPI and Spark for Data Science Applications Manvi Saxena and S. Jha and Saba Khan and John Rodgers and P. Lindner and E. Gabriel 2020 1 0
Translation of Array-Based Loops to Spark SQL Md Hasanuzzaman Noor and L. Fegaras 2020 1 0
A Study of Big Data Analytics using Apache Spark with Python and Scala Y. Gupta and Surbhi Kumari 2020 1 0
Integration of Cassandra and Spark in Computer Aided Drug Design R. NithaV 2021 1 0
punched-tape.html 路 spark.html 路 asn-1.html

View source

PLDB - Build the next great programming language 路 v2022 Day 33 Docs Build Acknowledgements Traffic Today Traffic Trends Mirrors GitHub feedback@pldb.com