recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	Rapid Prototyping tools & environments from academia RE: A perfect topic for a Ph.D. thesis! by Z-Bo Reference for TRIZ by Peter Van Roy i'm also curious by raould Technical Contradiction is Opportunity for Innovation by dmbarbour Don't make trade-offs, solve the problem instead by Peter Van Roy Design Trade-offs by dmbarbour Her '95 Life on the Screen by Sean McDirmid As for syntactic by Z-Bo Link me to Sherry's work by Z-Bo I can't help but wonder if by Sean McDirmid ...	Z-Bo	2010-02-09 23:45
Story	Introducing PathQuery, Google's Graph Query Language PathQuery's foundation by Charles Stewart	Z-Bo	2021-07-27 13:34
Story	Google announces Logica: organizing your data queries, making them universally reusable and fun The motivating goal by jmyounker Basic boolean algebra manipulations are easier w/ Horn clauses by Z-Bo Logica is a datalog subset that compiles to SQL? by davidb LINQ by mt99	Z-Bo	2021-09-24 17:33
Story	The Recruitment Theory of Language Origins Link correction by L Spice Going from Java to Groovy by Z-Bo	Z-Bo	2010-02-03 07:25
Story	Google TechTalk: The Evolution of End-User Programming overlooking ToonTalk by Z-Bo Ah, I view spreadsheets as a by Z-Bo Hypercard by mfidelman Ah, I view spreadsheets as a by lmeyerov ToonTalk is an object-capability system by MarkM Security -and- trustworthiness by Z-Bo I would have thought it's by lmeyerov	Z-Bo	2010-02-16 14:05
Story	Facebook open sources "Infer", static program analysis tool prior work by NickP Wow! by Andrew Moss Check out by jamii Been a while by Andrew Moss Datalog by Brandon Bloom Thanks by Andrew Moss XPath on directed property graphs by Brandon Bloom Checking patterns by Andrew Moss concur by raould You have math against you by marco ...	Z-Bo	2015-07-28 18:54
Forum topic	High-Level Nondeterministic Abstractions in C++	zayenz	2006-07-04 08:03
Forum topic	Do you happen to hear about pre-equivalence? that's it! Thanks by zell08v Yes, exactly. So the OP is by Jules Jacobs Same to isomorphism by James Iry Sure, they are not exactly by Jules Jacobs Not graphical by James Iry Graphs where every node has by Jules Jacobs Reflexive by James Iry Tolerance relation by jack What you have is basically by Jules Jacobs	zell08v	2010-10-28 22:51
Forum topic	Is there a site to discuss some issues on abstract interpretation? Pretty informative your answer, many thanks by zell08v Difficult in general by Andrew Moss Thanks. Here some more details by zell08v Try asking your specific questions by Andrew Moss AI was discussed here many by Ehud Lamm You're right -- AI is a very by lmeyerov What is abstract by Jules Jacobs Abstract interpretation is a by lmeyerov Perhaps there should be a by Jules Jacobs	zell08v	2010-05-08 19:32
Forum topic	Learn python to implement a complicated static code analyzer perhaps consider MELT by Basile STARYNKEVITCH Thank you all for being so helpful! by zell08v Picking a program analysis framework by Martin Bravenboer Soot, Java, and size by James Iry Does than mean an extensive knowledge in C/C++? by zell08v GCC Python Plugin by sanxiyn	zell08v	2012-03-30 20:10
first page previous page next page last page