An axiomatic basis for computer programming
Communications of the ACM
An eductive interpreter for the language Lucid
SIGPLAN '87 Papers of the Symposium on Interpreters and interpretive techniques
Parallelism, persistence and meta-cleanliness in the symmetric Lisp interpreter
SIGPLAN '87 Papers of the Symposium on Interpreters and interpretive techniques
Environments as first class objects
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Algorithm specification in a very high level language
ACM '87 Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow
Dataflow Computing Models, Languages, and Machines for Intelligence Computations
IEEE Transactions on Software Engineering - Special Issue on Artificial Intelligence in Software Applications
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)
Programming with Streams in a Pascal-Like Language
IEEE Transactions on Software Engineering
Proceedings of the first ACM SIGPLAN international conference on Functional programming
Alpha du centaur: a prototype environment for the design of parallel regular alorithms
ICS '89 Proceedings of the 3rd international conference on Supercomputing
Data-Driven and Demand-Driven Computer Architecture
ACM Computing Surveys (CSUR)
ACM Transactions on Programming Languages and Systems (TOPLAS)
The VAL Language: Description and Analysis
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Some Techniques for Recursion Removal from Recursive Functions
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communications of the ACM
ACM-SE 20 Proceedings of the 20th annual Southeast regional conference
Clauses: scope structures and defined functions in Lucid
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A History of Data-Flow Languages
IEEE Annals of the History of Computing
Multidimensional Lucid: Design, Semantics and Implementation
DCW '00 Proceedings of the Third International Workshop on Distributed Communities on the Web
Implementation of an interpreter for abstract equations
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Applicative programming and digital design
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Arctic: A functional language for real-time control
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
Direct Execution Of An Algebraic Oriented Language
ACM '78 Proceedings of the 1978 annual conference
Dialogues: A basis for constructing programming environments
SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments
Debugging in a side effect free programming environment
SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments
Decentralised control flow - based on UNIX
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
On the scope of static checking in definitional languages
ACM '84 Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge
ACM SIGPLAN Notices
Some common misconceptions about Lucid
ACM SIGPLAN Notices
Structured programming with loop statements
ACM SIGPLAN Notices
Proceedings of the 36th annual IEEE/ACM International Symposium on Microarchitecture
The META/REDUCE translator writing system
ACM SIGPLAN Notices
Advances in dataflow programming languages
ACM Computing Surveys (CSUR)
GLU embedded in C++: a marriage between multidimensional and object-oriented programming
Software—Practice & Experience
Optimizing stream programs using linear state space analysis
Proceedings of the 2005 international conference on Compilers, architectures and synthesis for embedded systems
Streamflex: high-throughput stream programming in java
Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
Data Flow Computing Software Development
IEEE Transactions on Computers
Equality saturation: a new approach to optimization
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The practical uses of TransLucid
Proceedings of the first international workshop on Context-aware software technology and applications
Streaming networks for coordinating data-parallel programs
PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
Lime: a Java-compatible and synthesizable language for heterogeneous architectures
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
MPEG-2 decoding in a stream programming language
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
The Cartesian approach to context
Proceedings of the 2nd International Workshop on Context-Oriented Programming
It's about time: confronting latency in the development of groupware systems
Proceedings of the ACM 2011 conference on Computer supported cooperative work
Implementation architecture and multithreaded runtime system of S-NET
IFL'08 Proceedings of the 20th international conference on Implementation and application of functional languages
Streaming networks for coordinating data-parallel programs (position statement)
ACSAC'06 Proceedings of the 11th Asia-Pacific conference on Advances in Computer Systems Architecture
OpenStream: Expressiveness and data-flow compilation of OpenMP streaming programs
ACM Transactions on Architecture and Code Optimization (TACO) - Special Issue on High-Performance Embedded Architectures and Compilers
An intelligent theory of cost for partial metric spaces
AGI'12 Proceedings of the 5th international conference on Artificial General Intelligence
| Hi-index | 48.24 |
Lucid is a formal system in which programs can be written and proofs of programs carried out. The proofs are particularly easy to follow and straightforward to produce because the statements in a Lucid program are simply axioms from which the proof proceeds by (almost) conventional logical reasoning, with the help of a few axioms and rules of inference for the special Lucid functions. As a programming language, Lucid is unconventional because, among other things, the order of statements is irrelevant and assignment statements are equations. Nevertheless, Lucid programs need not look much different than iterative programs in a conventional structured programming language using assignment and conditional statements and loops.