Sciweavers

2803 search results - page 11 / 561

» A Type System for Prototyping Languages

111

Voted

POPL
1999
ACM

80views Programming Languages» more POPL 1999»

Trust and Partial Typing in Open Systems of Mobile Agents

15 years 7 months ago

Trust and Partial Typing in Open Systems of Mobile Agents

Download condor.depaul.edu

James Riely, Matthew Hennessy

claim paper

Read More »

103

PLDI
2010
ACM

219views Programming Languages» more PLDI 2010»

Safe to the Last Instruction: Automated Verification of a Type-Safe Operating System

15 years 7 months ago

Safe to the Last Instruction: Automated Verification of a Type-Safe Operating System

Download people.csail.mit.edu

Jean Yang, Chris Hawblitzel

claim paper

Read More »

103

Voted

FOAL
2007
ACM

100views Natural Language Processing» more FOAL 2007»

Towards a type system for detecting never-matching pointcut compositions

15 years 7 months ago

Towards a type system for detecting never-matching pointcut compositions

Download www.cs.ucf.edu

Tomoyuki Aotani, Hidehiko Masuhara

claim paper

Read More »

117

APLAS
2001
ACM

90views Programming Languages» more APLAS 2001»

A Type System for the Push-Enter Model

15 years 7 months ago

A Type System for the Push-Enter Model

Download www.jaist.ac.jp

Kwanghoon Choi, Taisook Han

claim paper

Read More »

141

SAC
2011
ACM

160views Applied Computing» more SAC 2011»

Type harvesting: a practical approach to obtaining typing information in dynamic programming languages

14 years 6 months ago

Type harvesting: a practical approach to obtaining typing information in dynamic programming languages

Download www.hirschfeld.org

Dynamically typed programming languages are powerful tools for rapid software development. However, there are scenarios that would beneﬁt from actual type information being avai...

Michael Haupt, Michael Perscheid, Robert Hirschfel...

claim paper

Read More »

« Prev « First page 11 / 561 Last » Next »