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

FLUX

FLUX

FLUX is a pl created in 2014 by Paul O’Shannessy.

#158on PLDB 8Years Old 28.1kUsers
7Books 11Papers 187Repos

Application Architecture for Building User Interfaces


Example from the web:
// concrete node signatures Listen () => (int socket); ReadRequest (int socket) => (int socket, bool close, image_tag *request); CheckCache (int socket, bool close, image_tag *request) => (int socket, bool close, image_tag *request); // omitted for space: // ReadInFromDisk, StoreInCache Compress (int socket, bool close, image_tag *request, __u8 *rgb_data) => (int socket, bool close, image_tag *request); Write (int socket, bool close, image_tag *request) => (int socket, bool close, image_tag *request); Complete (int socket, bool close, image_tag *request) => (); // source node source Listen => Image; // abstract node Image = ReadRequest -> CheckCache -> Handler -> Write -> Complete; // predicate type & dispatch typedef hit TestInCache; Handler:[_, _, hit] = ; Handler:[_, _, _] = ReadInFromDisk -> Compress -> StoreInCache; // error handler handle error ReadInFromDisk => FourOhFor; // atomicity constraints atomic CheckCache:{cache}; atomic StoreInCache:{cache}; atomic Complete:{cache};

Language features

Feature Supported Example Token
Comments
// A comment
Line Comments
// A comment
//
Semantic Indentation ϴ

Books about FLUX from ISBNdb

title authors year publisher
Dynamic Software Development: Managing Projects in Flux Wells, Timothy 2002 Auerbach Publications
Flux Architecture Adam Boduch 24-05-2016 Packt Publishing
Quantum Flux Parametron Goto Eiichi 19910330 World Scientific Publishing
Flux Corrected Transport : Principles, Algorithms, and Applications Dimitri Kuzmin and Rainald Lohner and Stefan Turek 2005 Springer
Compromise programming approach to welding flux optimization Ayobami Allu and Ademola Adeyeye 2018-08-15 LAP LAMBERT Academic Publishing
Structural Optimization and Thermal modeling of Flux Switching Machine Noman Nisar 2015-03-16 LAP LAMBERT Academic Publishing
Dc Flux Parametron: A New Approach To Josephson Junction Logic Goto Eiichi 19860801 World Scientific Publishing

Publications about FLUX from Semantic Scholar

title authors year citations influentialCitations
The Flux OS Toolkit: reusable components for OS implementation B. Ford and Kevin Van Maren and J. Lepreau and Stephen Clawson and Bart Robinson and J. Turner 1997 33 1
Addressing the Qualification Problem in FLUX Yves Martin and M. Thielscher 2001 11 0
A Systems Biology Tool for Flux Analysis of Metabolic Pathways Karthik Raman and N. Chandra 2008 11 3
Performance analysis of a neural flux observer for a bearingless induction machine with divided windings V. F. Victor and J. de Paiva and A. Salazar and A. Maitelli 2009 7 0
Optimization of Flux Cored Arc Welding Process Parameter Using Genetic and Memetic Algorithms T. Kannan and N. Murugan and B. N. Sreeharan 2013 7 0
Controlling Semi-automatic Systems with FLUX M. Thielscher 2003 4 0
The Online Determination of Bubble Surface Area Flux Using the CiDRA GH-100 Sonar Gas Holdup Meter P. Amelunxen and P. Rothman 2009 4 1
An Online Provenance Service for Distributed Metabolic Flux Analysis Workflows T. Dalman and M. Weitzel and W. Wiechert and Bernd Freisleben and K. Nöh 2011 4 0
Flux density models for the switched reluctance machine M. Hassanin and M. Alrifai and D. Torrey and F. Ahmed and M.H. Shaker El-Markabi 1996 2 0
Development of a computer code for neutronic calculations of a hexagonal lattice of nuclear reactor using the flux expansion nodal method M. Mohammadnia and A. Pazirandeh and M. Sedighi 2013 2 0
Handling negative disjunction constraints (or_not_holds) in FLUX Yisong Liu and Zhihua Yin and Huijuan Zhu and Lili Wang 2010 1 0
terra.html · flux.html · hack.html

View source

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