Sciweavers

10575 search results - page 27 / 2115

» T2Script Programming Language

98

Voted

PPDP
2009
Springer

80views Programming Languages» more PPDP 2009»

Making induction manifest in modular ACL2

15 years 10 months ago

Making induction manifest in modular ACL2

Download www.ccs.neu.edu

Carl Eastlund, Matthias Felleisen

claim paper

Read More »

95

Voted

ERLANG
2009
ACM

152views Programming Languages» more ERLANG 2009»

Automated module interface upgrade

15 years 10 months ago

Automated module interface upgrade

Download www.erlang-factory.com

László Lövei

claim paper

Read More »

101

Voted

ERLANG
2009
ACM

128views Programming Languages» more ERLANG 2009»

Recent improvements to the McErlang model checker

15 years 10 months ago

Recent improvements to the McErlang model checker

Download www.erlang-factory.com

Clara Benac Earle, Lars-Åke Fredlund

claim paper

Read More »

98

Voted

ASPLOS
2010
ACM

207views Programming Languages» more ASPLOS 2010»

Implementing the PGI Accelerator model

15 years 10 months ago

Implementing the PGI Accelerator model

Download www12.cs.fau.de

Michael Wolfe

claim paper

Read More »

163

Voted

CEFP
2007
Springer

393views Programming Languages» more CEFP 2007»

An Introduction to the Lambda Calculus

15 years 10 months ago

An Introduction to the Lambda Calculus

Download www.dcc.uchile.cl

Zoltán Csörnyei, Gergely Dévai

claim paper

Read More »

« Prev « First page 27 / 2115 Last » Next »