Sciweavers

10871 search results - page 213 / 2175
» A stable programming language
Sort
View
116
Voted
VL
1997
IEEE
156views Visual Languages» more  VL 1997»
15 years 6 months ago
VisuaLinda: A Framework for Visualizing Parallel Linda Programs
Hideki Koike, Tetsuji Takada, Toshiyuki Masui
SIGPLAN
2008
15 years 2 months ago
Teaching programming languages in a post-linnaean age
Programming language "paradigms" are a moribund and tedious legacy of a bygone age. Modern language designers pay them no respect, so why do our courses slavishly adhere...
Shriram Krishnamurthi
159
Voted
ICFP
2010
ACM
15 years 3 months ago
Security-typed programming within dependently typed programming
Several recent security-typed programming languages, such as Aura, PCML5, and Fine, allow programmers to express and enforce access control and information flow policies. Most of ...
Jamie Morgenstern, Daniel R. Licata
96
Voted
PROMAS
2007
Springer
15 years 8 months ago
A Practical Agent Programming Language
This paper discusses the need for an effective and practical BDI-based agentoriented programming language. It proposes an alternative by presenting the syntax and semantics of a ...
Mehdi Dastani, John-Jules Ch. Meyer