skip to main
|
skip to sidebar
Factor: a practical stack language
Slava Pestov
's weblog, primarily about
Factor
.
Wednesday, January 31, 2007
Formal semantics for the Cat programming language
Christopher Diggins has written a paper defining
formal semantics for the Cat programming language
. I've mentioned Cat here several times; it is currently at version 0.9.9.
No comments:
Post a Comment
Newer Post
Older Post
Home
Subscribe to:
Post Comments (Atom)
Older Posts
►
2010
(18)
►
September
(4)
►
July
(2)
►
May
(2)
►
April
(3)
►
March
(2)
►
February
(2)
►
January
(3)
►
2009
(35)
►
December
(2)
►
November
(1)
►
October
(1)
►
September
(3)
►
August
(5)
►
July
(3)
►
May
(4)
►
April
(4)
►
March
(2)
►
February
(4)
►
January
(6)
►
2008
(96)
►
December
(4)
►
November
(9)
►
October
(1)
►
September
(9)
►
August
(5)
►
July
(5)
►
June
(9)
►
May
(6)
►
April
(13)
►
March
(9)
►
February
(17)
►
January
(9)
▼
2007
(141)
►
December
(5)
►
November
(13)
►
October
(10)
►
September
(15)
►
August
(21)
►
July
(5)
►
June
(12)
►
May
(12)
►
April
(12)
►
March
(9)
►
February
(12)
▼
January
(15)
Formal semantics for the Cat programming language
ICFP '06 universal machine ported to Factor
ARM port day 2
ARM port day 1
Memoization in Factor
Removing duplicates, boolean arrays, ARM
Converting an Excel file to CSV - Factor makes XML...
Faster performance on the reverse-complement bench...
A compiler optimization
Command-line editing in the TTY listener
Tool to tally contributor patch counts
Warm fuzzies
Two promising Haskell projects
Factor 0.87 released
Showing the stack effect for words under the caret
►
2006
(207)
►
December
(23)
►
November
(30)
►
October
(25)
►
September
(22)
►
August
(26)
►
July
(23)
►
June
(11)
►
May
(15)
►
April
(4)
►
March
(11)
►
February
(5)
►
January
(12)
►
2005
(23)
►
December
(11)
►
November
(3)
►
October
(6)
►
September
(3)
Recent Factor Commits
Loading...
Planet Factor
Loading...
Links
@slava_pestov
My home page
Factor programming language
Concatenative language wiki
Planet Factor
No comments:
Post a Comment