The synchronous data flow programming language LUSTRE |
N. Halbwachs and P. Caspi and P. Raymond and D. Pilaud |
1991 |
1868 |
193 |
JFlow: practical mostly-static information flow control |
A. Myers |
1999 |
1200 |
83 |
A Sound Type System for Secure Flow Analysis |
D. Volpano and C. Irvine and Geoffrey Smith |
1996 |
1126 |
93 |
First version of a data flow procedure language |
J. Dennis |
1974 |
700 |
28 |
Secure information flow in a multi-threaded imperative language |
Geoffrey Smith and D. Volpano |
1998 |
493 |
42 |
A highâlevel programmingâlanguage implementation of topology optimization applied to steadyâstate NavierâStokes flow |
L. H. Olesen and F. Okkels and H. Bruus |
2004 |
337 |
14 |
Secure information flow by self-compositionâ |
G. Barthe and P. DâArgenio and Tamara Rezk |
2011 |
315 |
23 |
A static analysis for quantifying information flow in a simple imperative language |
D. Clark and Sebastian Hunt and P. Malacaria |
2007 |
189 |
13 |
Caisson: a hardware description language for secure information flow |
Xun Li and Mohit Tiwari and J. Oberg and Vineeth Kashyap and F. Chong and T. Sherwood and B. Hardekopf |
2011 |
106 |
17 |
Precise, dynamic information flow for database-backed applications |
Jean Yang and Travis Hance and Thomas H. Austin and Armando Solar-Lezama and C. Flanagan and Stephen Chong |
2015 |
57 |
6 |
Quantifying Information Flow for Dynamic Secrets |
Piotr Mardziel and M. Alvim and M. Hicks and Michael R. Clarkson |
2014 |
48 |
1 |
A data flow language for operating systems programming |
P. Kosinski |
1973 |
40 |
1 |
Swift/T: scalable data flow programming for many-task applications |
J. Wozniak and Timothy G. Armstrong and M. Wilde and D. Katz and E. Lusk and Ian T Foster |
2013 |
40 |
2 |
Developed generalised unified power flow controller model in the NewtonâRaphson power-flow analysis using combined mismatches method |
S. Kamel and F. Jurado and Zhe Chen and M. Abdel-Akher and Mohamed Ebeed |
2016 |
34 |
0 |
Flexible dynamic information flow control in the presence of exceptions* |
D. Stefan and David Mazières and John C. Mitchell and Alejandro Russo |
2012 |
34 |
5 |
A Programming Language for Discrete Event Production Systems Based on Production Flow Schema and Mark Flow Graph |
P. Miyagi and K. Hasegawa and K. Takahashi |
1988 |
24 |
0 |
VIPERS: a data flow visual programming environment based on the Tcl language |
Massimo Bernini and M. Mosconi |
1994 |
21 |
3 |
Omega—A Data Flow Analysis Tool for the C Programming Language |
C. Wilson and L. Osterweil |
1985 |
20 |
1 |
FlowR: aspect oriented programming for information flow control in ruby |
Thomas Pasquier and J. Bacon and B. Shand |
2014 |
17 |
1 |
Language-based replay via data flow cut |
Ming Wu and Fan Long and Xi Wang and Zhilei Xu and Haoxiang Lin and Xuezheng Liu and Zhenyu Guo and Huayang Guo and Lidong Zhou and Zheng Zhang |
2010 |
13 |
0 |
The data flow programming language CAJOLE - an informal introduction |
C. Hankin and H. Glaser |
1981 |
13 |
0 |
BDL-A Nondeterministic Data Flow Programming Language with Backtracking |
Andy SchĂźrr |
1997 |
9 |
1 |
IDF: A graphical data flow programming language for image processing and computer vision |
N. Hunt |
1990 |
8 |
0 |
Not-so-free data flow in a visual data flow programming language |
M. Marttila-Kontio and Risto T. Honkanen |
2009 |
3 |
0 |
BDL-a nondeterministic data flow programming language with backtracking |
A. Schurr |
1997 |
2 |
0 |