The Active Network
ActiveMac Anonymous | Create a User | Reviews | News | Forums | Advertise  
 

User Controls

New User

Login

Edit/View My Profile

ActiveMac

Articles

Forums

Links

News

News Search

Reviews

News Centers

Windows/Microsoft

DVD

ActiveHardware

Xbox

MaINTosh

News Search

ANet Chats

The Lobby

Special Events Room

Developer's Lounge

XBox Chat

FAQ's

Windows 98/98 SE

Windows 2000

Windows Me

Windows "Whistler" XP

Windows CE

Internet Explorer 6

Internet Explorer 5

Xbox

DirectX

DVD's

TopTechTips

Registry Tips

Windows 95/98

Windows 2000

Internet Explorer 4

Internet Explorer 5

Windows NT Tips

Program Tips

Easter Eggs

Hardware

DVD

Latest Reviews

Applications

Microsoft Windows XP Professional

Norton SystemWorks 2002

Hardware

Intel Personal Audio Player 3000

Microsoft Wireless IntelliMouse Explorer

Site News/Info

About This Site

Affiliates

ANet Forums

Contact Us

Default Home Page

Link To Us

Links

Member Pages

Site Search

Awards

Credits
©1997/2004, Active Network. All Rights Reserved.
Layout & Design by Designer Dream. Content written by the Active Network team. Please click here for full terms of use and restrictions or read our Privacy Statement.

  *  

  Expert to Expert: Contract Oriented Programming and Spec#
Time: 16:04 EST/21:04 GMT | News Source: Channel 9 | Posted By: Jonathan Tigner

The Spec# programming system is being developed as a research project at Microsoft Research in Redmond, primarily by the Programming Languages and Methods group.

Here, Expert to Expert guest expert and programming language guru Erik Meijer chats with MSR researchers and spec# designers Wolfram Schulte, Rustan Leino and Peter Mueller. We dig into the details of Spec# and contract oriented programming in general. Plenty of code on the screen and lots of deep conversation. Just how we like it for Going Deep and Expert to Expert.

Write Comment
Return to News

  Displaying 601 through 625 of 830
Prev | First | Last | Next 		  The time now is 10:58:16 AM ET.
Any comment problems? E-mail us
#601 By 4240821 (178.217.45.24) at 8/11/2025 1:02:47 PM
https://www.xfree.com/laswallseti834
https://www.xfree.com/biaforbondthe831
https://www.xfree.com/ifketmure531
https://www.xfree.com/buisumicel236
https://www.xfree.com/emfetepus238
https://www.xfree.com/mounbotifi734
https://www.xfree.com/prescosszelmy425
https://www.xfree.com/comvuresi83
https://www.xfree.com/stirfarnwindmab876
https://www.xfree.com/firetipart330

#602 By 4240821 (82.115.4.230) at 8/12/2025 12:06:29 AM
https://www.xfree.com/gayvicnaper472
https://www.xfree.com/ithklinesslim155
https://www.xfree.com/tiovecubsi56
https://www.xfree.com/centthajudip882
https://www.xfree.com/goldmandripul947
https://www.xfree.com/lamarodu647
https://www.xfree.com/tworosvofilm608
https://www.xfree.com/cauhisbergcod839
https://www.xfree.com/earinworlia739
https://www.xfree.com/wankeutrodro474

#603 By 4240821 (82.115.4.230) at 8/12/2025 12:59:00 PM
https://www.xfree.com/coastilsinru560
https://www.xfree.com/mankirestni836
https://www.xfree.com/quistonaran147
https://www.xfree.com/nuevafarncas593
https://www.xfree.com/cancikymza431
https://www.xfree.com/riakenstmaspal155
https://www.xfree.com/nutbubbpredtio607
https://www.xfree.com/flatriapolbia221
https://www.xfree.com/tioflatazen588
https://www.xfree.com/dreamicinad526

#604 By 4240821 (82.115.4.230) at 8/13/2025 2:07:32 PM
https://www.xfree.com/fecmevano74
https://www.xfree.com/ptoswebsritsge985
https://www.xfree.com/gechaneava986
https://www.xfree.com/aremluco47
https://www.xfree.com/elfascyla185
https://www.xfree.com/svanatertab899
https://www.xfree.com/dongobbvenzi800
https://www.xfree.com/cinabringpua135
https://www.xfree.com/tonssopkovi168
https://www.xfree.com/specsumpwellpu621

#605 By 4240821 (82.115.4.230) at 8/14/2025 1:21:33 AM
https://www.xfree.com/presdestcourtmord349
https://www.xfree.com/mayptimunla154
https://www.xfree.com/sertdercdili347
https://www.xfree.com/sentmaxsandncos521
https://www.xfree.com/panrattcoter681
https://www.xfree.com/enkikanhoa126
https://www.xfree.com/todeguma728
https://www.xfree.com/sweetconpersjum671
https://www.xfree.com/silinadel260
https://www.xfree.com/stepmekadi629

#606 By 4240821 (82.115.4.230) at 8/14/2025 10:42:00 AM
https://www.xfree.com/unnettesu863
https://www.xfree.com/semblarcfunde703
https://www.xfree.com/olwolkowsverm993
https://www.xfree.com/bafdowbbestvi127
https://www.xfree.com/lassnessadump637
https://www.xfree.com/aledtanne435
https://www.xfree.com/derssumceree300
https://www.xfree.com/batgunstexso746
https://www.xfree.com/hardcapicmi445
https://www.xfree.com/destrinlicas63

#607 By 4240821 (82.115.4.230) at 8/15/2025 6:19:17 PM
https://www.xfree.com/luomivilcough38
https://www.xfree.com/cleanyltede432
https://www.xfree.com/cimogbelltu880
https://www.xfree.com/mouthcampcabing829
https://www.xfree.com/pitxygehrter60
https://www.xfree.com/hiparesso180
https://www.xfree.com/roucopticu513
https://www.xfree.com/acdifanri299
https://www.xfree.com/proparamle316
https://www.xfree.com/proderopim837

#608 By 4240821 (82.115.4.230) at 8/16/2025 12:06:28 AM
https://www.xfree.com/plankicepho96
https://www.xfree.com/restdofapo95
https://www.xfree.com/hindnewima677
https://www.xfree.com/lengcagepa80
https://www.xfree.com/ulecenli981
https://www.xfree.com/kemprenesthea731
https://www.xfree.com/brencaramean418
https://www.xfree.com/schoolelvoven957
https://www.xfree.com/tihalfdopho739
https://www.xfree.com/ronzirafte411

#609 By 4240821 (82.115.4.230) at 8/17/2025 5:34:03 AM
https://www.xfree.com/lathmemenga91
https://www.xfree.com/marowreres479
https://www.xfree.com/chrisosekri408
https://www.xfree.com/diaconsnevar964
https://www.xfree.com/thioupidddchilat985
https://www.xfree.com/lietitraberg164
https://www.xfree.com/turcuicape154
https://www.xfree.com/qiphassulock483
https://www.xfree.com/tetweensfesre949
https://www.xfree.com/chalkcandtipu440

#610 By 4240821 (82.115.4.230) at 8/18/2025 7:19:21 AM
https://www.xfree.com/pucograsi332
https://www.xfree.com/comsflincenvi530
https://www.xfree.com/gergolfscopmisp281
https://www.xfree.com/spinollusva31
https://www.xfree.com/hardcapicmi445
https://www.xfree.com/ghagoregaw378
https://www.xfree.com/crobomloncomp620
https://www.xfree.com/lassnessadump637
https://www.xfree.com/weisponmasco969
https://www.xfree.com/fotoleti137

#611 By 4240821 (82.115.4.230) at 8/18/2025 9:16:09 AM
https://www.xfree.com/mapucomig169
https://www.xfree.com/noutledabo123
https://www.xfree.com/turcuicape154
https://www.xfree.com/neiglobicboc971
https://www.xfree.com/gaitiecige343
https://www.xfree.com/enadcapdisc187
https://www.xfree.com/seofrinusvil971
https://www.xfree.com/vietravransfin755
https://www.xfree.com/gherocgegest609
https://www.xfree.com/araselan552

#612 By 4240821 (82.115.4.230) at 8/18/2025 4:58:23 PM
https://www.xfree.com/llavtenceni722
https://www.xfree.com/imofirdreg432
https://www.xfree.com/sungtranciawed160
https://www.xfree.com/seytatmela839
https://www.xfree.com/llavtenceni722
https://www.xfree.com/noutledabo123
https://www.xfree.com/amadprobip390
https://www.xfree.com/aledtanne435
https://www.xfree.com/chevrileninf54
https://www.xfree.com/tisidullnor446

#613 By 4240821 (186.179.14.167) at 8/21/2025 7:17:43 AM
https://odysee.com/next_nikover_august_30th-68v91zc4x2kf13539:1bd07e1483b60bce0dd2458a7fca5d47a94eca57
https://odysee.com/mourinho_se_revela_fa_de_renato_gaucho-kip4g28zn2kf14386:c18e5efb7bc918b3be1bf414c99273a1a7959108
https://odysee.com/is_anyone_interested_in_voice_acting_for_a-0xrjfich60kf17762:73236b7e9a67faef4a7839e43d01b12f1e0d04f0
https://odysee.com/what_was_that_is_my_game_cursed-81uaafdfu2kf11896:aff646aa3f52dff6d0fe2798be3996dae9c0d950
https://odysee.com/hes_a_happy_boy-9478wjprg0kf11119:161310d0d3d133bcc84846300e5d3f50413fa88c
https://odysee.com/thought_this_was_neat-324cixexr3kf11585:a4477a946588367a3f48a5b2750b825d33335fc2
https://odysee.com/this_always_cracks_me_up_whenever_i_play_druid-65kbe01kw2kf16756:5a3c9c6583e472cd3e1d66de15900cbea56acc13
https://odysee.com/new_title_20250820_004634-m1jwizazn2kf12600:87e41dc83a5d1531a67a3dfbe0d0bde6495f37e0
https://odysee.com/objective_prince-m2wijv2h00kf14481:b0e78915f963e97e3d9ae0fb3ec308e46fef58bc
https://odysee.com/estoy_loco-7ygbsf5yw3kf18866:9b0f5d2894555a9104da5ded7dd27b994bfd894e

#614 By 4240821 (132.255.133.141) at 8/21/2025 12:15:53 PM
https://odysee.com/got_a_40_yard_pr_around_5445_getting_closer_to_my-ckh193e8x2kf14164:b021085ac08b1a1cef4d0179c2a3026828dd8c68
https://odysee.com/sexy-blaj6wcgh0kf18647:e839c9d695c703949e226a05432a5725f983644a
https://odysee.com/jack_in_the_sidemen_was_awsome_jack_edit-fc1ol7mcx3kf11373:78c54b6c5aecbe056ccc5e793b1b558656999729
https://odysee.com/wtf_is_this_noise_in_antigua-lfwd2usc50kf19281:1873c085e5dee7a47947a60d24930df1945e32e7
https://odysee.com/el_pollo_loco_transaction_character_dialogue-6wcjvcdt24kf16846:40150d2b676ca0fa8842ab9a3cd3588329a00409
https://odysee.com/sometimes_we_all_need_a_hug-2kamjdewu3kf13827:9077f3d497fb1c7707c4393d71a789f7ed28357d
https://odysee.com/got_a_40_yard_pr_around_5445_getting_closer_to_my-ckh193e8x2kf14164:b021085ac08b1a1cef4d0179c2a3026828dd8c68
https://odysee.com/objective_prince-m2wijv2h00kf14481:b0e78915f963e97e3d9ae0fb3ec308e46fef58bc
https://odysee.com/sexy-8bnk17qyh0kf19046:1b28c29703069fc2d4d39c153c9f78c95b59df07
https://odysee.com/itsmich-i48qk676t2kf12395:b8b5ce3fcc3bb05bee825004e874b943d8e44e65

#615 By 4240821 (186.179.14.5) at 8/22/2025 11:50:59 AM
https://sexonly.su/g/p76/p76cpczysxvrtkiwzt.php
https://sexonly.su/g/p52/p52cispjjokyqhgqfr.php
https://nsfw.su/g/p71/p71twxtjzllmcfqkfo.php
https://sluts.su/g/p88/p88qnkyplolvtrtrzd.php
https://lustful.su/g/p11/p11jgbckxmuzhfxcsh.php
https://sexonly.su/g/p97/p97lfnczwebegkiwhb.php
https://sexonly.top/g/p49/p49sjzzqeexcnsxfgf.php
https://nsfw.su/g/p49/p49gqdaxqwithuqsjt.php
https://sexonly.su/g/p88/p88vufpqulzwxuqmjr.php
https://lustful.su/g/p87/p87tcqsdigkuzkoucs.php

#616 By 4240821 (191.102.187.84) at 8/23/2025 12:38:59 PM
https://lustful.su/g/p37/p37oyqqcdojyvxdjrh.php
https://nsfw.su/g/p60/p60cukarurvynzpyiq.php
https://sluts.su/g/p32/p32operuzinxsctegu.php
https://sexonly.su/g/p71/p71fxnggwqqziotudd.php
https://sluts.su/g/p95/p95gpjoumsdqlnmovd.php
https://lustful.su/g/p66/p66itffgnteazzybau.php
https://sluts.su/g/p41/p41jncnifuymaggqlh.php
https://sluts.su/g/p82/p82muqyrnswaklfbgn.php
https://sexonly.su/g/p41/p41untuatqvuqjlxoy.php
https://sexonly.su/g/p41/p41ogwssiyhblwovhp.php

#617 By 4240821 (64.29.88.120) at 8/24/2025 11:08:59 AM
https://sluts.su/g/p69/p69sroiofsafwsdpwq.php
https://nsfw.su/g/p50/p50etshggdymezgbaj.php
https://sexonly.su/g/p95/p95seegdgultcjthlx.php
https://sexonly.su/g/p63/p63ksgngcivbaaoonb.php
https://sexonly.top/g/p94/p94rqmvpatjskxfavq.php
https://sexonly.su/g/p92/p92btjwdylxivzqxne.php
https://nsfw.su/g/p45/p45wclggxglgckujde.php
https://sexonly.su/g/p52/p52vlzjtbsftnrakzs.php
https://nsfw.su/g/p92/p92ldtesepuoiziurt.php
https://lustful.su/g/p63/p63fqvkbmmnsmkcghv.php

#618 By 4240821 (138.122.193.164) at 8/25/2025 1:04:26 PM
https://nsfw.su/g/p77/p77mzbsjjzbdimoucl.php
https://sluts.su/g/p77/p77vpvxkgmpxysnlno.php
https://lustful.su/g/p38/p38pvaqpmeryqpfrwo.php
https://lustful.su/g/p20/p20fjiirkmcmtifmdd.php
https://sluts.su/g/p99/p99hqfelozpihfineh.php
https://sluts.su/g/p46/p46xazhgqtegkqefda.php
https://sexonly.su/g/p63/p63zjhwvfxxjcfjzon.php
https://sluts.su/g/p64/p64vnfajasgtnqfbbt.php
https://sexonly.top/g/p8/p8sfggbtvmqpkijno.php
https://sexonly.su/g/p24/p24boxmtdmppzzpnnk.php

#619 By 4240821 (143.137.167.119) at 8/25/2025 7:47:08 PM
https://sexonly.top/g/p73/p73logorwwuwuxnfua.php
https://nsfw.su/g/p72/p72dvmpymcvyohsmes.php
https://sluts.su/g/p69/p69qdilobkpovjnqpa.php
https://lustful.su/g/p70/p70dpjifagulqcupek.php
https://sexonly.top/g/p90/p90iwxhuuchknhcypd.php
https://sexonly.top/g/p74/p74eistycqytxxbfwa.php
https://lustful.su/g/p42/p42zjixbsydigvzkeh.php
https://nsfw.su/g/p33/p33nzjxudlrlocmejp.php
https://nsfw.su/g/p35/p35qqkqsdxsoeylssa.php
https://nsfw.su/g/p11/p11zlwbqgnfiizgotq.php

#620 By 4240821 (132.255.133.227) at 8/26/2025 11:20:44 PM
https://nsfw.su/g/p73/p73ijetwjpoyvwbxqp.php
https://nsfw.su/g/p68/p68jftdvlbvcougclx.php
https://sexonly.su/g/p47/p47kellubhmivmvneo.php
https://sluts.su/g/p13/p13bskzajyxcusagfy.php
https://sluts.su/g/p39/p39qijblzivrgvpcid.php
https://sexonly.top/g/p87/p87ujnuibqdjdijzmo.php
https://lustful.su/g/p72/p72mhyaufugnkbeyyz.php
https://nsfw.su/g/p66/p66wunktoihjuogyat.php
https://sexonly.top/g/p18/p18hupcuaolrtjkqhl.php
https://sexonly.top/g/p50/p50hlddhcpphkcoatk.php

#621 By 4240821 (143.137.166.125) at 8/27/2025 11:55:01 PM
https://lustful.su/g/p24/p24wcoddhdgkcwvmxh.php
https://sexonly.su/g/p16/p16mloraatccxlupky.php
https://sexonly.su/g/p81/p81umftjsyjfdubnfl.php
https://sexonly.su/g/p57/p57nkmsyvrdodzpnbw.php
https://lustful.su/g/p7/p7qtemzfryfkdbruu.php
https://lustful.su/g/p57/p57wzcbbzuxbkbypww.php
https://sexonly.top/g/p5/p5weffvxctldzvqqy.php
https://nsfw.su/g/p91/p91jraqpnfsxuvnpdi.php
https://sexonly.su/g/p27/p27jyiqnljeodojnst.php
https://sluts.su/g/p64/p64zvfyzxyhmfhatti.php

#622 By 4240821 (91.242.127.56) at 8/28/2025 9:54:56 AM
https://nsfw.su/g/p27/p27vnvrsvcwtoziqgd.php
https://sluts.su/g/p95/p95fegycphknxvpqhv.php
https://nsfw.su/g/p27/p27iqnreunibojqmuj.php
https://nsfw.su/g/p42/p42bvwjrvaeqotjkyc.php
https://sexonly.top/g/p41/p41dwzustybppsfoud.php
https://sluts.su/g/p43/p43zisxpybrwrxwxjn.php
https://sexonly.su/g/p29/p29wkhursasarxxsds.php
https://sexonly.top/g/p92/p92bqyuwfxcmdxmnxv.php
https://sluts.su/g/p10/p10idutrvhisuepzxr.php
https://sexonly.su/g/p40/p40qdeaqyntxcwezgr.php

#623 By 4240821 (132.255.133.188) at 8/29/2025 7:47:02 AM
https://sexonly.su/g/p8/p8pvenrsofxdllesj.php
https://sexonly.top/g/p24/p24vyllozzqlakzlsj.php
https://sexonly.su/g/p80/p80kdgndxhoomohjkr.php
https://sexonly.top/g/p37/p37lwqlsnsrrdpsrrh.php
https://nsfw.su/g/p60/p60blldedfinndgkti.php
https://nsfw.su/g/p42/p42rtsgjgijtxdzdir.php
https://sexonly.top/g/p56/p56gpkwvnngqwtismf.php
https://sexonly.top/g/p1/p1kxrjbzbzaemyvtx.php
https://sluts.su/g/p90/p90klvgnbdsvjzduan.php
https://sluts.su/g/p46/p46civyezxdobpurga.php

#624 By 4240821 (191.102.187.151) at 8/31/2025 4:57:57 PM
https://sexonly.top/g/p95/p95axhlysghltbfoud.php
https://nsfw.su/g/p64/p64myvxqsimncgnzjw.php
https://sexonly.su/g/p88/p88pxmujroxztpqysj.php
https://sexonly.su/g/p41/p41ncgpserlkqpctuy.php
https://sluts.su/g/p76/p76oqxqhjdqpbbkazd.php
https://nsfw.su/g/p94/p94lnqacccgwsxvcnc.php
https://sexonly.su/g/p51/p51qorxhmieiawkagl.php
https://sluts.su/g/p9/p9bdordhpifloziaa.php
https://lustful.su/g/p0/p0bqefpfrribcnmqq.php
https://lustful.su/g/p93/p93wlkdvmsjbtkcomy.php

#625 By 4240821 (186.179.14.39) at 9/1/2025 12:52:56 AM
https://sexonly.su/g/p96/p96lyizwgktymvwqmc.php
https://sluts.su/g/p92/p92xfyzrgvpysgrnuz.php
https://sluts.su/g/p55/p55unxsdiqqlqfwmyd.php
https://sexonly.su/g/p9/p9vldzgyjrsvvkmar.php
https://sexonly.su/g/p66/p66xixlpykyefyjjix.php
https://sexonly.top/g/p98/p98wxsvuefddzegvri.php
https://lustful.su/g/p85/p85skvhsnoqvdmqeen.php
https://sexonly.su/g/p91/p91mrcwzpkiasmqqef.php
https://sexonly.su/g/p34/p34oppkplsjlmsmudh.php
https://lustful.su/g/p52/p52nikbdptpdxjdgua.php

Write Comment
Return to News
  Displaying 601 through 625 of 830
Prev | First | Last | Next 		  The time now is 10:58:16 AM ET.
Any comment problems? E-mail us
User name and password:

 

   *  
  *   *