Posts By: Allan McInnes
| Date | Post | Topic |
| 06/11/2012 | Google Blockly Lets You Hack With No Keyboard | Google Blockly Lets You Hack With No Keyboard |
| 03/22/2012 | Atom and Esterel | How to Generate (Hard) Real-Time Code from Declarative Programming Languages? |
| 06/01/2011 | Specification and Verification: The Spec# Experience | Specification and Verification: The Spec# Experience |
| 05/18/2011 | Passing a Language through the Eye of a Needle | Passing a Language through the Eye of a Needle |
| 01/26/2011 | Pappas, Tabuada, Ptolemy, Synchronous languages | Seeking papers that unify control theory and programming language design |
| 12/06/2010 | Continuation-Passing C: Compiling threads to events through continuations | Continuation-Passing C: Compiling threads to events through continuations |
| 12/04/2010 | Funny because it's true? | Haskell Researchers Announce Discovery of Industry Programmer Who Gives a Shit |
| 12/05/2010 | Real World Haskell | Haskell Researchers Announce Discovery of Industry Programmer Who Gives a Shit |
| 11/28/2010 | Armstrong's thesis | Tolerant vs. Demanding Software |
| 11/30/2010 | Undertested production code | Tolerant vs. Demanding Software |
| 11/30/2010 | I did | Tolerant vs. Demanding Software |
| 12/17/2010 | Ubicomp | Tolerant vs. Demanding Software |
| 10/16/2010 | close tag | The barrier to take-up of language innovation |
| 10/17/2010 | Thanks | The barrier to take-up of language innovation |
| 10/13/2010 | Reminder | The barrier to take-up of language innovation |
| 09/30/2010 | Software Development with Code Maps | Software Development with Code Maps |
| 09/17/2010 | EFFBDs and Behavior Diagrams | New Dataflow Programming Language |
| 09/07/2010 | Nesc atomics | Is Transactional Programming Actually Easier? |
| 08/29/2010 | Abstract interpreters for free | Abstract interpreters for free |
| 08/22/2010 | Some work | Unifying Actors and Objects? |
| 08/16/2010 | foo->bar syntax | The ideal style/system for namespaces. |
| 08/12/2010 | occam | The most simple concurrent language? |
| 07/30/2010 | Happy birthday LtU! | It's been ten years! |
| 07/06/2010 | Power | Uncle Bob's talk at RailsConf 2010 |
| 06/30/2010 | Not unique | Why Undergraduates Should Learn the Principles of Programming Languages |
| 06/13/2010 | back to the future | Data schema languages |
| 06/08/2010 | product and process | some critiques of the Semat initiative |
| 05/28/2010 | The Resurgence of Parallelism | The Resurgence of Parallelism |
| 05/11/2010 | While I tend to agree with | "Critical code studies" |
| 03/23/2010 | Indeed | Late Robin Milner |
| 05/10/2010 | Literate specification | On the (Alleged) Value of Proof for Assurance |
| 02/13/2010 | A few billion lines of code later: using static analysis to find bugs in the real world | A few billion lines of code later: using static analysis to find bugs in the real world |
| 02/13/2010 | Bytecode | A few billion lines of code later: using static analysis to find bugs in the real world |
| 12/11/2009 | Different animals | The Development of Sage |
| 12/14/2009 | Punctuated equilibrium | The Development of Sage |
| 12/14/2009 | The Sage model | The Development of Sage |
| 11/25/2009 | Formal != top-down | How to learn about formal top-down approach to software architecture? |
| 11/19/2009 | Scratch: Programming for All | Scratch: Programming for All |
| 11/17/2009 | Link | Seeking nearly anything re: so called language "bootstrapping" process |
| 11/11/2009 | Limbo to Go | Go or Unladen Swallow? |
| 10/29/2009 | π: a pattern language | π: a pattern language |
| 10/30/2009 | Paper now available | π: a pattern language |
| 11/03/2009 | A few differences | π: a pattern language |
| 10/25/2009 | Context | Design Patterns 15 Years Later: An Interview with Erich Gamma, Richard Helm, and Ralph Johnson |
| 10/26/2009 | Applicability | Design Patterns 15 Years Later: An Interview with Erich Gamma, Richard Helm, and Ralph Johnson |
| 10/26/2009 | Thanks | Design Patterns 15 Years Later: An Interview with Erich Gamma, Richard Helm, and Ralph Johnson |
| 10/11/2009 | SequenceL - declarative computation on nonscalars | SequenceL - declarative computation on nonscalars |
| 09/04/2009 | Okasaki | Proving running times of algorithms |
| 08/30/2009 | SqueakyToy isNotA Animal | Categories, the homemade object system |
| 08/31/2009 | No doubt | Categories, the homemade object system |
| 08/11/2009 | Depends on the domain | A Verified Compiler for an Impure Functional Language |
| 07/22/2009 | do something od | Resolved Debates in Syntax Design ? |
| 07/09/2009 | HDLs on LtU | Open Source for Hardware? |
| 07/07/2009 | A Reactive Model-based Programming Language for Robotic Space Explorers | A Reactive Model-based Programming Language for Robotic Space Explorers |
| 07/11/2009 | MERS | A Reactive Model-based Programming Language for Robotic Space Explorers |
| 06/27/2009 | Broken link | subjective but hopefully less flamebaid-lame |
| 06/28/2009 | Multiple models of computation? | subjective but hopefully less flamebaid-lame |
| 06/25/2009 | Meyer | Fully Encapsulated Languages? Are there any out there? |
| 06/18/2009 | Concurrency or logic? | Perlis Languages |
| 06/15/2009 | Choosing the right tool for the job | GRS vs LTRS |
| 06/16/2009 | Clarifying the limits of applicability | GRS vs LTRS |
| 06/01/2009 | Computing Needs Time | Computing Needs Time |
| 06/01/2009 | Using a different model | Computing Needs Time |
| 06/01/2009 | Addressed in the paper | Computing Needs Time |
| 06/01/2009 | RMA | Computing Needs Time |
| 06/01/2009 | Thanks | Computing Needs Time |
| 06/01/2009 | Not so bleak | Computing Needs Time |
| 06/02/2009 | Building a "better" system | Computing Needs Time |
| 05/30/2009 | cat -n file.txt | sort +5 | grep "todo" | Questions Five Ways |
| 05/30/2009 | "Composable with rich data models"? | Questions Five Ways |
| 05/30/2009 | When is an application not an application? | Questions Five Ways |
| 05/30/2009 | PEBKAC | Questions Five Ways |
| 05/31/2009 | Required, or just nice to have? | Questions Five Ways |
| 05/31/2009 | No argument there. | Questions Five Ways |
| 05/30/2009 | Composing behaviors | Questions Five Ways |
| 05/31/2009 | We seem to be having trouble with composition | Questions Five Ways |
| 05/23/2009 | Structure and Behavior | Computer music: a bastion of interactive visual dataflow languages |
| 05/24/2009 | Components and structure | Computer music: a bastion of interactive visual dataflow languages |
| 06/19/2009 | Lucid | Computer music: a bastion of interactive visual dataflow languages |
| 05/11/2009 | Practicality is a matter of perspective | C++ Frequently Questioned Answers |
| 05/19/2009 | "More robots!" | Why Did M.I.T. Switch from Scheme to Python? |
| 05/06/2009 | Abstract state machines? | Right on! |
| 05/06/2009 | Indeed | Right on! |
| 05/04/2009 | Purpose-Built Languages | Purpose-Built Languages |
| 04/26/2009 | Branching Time vs. Linear Time: Semantical Perspective | Branching Time vs. Linear Time: Semantical Perspective |
| 04/27/2009 | Not quite equivalent | Branching Time vs. Linear Time: Semantical Perspective |
| 04/27/2009 | FDR != CSP | Branching Time vs. Linear Time: Semantical Perspective |
| 04/27/2009 | Language and logic | Branching Time vs. Linear Time: Semantical Perspective |
| 04/27/2009 | The meaning of equivalence | Branching Time vs. Linear Time: Semantical Perspective |
| 04/27/2009 | Not including CSP | Branching Time vs. Linear Time: Semantical Perspective |
| 04/29/2009 | Observing my failure to articulate | Branching Time vs. Linear Time: Semantical Perspective |
| 04/29/2009 | Receptive | Branching Time vs. Linear Time: Semantical Perspective |
| 05/02/2009 | Different choices (for models and modelers) | Branching Time vs. Linear Time: Semantical Perspective |
| 09/14/2009 | Updated paper | Branching Time vs. Linear Time: Semantical Perspective |
| 04/23/2009 | Logix | A programming language with extensible syntax |
| 06/27/2009 | Could try HoboTech | A programming language with extensible syntax |
| 03/25/2009 | AIM-453? | The Art of the Propagator |
| 03/22/2009 | Swift: making web applications secure by construction | Swift: making web applications secure by construction |
| 04/02/2009 | Taint | Swift: making web applications secure by construction |
| 03/09/2009 | Thanks | Linear Logic and Permutation Stacks--The Forth Shall Be First |
| 03/10/2009 | Precedence and equality | C++ Futures |
| 02/12/2009 | A Machine-Checked Model for a Java-Like Language, Virtual Machine, and Compiler | A Machine-Checked Model for a Java-Like Language, Virtual Machine, and Compiler |
| 01/22/2009 | Non-null annotations and types in several languages | Tony Hoare / Historically Bad Ideas: "Null References: The Billion Dollar Mistake" |
| 01/23/2009 | Semantics might help | Introducing Dawn - yet another new language |
| 01/15/2009 | Others in control and safety-critical systems | What Are The Resolved Debates in General Purpose Language Design? |
| 01/16/2009 | Fair point | What Are The Resolved Debates in General Purpose Language Design? |
| 12/01/2008 | History variables | Remembering everything - a new(?) idea for a new PL |
| 12/03/2008 | What is a race condition then? | Functional building blocks as concurrency patterns |
| 12/05/2008 | Racing to the finish line | Functional building blocks as concurrency patterns |
| 12/02/2008 | CTM | Functional building blocks as concurrency patterns |
| 11/24/2008 | Usernames | yet another oop formalization: class as abstract automata |
| 11/20/2008 | "...a lot of work has been already done there..." | Current "hot" topics in parallel programming? |
| 11/11/2008 | Design-for-analysis | The Origins of the BitC Programming Language |
| 11/04/2008 | Floyd-Hoare logic? | New Programming Language Idea |
| 11/05/2008 | Thanks for the clarification | New Programming Language Idea |
| 10/12/2008 | Metamodels and model-checking | Syntactic/Semantic Control in MDA Framework |
| 10/06/2008 | Growing a Language | Inspiring Papers |
| 10/05/2008 | Online? | Local Rely-Guarantee Reasoning |
| 10/02/2008 | Metamodeling | Visual Programming Language Syntax Formalisms |
| 10/02/2008 | I think I get the picture... | Visual Programming Language Syntax Formalisms |
| 09/30/2008 | "D" | Microsoft Oslo |
| 09/26/2008 | Comparison in a nutshell | haskell for gpu |
| 09/12/2008 | Embedded systems | A Framework for Comparing Models of Computation |
| 08/25/2008 | Programming languages vs specification languages | Is it a Programming Language? |
| 08/26/2008 | CSP-OZ or Circus | Is it a Programming Language? |
| 08/20/2008 | occam | Languages without operator precedence |
| 08/20/2008 | In Praise of Scripting: Real Programming Pragmatism | In Praise of Scripting: Real Programming Pragmatism |
| 08/20/2008 | Freely available draft | In Praise of Scripting: Real Programming Pragmatism |
| 08/20/2008 | Hard to say | In Praise of Scripting: Real Programming Pragmatism |
| 08/21/2008 | Pragmatics | In Praise of Scripting: Real Programming Pragmatism |
| 08/21/2008 | Thanks | In Praise of Scripting: Real Programming Pragmatism |
| 08/10/2008 | Going to a higher level | Patrick Logan on patterns |
| 08/10/2008 | A pattern of forgetfulness | Patrick Logan on patterns |
| 07/28/2008 | On process calculi | paper suggestions for some current topics |
| 07/28/2008 | Functional reactive systems theory | Beyond FRP: physics-inspired programming abstractions? |
| 06/17/2008 | Imperative concurrency | Functional Programming in the ACM CS Curriculum |
| 05/18/2009 | Alternative link | History of Logic Programming: What went wrong, What was done about it, and What it might mean for the future |
| 04/29/2008 | Ptolemy II & SelfMan | A Cybernetics DSL? |
| 04/30/2008 | Control systems design | A Cybernetics DSL? |
| 04/23/2008 | Transputer verification | program verification: the very idea |
| 04/25/2008 | Volume 2: Case Studies | program verification: the very idea |
| 04/24/2008 | "Verification" is a matter of semantics... | program verification: the very idea |
| 04/24/2008 | A marginal note | program verification: the very idea |
| 04/15/2008 | For certain values of "alternative"... | Career paths and concerns |
| 05/01/2008 | Statically typed? | Static Analysis for Duck Typing |
| 04/02/2008 | "Production language" with embedded concurrency constructs | Erasmus: A Modular Language for Concurrent Programming |
| 04/03/2008 | occam's type system | Erasmus: A Modular Language for Concurrent Programming |
| 04/03/2008 | A common mistake | Erasmus: A Modular Language for Concurrent Programming |
| 04/02/2008 | Standing on the shoulders of many giants | Erasmus: A Modular Language for Concurrent Programming |
| 04/03/2008 | A few differences | Erasmus: A Modular Language for Concurrent Programming |
| 03/22/2008 | An Interview with Robin Milner | An Interview with Robin Milner |
| 02/26/2008 | McBreen | Software Craftsmanship: Apprentice to Journeyman |
| 02/08/2008 | Javadoc != literate programming | Leaning how to judge the right tool for the job? |
| 02/06/2008 | Timed process calculi and other timed formalisms | time as a first class value? |
| 02/07/2008 | Thanks! | time as a first class value? |
| 02/06/2008 | Eiffel | Signals in an OOPL |
| 02/08/2008 | Pragmatism and problem-avoidance | Signals in an OOPL |
| 02/05/2008 | For "old" read "time-tested"... | Adding Concurrent Constructs to a Language with State |
| 01/24/2008 | FP? | Embedded concurrent FPish languages? |
| 01/24/2008 | Breaking the deadlock | Embedded concurrent FPish languages? |
| 01/24/2008 | Embedded Gofer | Embedded concurrent FPish languages? |
| 01/25/2008 | But is it an oncoming train? | Embedded concurrent FPish languages? |
| 01/20/2008 | The Beseme Project | Understanding category theory and its practical applications |
| 01/10/2008 | Engineering Formal Metatheory | Engineering Formal Metatheory |
| 01/08/2008 | Can't argue with that... | Computer Science Education: Where Are the Software Engineers of Tomorrow? |
| 01/11/2008 | A formal protest | Computer Science Education: Where Are the Software Engineers of Tomorrow? |
| 01/16/2008 | Term dilution | Computer Science Education: Where Are the Software Engineers of Tomorrow? |
| 01/17/2008 | Perhaps I should have used Z | Computer Science Education: Where Are the Software Engineers of Tomorrow? |
| 01/22/2008 | Follow-up article: "Who Killed the Software Engineer?" | Computer Science Education: Where Are the Software Engineers of Tomorrow? |
| 12/29/2007 | Several things | Process Algebras: Whats the point? |
| 12/30/2007 | A few links and references | Process Algebras: Whats the point? |
| 02/22/2008 | Erlang and Oz | Process Algebras: Whats the point? |
| 12/20/2007 | An equivalent operation | Computation Orchestration: A Basis for Wide-Area Computing |
| 12/10/2007 | Unconventional conventions | poll: syntax |
| 12/11/2007 | I think the difference | poll: syntax |
| 11/21/2007 | A New Kind of Thread | What are the properties of "Functional Programming Languages"? |
| 10/07/2007 | It's Time to Stop Calling Circuits "Hardware" | It's Time to Stop Calling Circuits "Hardware" |
| 10/07/2007 | Not the same | It's Time to Stop Calling Circuits "Hardware" |
| 10/08/2007 | I recall that one of the | It's Time to Stop Calling Circuits "Hardware" |
| 10/07/2007 | Indeed | It's Time to Stop Calling Circuits "Hardware" |
| 10/08/2007 | Previous discussion | It's Time to Stop Calling Circuits "Hardware" |
| 10/09/2007 | Time for a change? | It's Time to Stop Calling Circuits "Hardware" |
| 10/10/2007 | Choosing the right abstractions | It's Time to Stop Calling Circuits "Hardware" |
| 09/27/2007 | Not just a theoretical possibility | FPGA CPUs |
| 09/26/2007 | Cat | Minimal FORTH compiler and tutorial |
| 08/02/2007 | Logix | Syntactic abstraction? (newbie question) |
| 07/28/2007 | Happy birthday! | LtU turns 7: The year of spam |
| 07/10/2007 | [OT] "math is irrelevant" | HOPL-III: Statecharts in the Making |
| 07/10/2007 | "Invocation Model" | HOPL-III: Statecharts in the Making |
| 07/10/2007 | Topology and programming | HOPL-III: Statecharts in the Making |
| 07/10/2007 | Thanks | HOPL-III: Statecharts in the Making |
| 07/09/2007 | The PIllars of Concurrency | The PIllars of Concurrency |
| 07/11/2007 | Agreed | The PIllars of Concurrency |
| 07/03/2007 | Cat | Forth in hardware ("not dead yet") |
| 07/07/2007 | Indeed | Forth in hardware ("not dead yet") |
| 07/07/2007 | Binary choice | Haskell web store |
| 06/13/2007 | Interesting | Carnap Programming Language |
| 06/15/2007 | occam | Carnap Programming Language |
| 06/07/2007 | PDF link broken | Trickles: A Stateless Network Stack for Improved Scalability, Resilience and Flexibility |
| 01/03/2008 | Good point | Social Processes and Proofs of Theorems and Programs |
| 05/20/2007 | Subjective | [Meta] Bad Usability Problems in LtU |
| 05/21/2007 | Displaying interleavings | How to make the static represent the dynamic? |
| 05/22/2007 | Not my idea | How to make the static represent the dynamic? |
| 05/14/2007 | Model-checking and model-finding | The Monad.Reader |
| 04/20/2007 | Depends on what you mean by "Actors model" | Actors vs. Reactive Objects |
| 04/23/2007 | Tripped me up too | Actors vs. Reactive Objects |
| 03/23/2009 | Embedded DSLs | Easylanguage: domain specific language for trading stocks |
| 04/20/2007 | Other problems | Thoughts about the Best Introductory Language |
| 04/20/2007 | Matlab > a programming language | Thoughts about the Best Introductory Language |
| 04/20/2007 | That conclusion does not | Thoughts about the Best Introductory Language |
| 04/21/2007 | That's the point | Thoughts about the Best Introductory Language |
| 04/22/2007 | Excelling at teaching programming | Thoughts about the Best Introductory Language |
| 03/24/2007 | [OT] Probably not LaTeX | No Ifs, Ands, or Buts |
| 03/17/2007 | occam and occam-pi | Syntax Solicited for Imperative-flavored Concurrent Language with Keywords |
| 03/20/2007 | Occam syntax | Syntax Solicited for Imperative-flavored Concurrent Language with Keywords |
| 03/11/2007 | Oz? | What's up with Lua? |
| 03/12/2007 | Precisely | What's up with Lua? |
| 03/01/2007 | operational vs. denotational semantics in process calculi | Behaviour Diffing |
| 02/25/2007 | Agha's thesis | Dao, a new programming language |
| 03/10/2007 | Actor? | How do you call such a design pattern |
| 02/18/2007 | Steps Toward The Reinvention of Programming | Has anyone commented on Combined Object-Lambda Architectures? |
| 02/13/2007 | Loops and implicit state | Reactive Programming |
| 02/10/2007 | Back to the future | The Landscape of Parallel Computing Research: A View from Berkeley |
| 02/10/2007 | For example, to fire a | Patrick Logan on Software Transaction Memory |
| 02/11/2007 | Irony | Patrick Logan on Software Transaction Memory |
| 12/17/2006 | That'd be nice | Elements of Interaction |
| 12/17/2006 | Formalization | Theorem proving and patents ... |
| 12/13/2006 | CSP | [Redux] The Polyadic pi-Calculus: a Tutorial (1991) Robin Milner |
| 12/14/2006 | Indeed | [Redux] The Polyadic pi-Calculus: a Tutorial (1991) Robin Milner |
| 12/13/2006 | Interesting pi-calculus application | [Redux] The Polyadic pi-Calculus: a Tutorial (1991) Robin Milner |
| 12/12/2006 | Z | PVS goes open source |
| 12/01/2006 | A reflective functional language for hardware design and theorem proving | A reflective functional language for hardware design and theorem proving |
| 02/01/2007 | Don't know, but... | A reflective functional language for hardware design and theorem proving |
| 12/01/2006 | Model-checking hardware, and the FL functional language | Mechanized Metatheory Model-Checking |
| 11/13/2006 | It's just a FAD ;-) | Functional programming and software engineering |
| 11/24/2006 | Slightly OT | Type inference and union types |
| 02/04/2009 | Montanari and Zavatarro | Process calculi for transactions |
| 02/06/2009 | 1978 vs 1985 | Process calculi for transactions |
| 02/05/2009 | No single answer | Process calculi for transactions |
| 02/06/2009 | Possibilities | Process calculi for transactions |
| 02/07/2009 | Different goals lead to different approaches | Process calculi for transactions |
| 10/31/2006 | A stackless runtime environment for a Pi-calculus | A stackless runtime environment for a Pi-calculus |
| 10/31/2006 | A note on compilation | A stackless runtime environment for a Pi-calculus |
| 11/02/2006 | Thanks for the heads up | A stackless runtime environment for a Pi-calculus |
| 11/01/2006 | More info | A stackless runtime environment for a Pi-calculus |
| 09/24/2006 | Scheduling policy | What Makes Erlang Processes Tick? |
| 09/25/2006 | You're not alone in that opinion | Designing a Programming Textbook |
| 09/22/2006 | From the other direction | Handling multiple concurrent exceptions in C++ using futures |
| 09/20/2006 | Transterpreter | Why Johnny can't code |
| 09/12/2006 | Occam-pi | Neophyte question: detecting deadlock, livelock, races etc. |
| 09/15/2006 | Concurrent programming languages | Dynamic Languages Symposium Program Online |
| 09/16/2006 | "Main-stream" programmers | Dynamic Languages Symposium Program Online |
| 09/18/2006 | Proofs | Dynamic Languages Symposium Program Online |
| 09/20/2006 | Engineering software | Dynamic Languages Symposium Program Online |
| 07/24/2006 | Not necessarily a good example | Cost of provably-correct code |
| 07/25/2006 | Bang for your buck | Cost of provably-correct code |
| 07/20/2006 | CSP | Erlang concurrency: why asynchronious messages? |
| 07/20/2006 | Isolation | Erlang concurrency: why asynchronious messages? |
| 07/22/2006 | network rendezvous | Erlang concurrency: why asynchronious messages? |
| 07/23/2006 | I do not think that word means what you think it means | Erlang concurrency: why asynchronious messages? |
| 07/23/2006 | Possible solutions | Erlang concurrency: why asynchronious messages? |
| 07/24/2006 | Horses for courses | Erlang concurrency: why asynchronious messages? |
| 04/19/2007 | Not as far as I know | Erlang concurrency: why asynchronious messages? |
| 07/18/2006 | Grounding | Advantages of Soft Typing |
| 07/18/2006 | Another request for grounding | Advantages of Soft Typing |
| 07/18/2006 | Incremental progress | Advantages of Soft Typing |
| 07/19/2006 | And those would | Advantages of Soft Typing |
| 07/14/2006 | Oz | HOPL III and the History of Haskell |
| 07/07/2006 | hardware memory errors | Failure-oblivious computing |
| 07/07/2006 | Addressing different problems | Failure-oblivious computing |
| 06/27/2006 | Other recent "safety-critical" story | Oxymoronic? "Safety-critical development guidelines for real-time Java" |
| 06/28/2006 | SEUs | Oxymoronic? "Safety-critical development guidelines for real-time Java" |
| 06/23/2006 | Ada | Rules for Developing Safety-Critical Code |
| 06/21/2006 | FP and embedded systems | Rules for Developing Safety-Critical Code |
| 06/22/2006 | SPIN | Rules for Developing Safety-Critical Code |
| 06/23/2006 | Reactive programming and patterns | What are the real benefits of FP? |
| 06/29/2006 | Huh? | What are the real benefits of FP? |
| 07/11/2006 | Related popular article in Scientific American | Alloy - The Book |
| 06/11/2006 | Non-intensive? | A Brief History of Scala |
| 06/08/2006 | I agree | LtU: blog not forum! |
| 06/08/2006 | It may not help | LtU: blog not forum! |
| 06/08/2006 | 42 | Why Are ALL Programming Languages So Low Level? |
| 06/08/2006 | Dataflow | Why Are ALL Programming Languages So Low Level? |
| 06/08/2006 | Is there a way in which we | Why Are ALL Programming Languages So Low Level? |
| 06/05/2006 | "STL is the result of a bacterial infection" | What is covariant signature transformation? |
| 06/05/2006 | Link | What is covariant signature transformation? |
| 06/08/2006 | Transputer | emulation for Erlang style processes |
| 06/02/2006 | Alice | Continuations for Parallel Logic Programming |
| 06/01/2006 | Things to note | Oz has macros! |
| 06/01/2006 | My understanding | The Weird World of Bi-Directional Programming |
| 06/01/2006 | Sounds reasonable | Javascript department |
| 05/31/2006 | re: Internet scripting | Narrative Javascript |
| 05/30/2006 | SICP lectures | yet another noob via "little lisper" and scheme |
| 05/30/2006 | CTM | yet another noob via "little lisper" and scheme |
| 06/05/2006 | Syntax != semantics | Buried Treasure - No Fluff Just Stuff |
| 06/08/2006 | Concrete information would help | Buried Treasure - No Fluff Just Stuff |
| 06/06/2006 | Haskell type synonyms | Buried Treasure - No Fluff Just Stuff |
| 05/30/2006 | A request | Buried Treasure - No Fluff Just Stuff |
| 05/29/2006 | Yokomizo's corollary | Buried Treasure - No Fluff Just Stuff |
| 05/26/2006 | House | Linspire chooses Haskell as preferred language |
| 05/25/2006 | Dijkstra and languages | Software ideals and history |
| 05/26/2006 | Interesting story | Software ideals and history |
| 05/25/2006 | re: "I invented OOP"... | Software ideals and history |
| 05/14/2006 | The Problem With Threads | The Problem With Threads |
| 05/15/2006 | "Threads" == shared-state concurrency | The Problem With Threads |
| 05/16/2006 | Actually... | The Problem With Threads |
| 05/18/2006 | occam | The Problem With Threads |
| 05/11/2006 | Contracts | The case for Semantic Analysis |
| 05/11/2006 | Compile-time contracts | The case for Semantic Analysis |
| 05/12/2006 | Building Compilers by Combining Algebras | Building Interpreters by Composing Monads |
| 05/09/2006 | Lisp | The Nature of Lisp (a tutorial) |
| 05/17/2006 | S-expressions and M-expressions | The Nature of Lisp (a tutorial) |
| 05/18/2006 | LISP I Programmers Manual | The Nature of Lisp (a tutorial) |
| 05/10/2006 | Yes, but that's the point | The Nature of Lisp (a tutorial) |
| 05/10/2006 | Excellent point(s) | The Nature of Lisp (a tutorial) |
| 05/11/2006 | Writing style | The Nature of Lisp (a tutorial) |
| 05/10/2006 | Broken links | Computer Science Looks for a Remake |
| 05/01/2006 | Occam | What do you believe about Programming Languages (that you can't prove (yet))? |
| 05/01/2006 | Hybrid languages | What do you believe about Programming Languages (that you can't prove (yet))? |
| 05/04/2006 | re: Java + IntelliJ = Hybrid language ? | What do you believe about Programming Languages (that you can't prove (yet))? |
| 05/03/2006 | Interesting paper | What do you believe about Programming Languages (that you can't prove (yet))? |
| 05/08/2006 | CS as a tool of intellectual oppression | What do you believe about Programming Languages (that you can't prove (yet))? |
| 05/08/2006 | Pi-calculus and logic | What do you believe about Programming Languages (that you can't prove (yet))? |
| 04/29/2006 | re: Process languages | A Language-Based Approach to Unifying Events and Threads |
| 04/21/2006 | Computational model | Functional single argument style object oriented programming |
| 04/22/2006 | Clarity | Functional single argument style object oriented programming |
| 04/23/2006 | Thank you | Functional single argument style object oriented programming |
| 04/19/2006 | Ambient calculus | E Thesis: Robust Composition |
| 04/03/2006 | Actor model | Purity in PLT |
| 03/23/2006 | Hoare | Programming: 50, 100 years from now |
| 03/11/2006 | Skeptical at first, but... | ACM Queue: A Conversation with Steve Ross-Talbot |
| 06/02/2006 | In a similar vein | ACM Queue: A Conversation with Steve Ross-Talbot |
| 03/09/2006 | Getting started | Language Design Tips |
| 03/02/2006 | LiteratePrograms wiki | LiteratePrograms wiki |
| 03/02/2006 | Vandalism prevention | LiteratePrograms wiki |
| 03/03/2006 | More than one way to skin a cat | LiteratePrograms wiki |
| 03/02/2006 | Compromise | LiteratePrograms wiki |
| 03/02/2006 | Teaching tool | LiteratePrograms wiki |
| 03/03/2006 | Excellent point | LiteratePrograms wiki |
| 03/03/2006 | Horses for courses | Life and Times of Anders Hejlsberg |
| 03/02/2006 | Mixed static/dynamic typing in JS2? | Do us proud, Dave! |
| 02/27/2006 | Try here | McBride Derivative paper |
| 02/03/2006 | Scsh? | Unix as programming language |
| 02/02/2006 | Real-time GC | The Next Mainstream Programming Languages |
| 02/01/2006 | Answers | What is a monad, why should I use it, and when is it appropriate? |
| 02/01/2006 | Well, yes... but | What is a monad, why should I use it, and when is it appropriate? |
| 01/31/2006 | JML | Weak vs. strong typing |
| 02/03/2006 | Concepts of Modern Mathematics | Lambda the Ultimate Set Comprehension |
| 01/29/2006 | WP CS | Proposed Wikipedia Programming Language Theory topic |
| 01/24/2006 | Previously on LtU | Beyond LINQ: A Manifesto For Distributed Data-Intensive Programming |
| 01/27/2006 | Help | Choice of OS of LtU readers |
| 01/21/2006 | Thank you | Spring School on Datatype-Generic Programming 2006 |
| 01/18/2006 | Java concurrency | Functional libraries for Java |
| 12/31/2005 | Real world globals | Return of the Global Variables? |
| 12/30/2005 | OO threads are easy? | Guy Steele on Language Design |
| 01/18/2006 | KRoC and the Transterpreter | Guy Steele on Language Design |
| 01/18/2006 | Occam adoption | Guy Steele on Language Design |
| 12/30/2005 | Daily WTF | Joel Spolsky views on CS education |
| 12/02/2005 | Understanding what you're doing is fairly important | The breaking point of language usability? |
| 12/02/2005 | Bad examples are not enough | The breaking point of language usability? |
| 12/03/2005 | A "good" tool | The breaking point of language usability? |
| 12/02/2005 | Automation will not solve the problem | The breaking point of language usability? |
| 12/03/2005 | Tools are an aid, not a substitute for education | The breaking point of language usability? |
| 11/30/2005 | Haskell, House, and BitC | New languages for OS level programming? |
| 11/29/2005 | BTW, as far as I know, these | Network Transparent languages |
| 11/22/2005 | A little type-checking removes a lot of ambiguity | Fortress Specs Updated: 0.785 |
| 05/17/2007 | [OT] Z | Algebra Of Programming (Bird, De Moor) |
| 11/21/2005 | Or TWO specifications | Putting Curry-Howard to Work |
| 11/04/2005 | Slashdot asks: "how would you improve SQL?" | Slashdot asks: "how would you improve SQL?" |
| 11/04/2005 | Pointer to INT? | Elegant Method of binding a function variable |
| 11/03/2005 | Objecting to Inheritance or Objectives of Inheritance | An Overview of the Singularity Project |
| 11/04/2005 | The Process of Channelling old ideas to new languages | An Overview of the Singularity Project |
| 11/05/2005 | The need to specify what we want to specify | An Overview of the Singularity Project |
| 11/21/2005 | The memory of processes | An Overview of the Singularity Project |
| 10/26/2005 | Lava | Would LISP/FP help here? |
| 10/27/2005 | Wasn't this in Koen Claessen' | Would LISP/FP help here? |
| 10/27/2005 | Strafunski | Would LISP/FP help here? |
| 10/26/2005 | Sets in CSPm | Why Lists? |
| 10/29/2005 | Design by Contract? | Linear types for aliased resources |
| 10/21/2005 | Parallel assignment counterexample | Bruce Tate: Technologies that may challenge Java |
| 11/03/2005 | Mr. Stroustrup, meet Mr. Godwin | Bruce Tate: Technologies that may challenge Java |
| 11/04/2005 | Yokomizo's corollary to McInnes's reframing of Godwin's law | Bruce Tate: Technologies that may challenge Java |
| 10/10/2005 | Engineering complex systems | Scalability |
| 10/09/2005 | Complexity | Scalability |
| 10/10/2005 | Abstractions | Scalability |
| 10/09/2005 | π-calculus | Chapel: "Solving the parallel programming problem" |
| 10/04/2005 | "Expressive"? | "The Anatomy of a Loop" |
| 10/09/2005 | Lifting expressiveness | "The Anatomy of a Loop" |
| 09/29/2005 | Interesting and occam-like | Active Objects with Syntax Directed Dialogs |
| 09/30/2005 | Details are sparse | Active Objects with Syntax Directed Dialogs |
| 09/28/2005 | Please, no | LtU: Style and Focus |
| 09/29/2005 | Why bother? | LtU: Style and Focus |
| 09/23/2005 | Logix | Non-Lisp, natively extensible? |
| 09/24/2005 | Thanks for the clarification. | Non-Lisp, natively extensible? |
| 09/26/2005 | Choosing abstractions | Abstractions considered harmful? |
| 09/26/2005 | Debugging relies on reasoning | Abstractions considered harmful? |
| 09/26/2005 | My program didn't do what I expected? Inconceivable! | Abstractions considered harmful? |
| 09/27/2005 | Praxis | Abstractions considered harmful? |
| 09/22/2005 | Logix: Multi-Language Programming | Logix: Multi-Language Programming |
| 09/22/2005 | Oops | Logix: Multi-Language Programming |
| 09/15/2005 | OCaml and Eclipse | Most Productive FP Lang? |
| 09/13/2005 | Building Compilers by Combining Algebras | Building Compilers by Combining Algebras |
| 09/06/2005 | Sounds like occam | Apple: procedural -> OO -> AOP -> advanced procedural |
| 09/06/2005 | Indeed. Concurrent C appears | Apple: procedural -> OO -> AOP -> advanced procedural |
| 09/02/2005 | Concurrency in Java and Erlang | OO Language Engineering for the Post-Java Era |
| 09/02/2005 | Haskell in the House | System programming using FP |
| 09/09/2005 | Functional Programming and Embedded Systems | System programming using FP |
| 08/24/2005 | Small changes in design | Should Computer Science Get Rid of Protocols? |
| 08/24/2005 | Of course there are other problems... | Should Computer Science Get Rid of Protocols? |
| 08/12/2005 | Language for HCI | Syntax Design |
| 08/13/2005 | That was kind of my point | Syntax Design |
| 08/04/2005 | FP performance | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
| 08/04/2005 | I wasn't claiming that it was | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
| 08/02/2005 | Good story | A Case for Formal Specification |
| 07/29/2005 | I'll second that | Happy Birthday, dear Lambda |
| 07/22/2005 | A question | On the Revival of Dynamic Languages |
| 07/22/2005 | Thanks! | On the Revival of Dynamic Languages |
| 07/23/2005 | You tell me | On the Revival of Dynamic Languages |
| 07/20/2005 | Things to improve | Grady Booch: Software Engineering Grand Challenges |
| 07/07/2005 | Text != Graphics? | Martin Fowler on Language Workbenches and DSLs |
| 07/05/2005 | An analogy to physics | Martin Fowler on Language Workbenches and DSLs |
| 05/05/2005 | Good Idea! | Let's make a programming language! |
| 04/30/2005 | The long tail of programming languages | The long tail of programming languages |
| 04/30/2005 | No argument there. However, a | The long tail of programming languages |
| 04/30/2005 | Anecdotal evidence | The long tail of programming languages |
| 04/30/2005 | Clarification | The long tail of programming languages |
| 04/30/2005 | Note to self | The long tail of programming languages |
| 05/01/2005 | Interest in power law distribution | The long tail of programming languages |
| 04/29/2005 | dynamic scoping | From Perl Monks: "pissed off about functional programming" |
| 04/26/2005 | Applications | Expressivity of lisp/scheme but speed of assembly/C/C++ |
| 04/23/2005 | Transterpreter code availability | Why do they program in C++? |
| 04/26/2005 | The Language Wars | Why do they program in C++? |
| 04/26/2005 | There is no level playing field | Why do they program in C++? |
| 04/22/2005 | That would be useful. No joke. | Computer generates verifiable mathematics proof |
| 04/12/2005 | Programming as engineering | Dominus talks about HO Perl |
| 09/21/2005 | One line of code? | expressivity of "idiomatic C++" |
| 03/20/2005 | What else should CS be? | According to Allen Holub programming is now a liberal art. When did this happen? |
| 03/21/2005 | Software vs Engineering | According to Allen Holub programming is now a liberal art. When did this happen? |
| 03/21/2005 | Nothing special in software design | According to Allen Holub programming is now a liberal art. When did this happen? |
| 03/22/2005 | QFD etc | According to Allen Holub programming is now a liberal art. When did this happen? |
| 03/22/2005 | Moving targets | According to Allen Holub programming is now a liberal art. When did this happen? |
| 03/22/2005 | Tests as specs | According to Allen Holub programming is now a liberal art. When did this happen? |
| 03/22/2005 | Testing vs specs | According to Allen Holub programming is now a liberal art. When did this happen? |
| 03/23/2005 | Formal methods | According to Allen Holub programming is now a liberal art. When did this happen? |
| 03/23/2005 | Interesting | According to Allen Holub programming is now a liberal art. When did this happen? |
| 03/21/2005 | Engineering | According to Allen Holub programming is now a liberal art. When did this happen? |
| 03/18/2005 | A few (disjoint) thoughts | Grady Booch: AOSD keynote |
| 04/06/2005 | You're thinking of Perl | The fate of reduce() in Python 3000 |
| 03/11/2005 | Interesting | Interview with Adam Dunkels |
| 03/06/2005 | Funny coincidence | JavaScript and domain specific Languages |
| 03/08/2005 | So can I... | JavaScript and domain specific Languages |
| 03/06/2005 | It could be worse | Journals and papers? |
| 02/22/2005 | Transterpreter for Mindstorms | Don Box: Teaching my kids to program |
| 02/24/2005 | Thanks! | Don Box: Teaching my kids to program |
| 02/13/2005 | CSP, occam, JCSP | The Free Lunch Is Over: A Fundamental Turn Toward Concurrency in Software |
| 04/21/2005 | RMoX | House , hOp - the Haskell Operating System |
| 07/13/2005 | Ada? | Why type systems are interesting - part III: latent types |
| 07/13/2005 | Type vs Subtype | Why type systems are interesting - part III: latent types |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |