Wednesday, June 14, 2006

Formalizing JavaScript

Last week I gave a talk at the UCSC Software Engineering Seminar entitled Formalizing JavaScript.* I talked about the approach I've been taking to specifying the operational semantics of JavaScript, in terms of both the formal approach to the model and the engineering of the executable model.
*You'll probably want a better cursive font than Comic Sans MS, such as Monotype Corsiva, Textile, or one of the Chancery fonts.
Update: I've written up some notes to accompany the talk as well.

5 comments:

Anonymous said...

Dave,

These look like good slides, in that you're explaining just one thing on each slide and not trying to cram a lot of splintery information down my throat, as some presenters do.

But, just reading them on my own, I wasn't able to understand them at all. Do you have anything like a paper that I can read?

Dave Herman said...

Thanks, Ezra. At the moment I don't have any paper of my own on the topic, but for the time being I'd recommend Mitch Wand's very readable lecture notes or Matthias Felleisen and Matthew Flatt's monograph (longer). Slide 29 has the relevant links.

Thank you for the feedback. I should put together a brief summary of each slide, since they aren't all self-explanatory.

Kanye Co Jamila said...

Hi, Great.. Tutorial is just awesome..It is really helpful for a newbie like me.. I am a regular follower of your blog. Really very informative post you shared here. Kindly keep blogging. If anyone wants to become a Front end developer learn from Javascript Training in Chennai . or Javascript Training in Chennai. Nowadays JavaScript has tons of job opportunities on various vertical industry. ES6 Training in Chennai

deliveryguru said...

Amazing article. Your blog helped me to improve myself in many ways thanks for sharing this kind of wonderful informative blogs in live.
Fish and chips takeaway
Tartan Glasgow
Traditional Chippy
best fast food restaurants
fish supper near me
bite me sandwich bar
Glasgow Climbing centre

fuel digital vignesh said...

Amazing article. Your blog helped me to improve myself in many ways thanks for sharing this kind of wonderful informative blogs in live.
fast food restaurants
bbq chicken
chicken tikka
pepperoni pizza,
baguettes,
tandoori nan
fast food bradford