Search Sciweavers | Sciweavers

10912 search results - page 235 / 2183

» Object-Oriented Programming Languages

164

click to vote

IADIS
2003

142views Internet Technology» more IADIS 2003»

Paradigm Shifts and Business Processes: A Case Study

15 years 7 months ago

Download www.iadis.net

The vast majority of IT systems are implemented using a traditional procedural paradigm approach using a suitable procedural language such as COBOL. However, with recent developme...

Paul Maclear, Paul Darbyshire

claim paper

Read More »

223

click to vote

POPL
2002
ACM

101views Programming Languages» more POPL 2002»

Types as models: model checking message-passing programs

16 years 6 months ago

Download www.cs.cmu.edu

Sagar Chaki, Sriram K. Rajamani, Jakob Rehof

claim paper

Read More »

251

click to vote

POPL
2002
ACM

135views Programming Languages» more POPL 2002»

Systematic design of program transformation frameworks by abstract interpretation

16 years 6 months ago

Download www.di.ens.fr

Patrick Cousot, Radhia Cousot

claim paper

Read More »

146

click to vote

ICFP
2008
ACM

124views Programming Languages» more ICFP 2008»

Bialgebra views: a way for polytypic programming to cohabit with data abstraction

16 years 6 months ago

Download babel.ls.fi.upm.es

Juan José Moreno-Navarro, Pablo Nogueira

claim paper

Read More »

144

click to vote

ICFP
2006
ACM

124views Programming Languages» more ICFP 2006»

Stabilizers: a modular checkpointing abstraction for concurrent functional programs

16 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers