The development and proof of a formal specification for a multilevel secure system
ACM Transactions on Computer Systems (TOCS)
The LDF 100: a large grain dataflow parallel processor
ACM SIGARCH Computer Architecture News
Programming the Loral LDF 100 dataflow machine
ACM SIGPLAN Notices
LUSTRE: a declarative language for real-time programming
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A functional approach to integrating database and expert systems
Communications of the ACM
Automatic programming for streams II: transformational implementation
ICSE '88 Proceedings of the 10th international conference on Software engineering
Real-Time Specification Using Lucid
IEEE Transactions on Software Engineering
C3P Proceedings of the third conference on Hypercube concurrent computers and applications: Architecture, software, computer systems, and general issues - Volume 1
Conception, evolution, and application of functional programming languages
ACM Computing Surveys (CSUR)
Journal of Symbolic Computation
Executing a Program on the MIT Tagged-Token Dataflow Architecture
IEEE Transactions on Computers
Kaleidoscope: mixing objects, constraints, and imperative programming
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
COCS '91 Proceedings of the conference on Organizational computing systems
Programming and verifying critical systems by means of the synchronous data-flow language LUSTRE
SIGSOFT '91 Proceedings of the conference on Software for citical systems
Four Dimensions of programming-language independence
ACM SIGPLAN Notices
Programming and Verifying Real-Time Systems by Means of the Synchronous Data-Flow Language LUSTRE
IEEE Transactions on Software Engineering - Special issue: specification and analysis of real-time systems
A multi-purpose dataflow simulator
SIGCSE '93 Proceedings of the twenty-fourth SIGCSE technical symposium on Computer science education
Temporal and modal logic programming: an annotated bibliography
ACM SIGART Bulletin
Implementation of the data-flow synchronous language SIGNAL
PLDI '95 Proceedings of the ACM SIGPLAN 1995 conference on Programming language design and implementation
Proceedings of the first ACM SIGPLAN international conference on Functional programming
ICFP '97 Proceedings of the second ACM SIGPLAN international conference on Functional programming
Constructive Protocol Specification Using Cicero
IEEE Transactions on Software Engineering
Imperative streams—a monadic combinator library for synchronous programming
ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
An Embedded Modeling Language Approach to Interactive 3D and Multimedia Animation
IEEE Transactions on Software Engineering
A simulation of dynamic task allocation in a distributed computer system
WSC '87 Proceedings of the 19th conference on Winter simulation
A very high level language for large-grained data flow
CSC '87 Proceedings of the 15th annual conference on Computer Science
Higher-order dataflow and its implementation on stock hardware
SAC '94 Proceedings of the 1994 ACM symposium on Applied computing
Functional reactive programming from first principles
PLDI '00 Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation
Modular resetting of synchronous data-flow programs
Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
An object-oriented design for a dataflow simulator
ACM-SE 30 Proceedings of the 30th annual Southeast regional conference
Proceedings of the sixth ACM SIGPLAN international conference on Functional programming
Proceedings of the sixth ACM SIGPLAN international conference on Functional programming
Readings in hardware/software co-design
Design of embedded systems: formal models, validation, and synthesis
Readings in hardware/software co-design
Generating compact code from dataflow specifications of multirate signal processing algorithms
Readings in hardware/software co-design
Pattern-matching and rewriting rules for group indexed data structures
Proceedings of the 2002 ACM SIGPLAN workshop on Rule-based programming
A Language for Content-Based Video Retrieval
Multimedia Tools and Applications
n Intentional Approach to Parallel Programming
IEEE Parallel & Distributed Technology: Systems & Technology
A 3D Spreadsheet Based on Intensional Logic
IEEE Software
Pattern-matching and rewriting rules for group indexed data structures
ACM SIGPLAN Notices
Compiling Higher-Order Functions for Tagged-Dataflow
PACT '94 Proceedings of the IFIP WG10.3 Working Conference on Parallel Architectures and Compilation Techniques
Exploring the Stream Data Type in SISAL and Other Languages
PACT '93 Proceedings of the IFIP WG10.3. Working Conference on Architectures and Compilation Techniques for Fine and Medium Grain Parallelism
Multidimensional Lucid: Design, Semantics and Implementation
DCW '00 Proceedings of the Third International Workshop on Distributed Communities on the Web
DCW '00 Proceedings of the Third International Workshop on Distributed Communities on the Web
Forms/3: A first-order visual language to explore the boundaries of the spreadsheet paradigm
Journal of Functional Programming
Higher-order functional languages and intensional logic
Journal of Functional Programming
First-order functional languages and intensional logic
Journal of Functional Programming
Advances in dataflow programming languages
ACM Computing Surveys (CSUR)
Towards a framework for the general intensional programming compiler in the GIPSY
OOPSLA '04 Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
GLU embedded in C++: a marriage between multidimensional and object-oriented programming
Software—Practice & Experience
Subtext: uncovering the simplicity of programming
OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A delta-driven execution model for semantic computing
OOPSLA '05 Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Interactive Systems with Registers and Voices
Fundamenta Informaticae - SPECIAL ISSUE ON TRAJECTORIES OF LANGUAGE THEORY Dedicated to the memory of Alexandru Mateescu
Modeling interactive 3D and multimedia animation with an embedded language
DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
Living it up with a live programming language
Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
AGAPIA v0.1: A Programming Language for Interactive Systems and Its Typing System
Electronic Notes in Theoretical Computer Science (ENTCS)
Comonadic Notions of Computation
Electronic Notes in Theoretical Computer Science (ENTCS)
A type system for hybrid intensional-imperative programming support in GIPSY
C3S2E '09 Proceedings of the 2nd Canadian Conference on Computer Science and Software Engineering
FOOD: An Intermediate Model for Automated Refactoring
Proceedings of the 2006 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fifth SoMeT_06
The practical uses of TransLucid
Proceedings of the first international workshop on Context-aware software technology and applications
Causal commutative arrows and their optimization
Proceedings of the 14th ACM SIGPLAN international conference on Functional programming
Flapjax: a programming language for Ajax applications
Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications
Ypnos: declarative, parallel structured grid programming
Proceedings of the 5th ACM SIGPLAN workshop on Declarative aspects of multicore programming
Visual forms of iteration that preserve single assignment
Journal of Visual Languages and Computing
SP@CE: an SP-based programming model for consumer electronics streaming applications
LCPC'06 Proceedings of the 19th international conference on Languages and compilers for parallel computing
Community epidemic detection using time-correlated anomalies
RAID'10 Proceedings of the 13th international conference on Recent advances in intrusion detection
Reasoning about knowledge in multilevel secure distributed systems
SP'88 Proceedings of the 1988 IEEE conference on Security and privacy
The essence of dataflow programming
APLAS'05 Proceedings of the Third Asian conference on Programming Languages and Systems
Real time reactive programming in lucid enriched with contexts
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Sessional dataflow: short paper
DAMP '12 Proceedings of the 7th workshop on Declarative aspects and applications of multicore programming
Intensional programming for agent communication
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
Journal of Functional Programming - Dedicated to ICFP 2009
Embedding dynamic dataflow in a call-by-value language
ESOP'06 Proceedings of the 15th European conference on Programming Languages and Systems
Branching-time logic programming: the language Cactus and its applications
Computer Languages
Constraint programming on infinite data streams
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume One
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
PaCE: a data-flow coordination language for asynchronous network-based applications
SC'12 Proceedings of the 11th international conference on Software Composition
ECOOP'12 Proceedings of the 26th European conference on Object-Oriented Programming
Interactive Systems with Registers and Voices
Fundamenta Informaticae - SPECIAL ISSUE ON TRAJECTORIES OF LANGUAGE THEORY Dedicated to the memory of Alexandru Mateescu
CARTESIAN STREAM TRANSFORMER COMPOSITION
Fundamenta Informaticae
A multi-level monitoring framework for stream-based coordination programs
ICA3PP'12 Proceedings of the 12th international conference on Algorithms and Architectures for Parallel Processing - Volume Part I
An intelligent theory of cost for partial metric spaces
AGI'12 Proceedings of the 5th international conference on Artificial General Intelligence
KScript and KSWorld: a time-aware and mostly declarative language and interactive GUI framework
Proceedings of the 2013 ACM international symposium on New ideas, new paradigms, and reflections on programming & software
Coeffects: unified static analysis of context-dependence
ICALP'13 Proceedings of the 40th international conference on Automata, Languages, and Programming - Volume Part II
Hi-index | 0.02 |