Sciweavers

2625 search results - page 123 / 525
» The development of the Emerald programming language
Sort
View
ACE
2004
182views Education» more  ACE 2004»
14 years 11 months ago
Learning to Program: Spreadsheets, Scripting and HCI
An examination of some recent programming texts indicates that the complexities of modern programming languages and environments have replaced the study of algorithms and programm...
Peter Warren

Publication
226views
16 years 8 months ago
A Gentle Introduction to Multi-stage Programming
Multi-stage programming (MSP) is a paradigm for developing generic software that does not pay a runtime penalty for this generality. This is achieved through concise, carefully-des...
Walid Taha
TPHOL
2007
IEEE
15 years 4 months ago
Operational Reasoning for Concurrent Caml Programs and Weak Memory Models
This paper concerns the formal semantics of programming languages, and the specification and verification of software. We are interested in the verification of real programs, wr...
Tom Ridge
VL
1998
IEEE
116views Visual Languages» more  VL 1998»
15 years 2 months ago
Programming Web-Based Applications within a Data-Flow VL
This paper shows how a general purpose data flow visual programming environment can be effectively used to find, collect and manipulate information available on the web. The discu...
Roberto Idini, Mauro Mosconi, Marco Porta
IFIP
2007
Springer
15 years 4 months ago
In-Time Role-Specific Notification as Formal Means to Balance Agile Practices in Global Software Development Settings
In global software development (GSD) projects, distributed teams collaborate to deliver high-quality software. Project managers need to control these development projects, which in...
Dindin Wahyudin, Matthias Heindl, Benedikt Eckhard...