Search Sciweavers | Sciweavers

10622 search results - page 156 / 2125

» Python Programming Language

144

click to vote

ATAL
2007
Springer

112views Intelligent Agents» more ATAL 2007»

A grounded specification language for agent programs

15 years 8 months ago

Download people.cs.uu.nl

This paper studies the relation between agent specification and agent programming languages. In particular, it shows that an agent programming language obeys some desirable proper...

Mehdi Dastani, M. Birna van Riemsdijk, John-Jules ...

claim paper

Read More »

225

Voted

POPL
2007
ACM

110views Programming Languages» more POPL 2007»

Operational semantics for multi-language programs

16 years 4 months ago

Download www.eecs.northwestern.edu

Jacob Matthews, Robert Bruce Findler

claim paper

Read More »

140

Voted

ICFP
2005
ACM

93views Programming Languages» more ICFP 2005»

A language-based approach to functionally correct imperative programming

16 years 4 months ago

Download www.cs.rice.edu

Edwin M. Westbrook, Aaron Stump, Ian Wehrman

claim paper

Read More »

109

Voted

PPDP
2009
Springer

140views Programming Languages» more PPDP 2009»

Alternation as a programming paradigm

15 years 11 months ago

Download www.dbai.tuwien.ac.at

Wolfgang Dvorák, Georg Gottlob, Reinhard Pi...

claim paper

Read More »

112

click to vote

PLDI
2005
ACM

94views Programming Languages» more PLDI 2005»

A serializability violation detector for shared-memory server programs

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers