![]() |
privacy |
||
|
Collaborative articulation of how abstraction and language is employed in the computational manifestation of numbers -- including analysis of the role of syntax, semantics, and meaning in the specification and use of software interfaces.
Blog Feed Recent Items The nfoCentrale Blog Conclave nfoCentrale Associated Sites |
2006-02-16Moving Peano Ahead for OOPSLAThanks to a February 16 post by Grady Booch, I am excited to learn that PLOP 2006 and OOPSLA 2006 are in Portland, Oregon, spanning October 21 to 26. This is the best opportunity for my attendance since OOPSLA 2002 in Seattle. {tags: OOPSLA PLOP Peano interface contracts abstract datatypes mathematical objects orcmid} There are interesting opportunities for papers (due March 18 for OOPSLA) and pattern work (due May 15 for PLOP). In honor of the OOPSLA deadline, I am thinking about crunching the remainder of the Numbering Peano exercise. There’s an useful essay in the representation of Peano Numbers by Object-Oriented interfaces. I need something to get me out of the doldrums, and this seems like a worthy idea to do that. I also have other promises that I’ve made, so I will need to work in parallel. Anything to keep the mind alive! I’m going to figure this all out on Monday, February 21, after I clean up my systems for this and some other development projects I need to re-energize.
Wow, you're still working on oMiser! Maybe this guy's post will be relevant to your research... http://epsilondelta.wordpress.com/2006/03/15/object-algebra/ Well, what's not to like about "For every epsilon greater than zero, there exists a web site. This is one of them." And R.I.T. is sort of a home-town school for me (having lived in Rochester for 20 years, though I took more courses at St. John Fisher than R.I.T). I'm not sure there is relevance, because oMiser Obs are quite different critters and any relationship to OO Objects is purely coincidental. But thanks for the thought. I must start posting more here.
|
||
|
|
You are navigating The Miser Project. |
template created 2004-05-31-22:34 -0700 (pdt)
by orcmid |