1917 search results - page 3 / 384 » The York Abstract Machine |
FPCA
1991
13 years 11 months ago
1991
Hannan. Making Abstract Machines Less Abstract . In Proc. of FPCA'91, LNCS 523, pages
AC
1998
Springer
13 years 7 months ago
1998
Springer
Abstract: Since von Neumann's seminal work around 1950, computer scientists and others have studied the algorithms needed to support self-replicating systems. Much of this wor...
AMTA
2004
Springer
14 years 1 months ago
2004
Springer
The public demonstration of a Russian-English machine translation system in New York in January 1954 – a collaboration of IBM and Georgetown University – caused a great deal of...
ICFP
2010
ACM
13 years 8 months ago
2010
ACM
SAS
2009
Springer
14 years 8 months ago
2009
Springer
Polyhedra: An Abstract Domain to Infer Interval Linear Relationships Liqian Chen1,2 , Antoine Min?e2,3 , Ji Wang1 , and Patrick Cousot2,4 1 National Laboratory for Parallel and Dis...