Sciweavers

10585 search results - page 320 / 2117
» The Orc Programming Language
Sort
View
SIGADA
2005
Springer
15 years 10 months ago
Using ASIS to generate C++ bindings
In this paper, we describe an approach to automatically creating C++ bindings to Ada libraries utilizing capabilities of the Ada Semantic Interface Specification (ASIS). We discus...
Howard Ausden, Karl A. Nyberg
290
Voted

Book
246views
17 years 3 months ago
Using, Understanding, and Unraveling The OCaml Language
"These course notes are addressed to a wide audience of people interested in modern programming languages in general, ML-like languages in particular, or simply in OCaml, whet...
Didier Remy
99
Voted
USENIX
2001
15 years 6 months ago
Nickle: Language Principles and Pragmatics
Nickle is a vaguely C-like programming language for numerical applications, useful both as a desk calculator and as a prototyping and implementation language for numerical and sem...
Bart Massey, Keith Packard
POPL
2012
ACM
14 years 18 days ago
Run your research: on the effectiveness of lightweight mechanization
Formal models serve in many roles in the programming language community. In its primary role, a model communicates the idea of a language design; the architecture of a language to...
Casey Klein, John Clements, Christos Dimoulas, Car...
ITNG
2006
IEEE
15 years 11 months ago
Adding High Level VoIP Facilities to the Unicon Language
Many programming languages have built-in functions for socket programming and data communications. These days, the Internet is widely used for voice communications that employ a V...
Ziad Al-Sharif, Clinton Jeffery