Search Sciweavers | Sciweavers

1588 search results - page 6 / 318

» Modular action language

161

click to vote

APLAS
2006
ACM

127views Programming Languages» more APLAS 2006»

Proof Abstraction for Imperative Languages

15 years 12 months ago

Download www.cs.missouri.edu

straction for Imperative Languages William L. Harrison Dept. of Computer Science, University of Missouri, Columbia, Missouri, USA. ty in programming language semantics derives fro...

William L. Harrison

claim paper

Read More »

123

click to vote

PPDP
2009
Springer

80views Programming Languages» more PPDP 2009»

Making induction manifest in modular ACL2

16 years 14 days ago

Download www.ccs.neu.edu

Carl Eastlund, Matthias Felleisen

claim paper

Read More »

121

click to vote

PLDI
2006
ACM

109views Programming Languages» more PLDI 2006»

Better extensibility through modular syntax

15 years 12 months ago

Download www.cs.nyu.edu

Robert Grimm

claim paper

Read More »

141

click to vote

ECOOP
1999
Springer

94views Programming Languages» more ECOOP 1999»

Modular Statically Typed Multimethods

15 years 10 months ago

Download www.cs.ucla.edu

Todd D. Millstein, Craig Chambers

claim paper

Read More »

119

click to vote

ICFP
1998
ACM

98views Programming Languages» more ICFP 1998»

Modular Object-Oriented Programming with Units and Mixins

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers