Abstract
No abstract available.
Cited By
- Sane A and Valadi J Teaching Programmers to Think of Program Dynamics Proceedings of the ACM Conference on Global Computing Education Vol 1, (140-146)
- Krs V, Měch R, Gaillard M, Carr N and Benes B (2021). PICO: Procedural Iterative Constrained Optimizer for Geometric Modeling, IEEE Transactions on Visualization and Computer Graphics, 27:10, (3968-3981), Online publication date: 1-Oct-2021.
- Zhao T, Berger A and Li Y Asynchronous monad for reactive IoT programming Proceedings of the 7th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, (25-37)
- Mokhov S, Song M, Mudur S and Grogono P Hands-on ACM SIGGRAPH 2019 Studio, (1-33)
- Mokhov S, Song M, Mudur S and Grogono P Hands-on SIGGRAPH Asia 2018 Courses, (1-32)
- Melkonian O and Charalambidis A RHEA: a reactive, heterogeneous, extensible, and abstract framework for dataflow programming Proceedings of the 5th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, (11-20)
- Bourke T, Brun L, Dagand P, Leroy X, Pouzet M and Rieg L (2017). A formally verified compiler for Lustre, ACM SIGPLAN Notices, 52:6, (586-601), Online publication date: 14-Sep-2017.
- Mainland G and Shanmugam S From high-level radio protocol specifications to efficient low-level implementations via partial evaluation Proceedings of the 6th ACM SIGPLAN International Workshop on Functional High-Performance Computing, (1-11)
- Mokhov S, Song M, Mudur S and Grogono P Hands-on ACM SIGGRAPH 2017 Studio, (1-29)
- Bourke T, Brun L, Dagand P, Leroy X, Pouzet M and Rieg L A formally verified compiler for Lustre Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, (586-601)
- Haubenwallner K, Seidel H and Steinberger M (2017). ShapeGenetics, Computer Graphics Forum, 36:2, (213-223), Online publication date: 1-May-2017.
- Song M, Mokhov S, Mudur S and Grogono P Hands-on SIGGRAPH ASIA 2016 Courses, (1-29)
- Boechat P, Dokter M, Kenzel M, Seidel H, Schmalstieg D and Steinberger M (2016). Representing and scheduling procedural generation using operator graphs, ACM Transactions on Graphics, 35:6, (1-12), Online publication date: 11-Nov-2016.
- Song M, Mokhov S, Mudur S and Grogono P Rapid interactive real-time application prototyping for media arts and stage performance SIGGRAPH Asia 2015 Courses, (1-11)
- Ertel S, Fetzer C and Felber P Ohua Proceedings of the Principles and Practices of Programming on The Java Platform, (51-64)
- Petricek T, Orchard D and Mycroft A (2014). Coeffects, ACM SIGPLAN Notices, 49:9, (123-135), Online publication date: 26-Nov-2014.
- Petricek T, Orchard D and Mycroft A Coeffects Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, (123-135)
- Chen N and Johnson R JFlow Proceedings of the 28th IEEE/ACM International Conference on Automated Software Engineering, (202-212)
- Ohshima Y, Lunzer A, Freudenberg B and Kaehler T KScript and KSWorld Proceedings of the 2013 ACM international symposium on New ideas, new paradigms, and reflections on programming & software, (117-134)
- Fourtounis G, Papaspyrou N and Rondogiannis P The Generalized Intensional Transformation for Implementing Lazy Functional Languages Proceedings of the 15th International Symposium on Practical Aspects of Declarative Languages - Volume 7752, (157-172)
- Matthews S and Bukatin M An intelligent theory of cost for partial metric spaces Proceedings of the 5th international conference on Artificial General Intelligence, (168-176)
- Ji Y, Mokhov S and Paquet J Unifying and refactoring DMF to support concurrent Jini and JMS DMS in GIPSY Proceedings of the Fifth International C* Conference on Computer Science and Software Engineering, (36-44)
- Duggan D and Yao J Static sessional dataflow Proceedings of the 26th European conference on Object-Oriented Programming, (484-508)
- Caporuscio M, Funaro M and Ghezzi C PaCE Proceedings of the 11th international conference on Software Composition, (51-67)
- Duggan D and Yao J Sessional dataflow Proceedings of the 7th workshop on Declarative aspects and applications of multicore programming, (47-50)
- Oliner A, Kulkarni A and Aiken A Community epidemic detection using time-correlated anomalies Proceedings of the 13th international conference on Recent advances in intrusion detection, (360-381)
- Orchard D, Bolingbroke M and Mycroft A Ypnos Proceedings of the 5th ACM SIGPLAN workshop on Declarative aspects of multicore programming, (15-24)
- Meyerovich L, Guha A, Baskin J, Cooper G, Greenberg M, Bromfield A and Krishnamurthi S Flapjax Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications, (1-20)
- Meyerovich L, Guha A, Baskin J, Cooper G, Greenberg M, Bromfield A and Krishnamurthi S (2009). Flapjax, ACM SIGPLAN Notices, 44:10, (1-20), Online publication date: 25-Oct-2009.
- Liu H, Cheng E and Hudak P (2009). Causal commutative arrows and their optimization, ACM SIGPLAN Notices, 44:9, (35-46), Online publication date: 31-Aug-2009.
- Liu H, Cheng E and Hudak P Causal commutative arrows and their optimization Proceedings of the 14th ACM SIGPLAN international conference on Functional programming, (35-46)
- Plaice J and Mancilla B The practical uses of TransLucid Proceedings of the first international workshop on Context-aware software technology and applications, (13-16)
- Mokhov S, Paquet J and Tong X A type system for hybrid intensional-imperative programming support in GIPSY Proceedings of the 2nd Canadian Conference on Computer Science and Software Engineering, (101-107)
- Uustalu T and Vene V (2008). Comonadic Notions of Computation, Electronic Notes in Theoretical Computer Science (ENTCS), 203:5, (263-284), Online publication date: 1-Jun-2008.
- McDirmid S (2007). Living it up with a live programming language, ACM SIGPLAN Notices, 42:10, (623-638), Online publication date: 21-Oct-2007.
- McDirmid S Living it up with a live programming language Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems, languages and applications, (623-638)
- Varbanescu A, Nijhuis M, González-Escribano A, Sips H, Bos H and Bal H SP@CE Proceedings of the 19th international conference on Languages and compilers for parallel computing, (33-48)
- Stefanescu G (2019). Interactive Systems with Registers and Voices, Fundamenta Informaticae, 73:1,2, (285-305), Online publication date: 1-Oct-2006.
- Juillerat N and Hirsbrunner B FOOD Proceedings of the 2006 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fifth SoMeT_06, (452-461)
- Stefanescu G (2019). Interactive Systems with Registers and Voices, Fundamenta Informaticae, 73:1,2, (285-305), Online publication date: 1-Apr-2006.
- Cooper G and Krishnamurthi S Embedding dynamic dataflow in a call-by-value language Proceedings of the 15th European conference on Programming Languages and Systems, (294-308)
- Uustalu T and Vene V The essence of dataflow programming Proceedings of the Third Asian conference on Programming Languages and Systems, (2-18)
- Edwards J Subtext Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (505-518)
- Perera R, Foster J and Koch G A delta-driven execution model for semantic computing Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (63-71)
- Edwards J (2019). Subtext, ACM SIGPLAN Notices, 40:10, (505-518), Online publication date: 12-Oct-2005.
- Paquet J, Wu A and Grogono P Towards a framework for the general intensional programming compiler in the GIPSY Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, (164-165)
- Wan K, Alagar V and Paquet J Real time reactive programming in lucid enriched with contexts Proceedings of the First international conference on Theoretical Aspects of Computing, (387-402)
- Alagar V, Paquet J and Wan K Intensional programming for agent communication Proceedings of the Second international conference on Declarative Agent Languages and Technologies, (239-255)
- Giavitto J, Michel O and Cohen J (2002). Pattern-matching and rewriting rules for group indexed data structures, ACM SIGPLAN Notices, 37:12, (76-87), Online publication date: 1-Dec-2002.
- Giavitto J and Michel O Pattern-matching and rewriting rules for group indexed data structures Proceedings of the 2002 ACM SIGPLAN workshop on Rule-based programming, (55-66)
- Paterson R (2019). A new notation for arrows, ACM SIGPLAN Notices, 36:10, (229-240), Online publication date: 1-Oct-2001.
- Wan Z, Taha W and Hudak P (2019). Real-time FRP, ACM SIGPLAN Notices, 36:10, (146-156), Online publication date: 1-Oct-2001.
- Paterson R A new notation for arrows Proceedings of the sixth ACM SIGPLAN international conference on Functional programming, (229-240)
- Wan Z, Taha W and Hudak P Real-time FRP Proceedings of the sixth ACM SIGPLAN international conference on Functional programming, (146-156)
- Bhattacharyya S, Buck J, Ha S and Lee E Generating compact code from dataflow specifications of multirate signal processing algorithms Readings in hardware/software co-design, (452-464)
- Edwards S, Lavagno L, Lee E and Sangiovanni-Vincentelli A Design of embedded systems Readings in hardware/software co-design, (86-107)
- Lee E and Parks T Dataflow process networks Readings in hardware/software co-design, (59-85)
- Hamon G and Pouzet M Modular resetting of synchronous data-flow programs Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming, (289-300)
- Wan Z and Hudak P Functional reactive programming from first principles Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation, (242-252)
- Wan Z and Hudak P (2019). Functional reactive programming from first principles, ACM SIGPLAN Notices, 35:5, (242-252), Online publication date: 1-May-2000.
- Elliott C (1999). An Embedded Modeling Language Approach to Interactive 3D and Multimedia Animation, IEEE Transactions on Software Engineering, 25:3, (291-308), Online publication date: 1-May-1999.
- Scholz E (2019). Imperative streams—a monadic combinator library for synchronous programming, ACM SIGPLAN Notices, 34:1, (261-272), Online publication date: 1-Jan-1999.
- Scholz E Imperative streams—a monadic combinator library for synchronous programming Proceedings of the third ACM SIGPLAN international conference on Functional programming, (261-272)
- Golshani F and Dimitrova N (1998). A Language for Content-Based Video Retrieval, Multimedia Tools and Applications, 6:3, (289-312), Online publication date: 1-May-1998.
- (2019). A Co-iterative Characterization of Synchronous Stream Functions, Electronic Notes in Theoretical Computer Science (ENTCS), 11:C, (1-21), Online publication date: 1-May-1998.
- Huang Y and Ravishankar C (1998). Constructive Protocol Specification Using Cicero, IEEE Transactions on Software Engineering, 24:4, (252-267), Online publication date: 1-Apr-1998.
- Elliott C and Hudak P (2019). Functional reactive animation, ACM SIGPLAN Notices, 32:8, (263-273), Online publication date: 1-Aug-1997.
- Elliott C and Hudak P Functional reactive animation Proceedings of the second ACM SIGPLAN international conference on Functional programming, (263-273)
- Caspi P and Pouzet M (2019). Synchronous Kahn networks, ACM SIGPLAN Notices, 31:6, (226-238), Online publication date: 15-Jun-1996.
- Caspi P and Pouzet M Synchronous Kahn networks Proceedings of the first ACM SIGPLAN international conference on Functional programming, (226-238)
- Amagbégnon P, Besnard L and Le Guernic P Implementation of the data-flow synchronous language SIGNAL Proceedings of the ACM SIGPLAN 1995 conference on Programming language design and implementation, (163-173)
- Amagbégnon P, Besnard L and Le Guernic P (2019). Implementation of the data-flow synchronous language SIGNAL, ACM SIGPLAN Notices, 30:6, (163-173), Online publication date: 1-Jun-1995.
- Rondogiannis P and Wadge W Compiling Higher-Order Functions for Tagged-Dataflow Proceedings of the IFIP WG10.3 Working Conference on Parallel Architectures and Compilation Techniques, (269-278)
- Orgun M (1994). Temporal and modal logic programming, ACM SIGART Bulletin, 5:3, (52-59), Online publication date: 1-Jul-1994.
- Rondogiannis P and Wadge W Higher-order dataflow and its implementation on stock hardware Proceedings of the 1994 ACM symposium on Applied computing, (431-435)
- Du W (1993). n Intentional Approach to Parallel Programming, IEEE Parallel & Distributed Technology: Systems & Technology, 1:3, (22-32), Online publication date: 1-Aug-1993.
- Langan D A multi-purpose dataflow simulator Proceedings of the twenty-fourth SIGCSE technical symposium on Computer science education, (87-90)
- Langan D (1993). A multi-purpose dataflow simulator, ACM SIGCSE Bulletin, 25:1, (87-90), Online publication date: 1-Mar-1993.
- Wendelborn A and Garsden H Exploring the Stream Data Type in SISAL and Other Languages Proceedings of the IFIP WG10.3. Working Conference on Architectures and Compilation Techniques for Fine and Medium Grain Parallelism, (283-294)
- Langan D An object-oriented design for a dataflow simulator Proceedings of the 30th annual ACM Southeast Regional Conference, (417-420)
- Salomon D (1992). Four Dimensions of programming-language independence, ACM SIGPLAN Notices, 27:3, (35-53), Online publication date: 1-Mar-1992.
- Augeraud M (2019). Dynamic objects, ACM SIGOIS Bulletin, 12:2-3, (135-140), Online publication date: 1-Nov-1991.
- Ratel C, Halbwachs N and Raymond P (2019). Programming and verifying critical systems by means of the synchronous data-flow language LUSTRE, ACM SIGSOFT Software Engineering Notes, 16:5, (112-119), Online publication date: 1-Nov-1991.
- Augeraud M Dynamic objects Proceedings of the conference on Organizational computing systems, (135-140)
- Ratel C, Halbwachs N and Raymond P Programming and verifying critical systems by means of the synchronous data-flow language LUSTRE Proceedings of the conference on Software for citical systems, (112-119)
- Freeman-Benson B (2019). Kaleidoscope: mixing objects, constraints, and imperative programming, ACM SIGPLAN Notices, 25:10, (77-88), Online publication date: 1-Oct-1990.
- Freeman-Benson B Kaleidoscope: mixing objects, constraints, and imperative programming Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications, (77-88)
- Du W and Wadge W (1990). A 3D Spreadsheet Based on Intensional Logic, IEEE Software, 7:3, (78-89), Online publication date: 1-May-1990.
- Langan D A localized condition handling construct for a graphical dataflow language Proceedings of the 28th annual ACM Southeast Regional Conference, (118-124)
- Arvind K and Nikhil R (2019). Executing a Program on the MIT Tagged-Token Dataflow Architecture, IEEE Transactions on Computers, 39:3, (300-318), Online publication date: 1-Mar-1990.
- Skillicorn D and Glasgow J (2019). Real-Time Specification Using Lucid, IEEE Transactions on Software Engineering, 15:2, (221-229), Online publication date: 1-Feb-1989.
- Risch T, Reboh R, Hart P and Duda R (1988). A functional approach to integrating database and expert systems, Communications of the ACM, 31:12, (1424-1437), Online publication date: 1-Dec-1988.
- Barstow D Automatic programming for streams II: transformational implementation Proceedings of the 10th international conference on Software engineering, (439-447)
- DeForest D, Faustini A and Lee R Hyperflow Proceedings of the third conference on Hypercube concurrent computers and applications: Architecture, software, computer systems, and general issues - Volume 1, (482-488)
- Andert E A simulation of dynamic task allocation in a distributed computer system Proceedings of the 19th conference on Winter simulation, (768-776)
- Caspi P, Pilaud D, Halbwachs N and Plaice J LUSTRE: a declarative language for real-time programming Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (178-188)
- Kaplan I (1987). The LDF 100: a large grain dataflow parallel processor, ACM SIGARCH Computer Architecture News, 15:3, (5-12), Online publication date: 1-Jul-1987.
- Kaplan I (1987). Programming the Loral LDF 100 dataflow machine, ACM SIGPLAN Notices, 22:5, (47-57), Online publication date: 1-May-1987.
- Standley H A very high level language for large-grained data flow Proceedings of the 15th annual conference on Computer Science, (191-195)
Index Terms
- LUCID, the dataflow programming language