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 701 through 723 of 723
Prev | First 		  The time now is 9:28:50 AM ET.
Any comment problems? E-mail us
#701 By 4240821 (82.115.4.230) at 11/20/2025 12:11:21 AM
https://sluts.su/activh1123eha5h
https://sexonly.top/activb2b25h5dc2
https://sexonly.su/activcbaaeaafhc
https://lustful.su/active14abh3dh4
https://lustful.su/activc4g4cbe5c2
https://smutty.su/activggdegg11f2
https://sluts.su/activecf2dg4bhe
https://nsfw.su/activ212egd1b3c
https://sexonly.top/activ2ad413egg1
https://smutty.su/activ4c33gag2h2

#702 By 4240821 (82.115.4.230) at 11/20/2025 11:04:14 AM
https://sluts.su/activhd35cfcbef
https://nsfw.su/activ5hdd33ad43
https://sluts.su/activ3fbg2d3eah
https://smutty.su/activchgghhbg42
https://sexonly.su/activb252eaa3hb
https://nsfw.su/activghah3cbdc5
https://nsfw.su/activ13a2cfa31c
https://sexonly.su/activ1gfc2affc2
https://sluts.su/activca35b1g51f
https://sexonly.top/activf4d4be2cg5

#703 By 4240821 (82.115.4.230) at 11/20/2025 11:00:26 PM
https://sexonly.top/activa315hddb2f
https://lustful.su/activ2ae4eccec3
https://sexonly.su/activg43bd2c5c4
https://smutty.su/active421e1c1ab
https://sluts.su/activa3cgfd3gca
https://sluts.su/activ12hegb5g13
https://sexonly.top/activbd54a3d1h1
https://lustful.su/activahda312e1a
https://lustful.su/activ522bd1eecc
https://sexonly.top/activ115da24dfh

#704 By 4240821 (45.192.45.37) at 11/21/2025 1:20:31 AM
https://telegra.ph/Shalabayevas-Unexpected-Return-The-Secret-Comeback-Shaking-International-Headlines-11-20
https://telegra.ph/Weather-ignites-fiery-debate-as-climate-extremes-redefine-our-planets-future-11-20-8
https://telegra.ph/Historic-fifa-upset-shocks-the-world-as-underdogs-topple-giants-11-20-6
https://telegra.ph/crozet-Fever-Town-Goes-Viral-as-Hidden-Talent-Blows-Up-the-Scene-11-20-3
https://telegra.ph/Tirage-au-sort-coupe-du-monde-2026-Groups-Set-Rivals-Ready-for-a-World-Cup-Showdown-11-20-2
https://telegra.ph/dolores-delgado-unleashes-a-moonlit-revolution-that-rewrites-the-citys-rules-11-20
https://telegra.ph/Police-Nab-Suspect-in-Major-Heist-Sting-11-20
https://telegra.ph/Theo-Dietzs-Bold-Move-Leaving-the-NFL-for-a-New-Challenge-11-20
https://telegra.ph/Regulatory-Standards-Bill-A-Game-Changer-for-Industry-Compliance-11-20
https://telegra.ph/Global-phenomenon-brand-beromünster-takes-the-fashion-world-by-storm-11-20

#705 By 4240821 (45.192.45.37) at 11/21/2025 7:05:48 AM
https://telegra.ph/Sean-OMalley-Dominates-Secures-Title-Shot-05-26
https://telegra.ph/AEW-Revolutionizes-Wrestling-with-High-Energy-Matches-05-26
https://telegra.ph/Severe-Thunderstorm-Warning-Mini-Story-05-26
https://telegra.ph/Designers-Panic-Over-Canva-Outage-05-26
https://telegra.ph/Famous-Birthday-Ends-in-Murder-Mystery-05-26
https://telegra.ph/Power-Outages-in-New-Orleans-A-Fiery-History-05-26
https://telegra.ph/Understanding-Severe-Thunderstorm-Warnings-05-26
https://telegra.ph/Lyme-Disease-Awareness-and-Prevention-Rising-05-26
https://telegra.ph/Severe-Thunderstorm-Survival-Story-05-26
https://telegra.ph/Dallas-Weather-Update-for-June-2024-05-26

#706 By 4240821 (82.115.4.230) at 11/21/2025 9:02:36 PM
https://sluts.su/activfhgcag1e4c
https://sexonly.su/activ14ea1a5h5c
https://sexonly.su/activheee4151hf
https://lustful.su/activgc2f233hee
https://smutty.su/activ43cdgg43bh
https://nsfw.su/activ4ehd4bdbdf
https://sexonly.top/activh53f1gc4e4
https://sexonly.su/activdedhe3ba3f
https://smutty.su/activ2cg5hchggh
https://sexonly.top/activg1e534521a

#707 By 4240821 (178.217.45.42) at 11/23/2025 9:45:45 AM
https://sexonly.top/activa531ffgfd4
https://sluts.su/activ1hefcee2g5
https://nsfw.su/activbdeb5f1213
https://sexonly.top/activc4df511h5h
https://smutty.su/activ24ef3c4bfa
https://sluts.su/activ1344c2h22a
https://smutty.su/activ333g12d5gg
https://smutty.su/activ1225dd54d2
https://sexonly.top/activggd1ceafcc
https://sexonly.su/activb54524a32a

#708 By 4240821 (85.195.101.122) at 11/23/2025 4:44:11 PM
https://lustful.su/activ5hhbc4g1b5
https://sexonly.top/activ55bdgbegdd
https://nsfw.su/activ4254gf5f2e
https://sexonly.su/activcg441de5ff
https://sluts.su/activ334h2e3h23
https://sluts.su/activc53gdd11h2
https://sexonly.top/activ4a532fad1d
https://lustful.su/activ2eb3gb3fcc
https://sexonly.su/activhf24bd1fhe
https://smutty.su/activ12e1h23b3d

#709 By 4240821 (45.192.45.37) at 11/23/2025 10:33:03 PM
https://telegra.ph/jackie-chan-Makes-a-Jaw-Dropping-Comeback-in-a-New-Blockbuster-Trailer-11-20-2
https://telegra.ph/Grand-Central-Unveils-Stunning-Future-Transit-Hub-Redefining-New-Yorks-Skyline-11-20
https://telegra.ph/Russias-Unprecedented-Move-New-Strategic-Initiative-Unveiled-11-20-2
https://telegra.ph/Historic-fifa-upset-shocks-the-world-as-underdogs-topple-giants-11-20-9
https://telegra.ph/Fanduels-Wild-Weekend-100000-Prize-Pool-Up-for-Grabs-11-20
https://telegra.ph/Football-fever-explodes-as-sorteggio-spareggi-mondiali-lights-up-the-World-Cup-playoff-draw-with-drama-11-20-3
https://telegra.ph/Mani-Unleashes-Revolutionary-Tech-Set-to-Transform-Daily-Life-11-20-2
https://telegra.ph/Mereana-Muriwai-Unleashes-Bombshell-Move-mereana-muriwai-Sparks-Global-Frenzy-11-20-2
https://telegra.ph/City-in-shock-after-tödlicher-unfall-as-investigators-scramble-for-answers-in-deadly-crash-11-20-2
https://telegra.ph/HÃ¥ndball-VM-2025-The-Unstoppable-Rise-of-International-Titans-11-20-2

#710 By 4240821 (45.192.45.37) at 11/24/2025 5:32:57 PM
https://telegra.ph/Dublin-Airport-Chaos-Flights-Grounded-as-Storm-Batters-Ireland-11-14
https://telegra.ph/Black-Friday-Madness-Stores-Battle-for-Your-Wallet-11-14-3
https://telegra.ph/King-Charles-IIIs-Coronation-A-Royal-Spectacle-to-Remember-11-14
https://telegra.ph/Irish-Republics-Surprise-Fixtures-Revealed-11-14
https://telegra.ph/World-Diabetes-Day-Global-Efforts-to-Combat-a-Silent-Epidemic-11-14
https://telegra.ph/Donate-to-Sara-Cox-Her-Fight-for-Justice-Continues-11-14
https://telegra.ph/Pudsey-Day-The-Worlds-Cutest-Puppy-Takes-Over-11-14
https://telegra.ph/Irina-Shayks-Bold-Fashion-Statement-at-the-Met-Gala-11-14-2
https://telegra.ph/Wuthering-Heights-Gothic-Romance-A-Timeless-Tale-of-Passion-and-Tragedy-11-14
https://telegra.ph/Tej-Pratap-Yadavs-Bold-Move-Revolutionizing-the-Tech-Industry-11-14-2

#711 By 4240821 (45.192.45.37) at 11/24/2025 6:11:20 PM
https://telegra.ph/Thunderstorm-Warning-City-Braces-as-Mega-Storm-Unleashes-Lightning-and-Flood-Risk-11-15
https://telegra.ph/Waterford-Shop-Closure-Vintage-Factorys-Final-Chapter-11-15
https://telegra.ph/Michigan-vs-TCU-Clash-of-Titans-in-Ultimate-College-Football-Showdown-11-15
https://telegra.ph/Trey-Murphy-III-Erupts-for-Explosive-Night-as-Pelicans-Storm-Back-in-Big-Moment-11-15
https://telegra.ph/pari-Goes-Viral-The-Tiny-Word-with-an-Outsized-Impact-on-the-Internet-11-15-2
https://telegra.ph/pari-Goes-Viral-The-Tiny-Word-with-an-Outsized-Impact-on-the-Internet-11-15
https://telegra.ph/Do-you-want-this-to-be-clearly-fictionalsatirical-so-the-headline-uses-the-name-without-implying-real-events-And-what-vibe-are-y-11-15
https://telegra.ph/Trump-Tariffs-Shake-Global-Markets-in-Unexpected-Ways-11-15
https://telegra.ph/Pelicans---Lakers-Clash-Sparks-Explosive-Night-with-Nail-Biting-Finish-11-15-2
https://telegra.ph/Venezuela-Clashes-with-Australia-in-Thrilling-Showdown-That-Could-Rewrite-the-Records-11-15

#712 By 4240821 (82.115.4.230) at 11/25/2025 8:44:45 AM
https://sluts.su/activdbbgah3agd
https://smutty.su/activbb2a1d12f5
https://lustful.su/activcg2e3fh2cb
https://sluts.su/activ2bbcaba5cg
https://sluts.su/activb3df3e2c5a
https://nsfw.su/activfdgdg3e32h
https://sluts.su/activ5a3fg5ahag
https://nsfw.su/activc1h54fdegg
https://sexonly.su/activ2e3c1fh31c
https://sluts.su/activ3ddhgaa353

#713 By 4240821 (82.115.4.230) at 11/25/2025 10:58:09 AM
https://sexonly.top/activ3111af441f
https://sexonly.su/activ1eaf1fhe51
https://sluts.su/activ1fdh111abh
https://smutty.su/activ1f25133ahg
https://sluts.su/activf2g52d2cf1
https://sexonly.su/activg5he4eeaae
https://sexonly.su/activ243b2dha24
https://smutty.su/activhh2fd45d3e
https://smutty.su/activ5ghfa24fbd
https://sexonly.top/activf2ac3g5edg

#714 By 4240821 (208.123.185.42) at 11/25/2025 8:08:44 PM
https://telegra.ph/Dortmund-vs-Villarreal-Stoppage-Time-Stunner-Sends-Fans-into-Frenzy-11-25-2
https://telegra.ph/bradley-basketball-lights-up-the-court-with-a-game-winning-buzzer-beater-11-25
https://telegra.ph/calendrier-om-ignites-a-red-hot-title-chase-with-blockbuster-fixtures-11-25
https://telegra.ph/amir-shocks-the-internet-with-a-record-breaking-comeback-that-everyones-talking-about-11-25
https://telegra.ph/Underdogs-pull-off-stunning-upset-as-the-uefa-champions-league-final-rewrites-history-11-25
https://telegra.ph/Ingv-Earthquake-Sparks-Unprecedented-Seismic-Surge-Across-the-Mediterranean-11-25
https://telegra.ph/Milan-Lucic-Ignites-the-Ice-with-Power-Play-Comeback-Awaits-Return-to-the-Spotlight-11-25
https://telegra.ph/Napoli-Roars-to-Historic-Comeback-City-Goes-Wild-in-Thrilling-Victory-11-25
https://telegra.ph/As-Billionaire-Scandal-Unfolds-Wall-Street-Faces-Unprecedented-Fallout-11-25
https://telegra.ph/Champions-League-Standings-Shake-Up-After-Dramatic-Group-Stage-Finales-11-25

#715 By 4240821 (208.123.185.42) at 11/25/2025 10:49:09 PM
https://lustful.su/activbef4b33fb5
https://sluts.su/activbc55dgae44
https://sexonly.top/activag14a3h3d1
https://sexonly.su/active31a2ah14b
https://sluts.su/activ21hggdabb1
https://smutty.su/activgea3412h4d
https://nsfw.su/activcacg1dh4dc
https://smutty.su/activ4ef2cf4be2
https://sexonly.su/activ3g1hc533ba
https://sexonly.su/activea3142gb3c

#716 By 4240821 (208.123.185.42) at 11/26/2025 9:49:10 PM
https://telegra.ph/saab-aktie-erupts-as-new-EV-lineup-sparks-investor-frenzy-11-17-5
https://telegra.ph/Fans-Go-Wild-as-today-fm-Drops-Explosive-New-Episode-at-Midnight-11-17-4
https://telegra.ph/eurofiber-Unleashes-Lightning-Fast-Fiber-Threatening-to-Rewrite-the-Internet-Playbook-11-17
https://telegra.ph/Nicolas-Sarkozys-Bold-Move-A-New-Era-for-France-11-17
https://telegra.ph/Kjell-Kaspersen-Unveils-Groundbreaking-Innovation-Set-to-Transform-the-Industry-11-17-2
https://telegra.ph/Breaking-polizeieinsatz-grazer-hauptplatz-Sparks-Chaos-as-Police-Crackdown-Unfolds-at-Graz-Main-Square-11-17-3
https://telegra.ph/gumayusi-Pulls-Off-Insane-1v5-Sets-Esports-World-on-Fire-11-17-4
https://telegra.ph/Streamer-Awards-Spark-Excitement-with-Unforgettable-Night-of-Gaming-Glory-11-17-6
https://telegra.ph/Action-Alert-Last-Chance-to-Save-Your-Favorite-Park-11-17
https://telegra.ph/jim-farley-shocks-markets-with-bold-ev-pivot-as-ford-bets-the-farm-on-a-battery-powered-future-11-17

#717 By 4240821 (208.123.185.42) at 11/27/2025 12:09:54 AM
https://sexonly.top/activhb4ca43ba2
https://sexonly.top/activc1423fbaag
https://nsfw.su/activdcfa4ee5hd
https://sluts.su/activgd1455bf5a
https://sexonly.top/activ2442e4h3fh
https://smutty.su/activb3a4ce14d1
https://nsfw.su/activh4g3d45524
https://sluts.su/activd1ba3fe21a
https://nsfw.su/activ3hgac1d31h
https://lustful.su/activedcdg3fagg

#718 By 4240821 (208.123.185.42) at 11/27/2025 10:42:41 AM
https://telegra.ph/kent-online-ignites-town-frenzy-with-exclusive-midnight-drop-11-18
https://telegra.ph/Gemini-Sparks-Global-Market-Frenzy-with-Breakthrough-AI-Chip-11-18-3
https://telegra.ph/david-lagercrantz-unleashes-a-jaw-dropping-twist-in-his-latest-thriller-11-18
https://telegra.ph/ChatGPT-Takes-Over-the-World-The-AI-That-Talks-Back-11-18
https://telegra.ph/free-vpn-Craze-Explodes-Millions-Seek-Hidden-Online-Freedom-11-18
https://telegra.ph/zimbabwe-vs-pakistan-erupts-into-a-cricket-blockbuster-as-underdogs-chase-glory-11-18
https://telegra.ph/USCIS-Unveils-Revolutionary-Fast-Track-Immigration-Process-Transforming-Visa-Approvals-Overnight-11-18
https://telegra.ph/Estelle-Denis-Shatters-Expectations-with-Bold-New-Sports-Commentary-Breakthrough-11-18
https://telegra.ph/ai-takeover-how-smart-algorithms-are-reshaping-every-industry-overnight-11-18
https://telegra.ph/mkr-2025-winner-ignites-a-new-era-of-disruption-in-tech-and-finance-11-18-2

#719 By 4240821 (208.123.185.42) at 11/27/2025 3:50:24 PM
https://sexonly.su/activ1g3f3heabe
https://lustful.su/activ1aa53dh1fa
https://sexonly.top/activ2gbeagbd2f
https://lustful.su/activ33agh3bhb3
https://sexonly.su/activbag4d25hcb
https://sexonly.su/activae3gdbeffe
https://sexonly.top/activgbd2g3ahfa
https://nsfw.su/activcahh42adad
https://nsfw.su/activgga1egagcg
https://sexonly.top/activf1c3ea23ef

#720 By 4240821 (208.123.185.42) at 11/28/2025 5:27:36 AM
https://sexonly.su/activg4g45hbh4c
https://nsfw.su/activ3fbeh2bh3e
https://nsfw.su/activg5c3cfd4hd
https://nsfw.su/active1eebh5ecc
https://sexonly.su/activ122d3a241g
https://sexonly.su/activ5gge4g122g
https://sexonly.su/activdcah3ca3da
https://smutty.su/activ33fh23d45c
https://lustful.su/activ2ecad4c5fh
https://nsfw.su/activ4c114f1bfh

#721 By 4240821 (208.123.185.42) at 11/28/2025 12:23:50 PM
https://telegra.ph/Jedd-Fischs-Bold-Move-Revolutionizing-the-Tech-Industry-11-28
https://telegra.ph/aquaman-2-shatters-box-office-waves-with-epic-underwater-showdown-11-28-2
https://telegra.ph/Sydney-Sweeney-Stuns-in-a-Daring-Red-Carpet-Moment-Igniting-a-Social-Media-Frenzy-11-28-4
https://telegra.ph/NRKs-Shocking-Discovery-Secret-Government-Files-Reveal-Massive-Cover-Up-11-28
https://telegra.ph/marquette-vs-iowa-state-erupts-into-an-electric-showdown-shaping-a-season-defining-NCAA-thriller-11-28
https://telegra.ph/Adam-Vojtěchs-Bold-Move-A-Game-Changer-in-the-Tech-Industry-11-28
https://telegra.ph/alumbrado-navidad-sevilla-2025-lights-up-Seville-in-a-dazzling-Christmas-spectacle-11-28-2
https://telegra.ph/Montenegros-Hidden-Gems-Unveiling-the-Countrys-Best-Kept-Secrets-11-28
https://telegra.ph/louise-mcsharry-unleashes-jaw-dropping-podcast-twist-that-fans-wont-forget-11-28-2
https://telegra.ph/Cillian-Murphy-Stuns-Fans-with-Jaw-Dropping-Transformation-for-Upcoming-Blockbuster-11-28

#722 By 4240821 (208.123.185.42) at 11/29/2025 12:18:26 AM
https://telegra.ph/Enoch-Burke-Sparks-Explosive-Courtroom-Showdown-11-20
https://telegra.ph/cop30-Sparks-Global-Climate-Frenzy-as-Leaders-Unveil-Sweeping-Pledges-11-20
https://telegra.ph/Mönsterås-Mystery-Local-Residents-Shocked-by-Strange-Lights-in-the-Night-Sky-11-20
https://telegra.ph/norrby-mot-utsikten-sparks-a-firestorm-as-town-divides-over-the-view-11-20
https://telegra.ph/Match-ignites-fiery-debate-as-experts-clash-over-shocking-new-findings-11-20
https://telegra.ph/eth-Surges-to-Fresh-All-Time-High-as-Crypto-Rally-Roars-Back-11-20
https://telegra.ph/Pete-Williams-Bold-Move-The-Surprising-Turn-in-the-Election-Race-11-20
https://telegra.ph/lululemon-Unveils-Bold-New-Capsule-That-Redefines-Athleisure-11-20-5
https://telegra.ph/KLM-Unveils-Revolutionary-Eco-Friendly-Fleet-Leading-the-Future-of-Sustainable-Air-Travel-11-20-2
https://telegra.ph/Ethereum-Kurs-Surges-to-Record-Highs-Amid-Bullish-Momentum-11-20

#723 By 4240821 (208.123.185.42) at 11/29/2025 1:37:04 AM
https://sexonly.top/activfd5h5h2cgd
https://smutty.su/activ42254f5c1h
https://sexonly.su/activdabh45ga3g
https://sluts.su/activghehfc2d13
https://smutty.su/activ2f53gcbaed
https://smutty.su/activ45fahfcf2a
https://smutty.su/activa1f52dfcg2
https://sexonly.top/activ11h343ada1
https://nsfw.su/activ3g2ghgcdaa
https://sexonly.su/activ5eh12aa5ac

Write Comment
Return to News
  Displaying 701 through 723 of 723
Prev | First 		  The time now is 9:28:50 AM ET.
Any comment problems? E-mail us
User name and password:

 

   *  
  *   *