Skip to search formSkip to main contentSkip to account menu

Alice

Known as: Alice ML 
Alice ML is a programming language designed by the Programming Systems Laboratory at Saarland University, Saarbrücken, Germany. It is a dialect of… 
Wikipedia (opens in a new tab)

Related topics

Related topics

22 relations
Compiled languageConcurrency (computer science)Concurrent computingConcurrent constraint logic programming

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
Model checking a C++ software framework: a case study
This paper presents a case study on applying two model checkers, Spin and Divine, to verify key properties of a C++ software… 
2016
2016
Disturbance Legacy on Soil Carbon Stocks and Stability within a Coastal Temperate Forest of Southwestern British Columbia, Canada
Although it has been recognized that soils play a critical role in carbon storage and that coastal temperate forests have… 
2015
2015
Slovenia as a bridge between Italy and the Balkans
[Slovenia as a bridge between Italy and the Balkans] Slovenia and Italy could play an utmost important role in Balkans. Slovenia… 
2013
2013
A Rhetorical Analysis of Strategic Communication in the Amalga Barrens Wetlands Controversy
Review
2009
Review
2009
Signal Processing in the Pure Programming Language
This paper introduces the author’s new functional programming language Pure and discusses its use as a scripting language in… 
2008
2008
Incomplete Information and Informative Pricing
This paper studies the information contained in the equilibrium aggregate price level of an economy where firms make output price… 
2008
2008
Incomplete Information and Informative Pricing: Theory and Application
This paper studies the information contained in the equilibrium aggregate price level of an economy where firms make output price… 
Review
2007
Review
2007
The ALICE-LHC online data quality monitoring framework
ALICE is one of the experiments under installation at CERN Large Hadron Collider, dedicated to the study of heavy-ion collisions… 
2006
2006
Dancing feminisms and intertextuality
This thesis investigates representations of dancing women in three postmodern novels, arguing that their radical revisions of… 
2002
2002
Alice Neel : women
This book presents a collection of powerful portraits of women by one of the twentieth century's most intriguing artists. Alice… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)