Results 261 to 270 of about 13,984,903 (297)
Some of the next articles are maybe not open access.
ACM SIGPLAN Notices, 2014
We report on our experience teaching a Haskell-based functional programming course to over 1100 students for two winter terms. The syllabus was organized around selected material from various sources. Throughout the terms, we emphasized correctness through QuickCheck tests and proofs by induction.
Jasmin Christian Blanchette +4 more
openaire +1 more source
We report on our experience teaching a Haskell-based functional programming course to over 1100 students for two winter terms. The syllabus was organized around selected material from various sources. Throughout the terms, we emphasized correctness through QuickCheck tests and proofs by induction.
Jasmin Christian Blanchette +4 more
openaire +1 more source
Introduction: Experience Reports
AGILE 2006 (AGILE'06), 2006I love stories. I love hearing them; I love telling them. Stories connect me to ideas in a way that dry recitals of facts and findings never could. Perhaps itÂ’s my love of stories that makes the experience reports track my favorite at conferences. A great experience report is a story: a personal account of what somebody experienced while trying an idea.
openaire +2 more sources
1999
The rising cost of testing is driving industry to revise its processes and techniques in order to be able to verify in an economical way the complex systems demanded by current and future applications. The Marconi Research Centre devised a software testing experiment called VERA with the aim of finding a cost-effective verification process.
openaire +1 more source
The rising cost of testing is driving industry to revise its processes and techniques in order to be able to verify in an economical way the complex systems demanded by current and future applications. The Marconi Research Centre devised a software testing experiment called VERA with the aim of finding a cost-effective verification process.
openaire +1 more source
Computer Networks and ISDN Systems, 1986
Abstract NTT has been undertaking thorough studies aimed at the establishment of a new comprehensive telecommunications network for the 21st century, called the Information Network System (INS). The INS is expected to play an important role in the infrastructure of the advanced information society of the future.
openaire +2 more sources
Abstract NTT has been undertaking thorough studies aimed at the establishment of a new comprehensive telecommunications network for the 21st century, called the Information Network System (INS). The INS is expected to play an important role in the infrastructure of the advanced information society of the future.
openaire +2 more sources
Proceedings of the 13th ACM SIGPLAN international conference on Functional programming, 2008
Bluespec is a hardware-design tools startup whose core technology is developed using Haskell. Haskell is an unusual choice for a startup because it adds technical risk to the inherent business risk. In the years since Bluespec's founding, we have discovered that Haskell's purity is an unexpected match for the development needs of a startup.
openaire +2 more sources
Bluespec is a hardware-design tools startup whose core technology is developed using Haskell. Haskell is an unusual choice for a startup because it adds technical risk to the inherent business risk. In the years since Bluespec's founding, we have discovered that Haskell's purity is an unexpected match for the development needs of a startup.
openaire +2 more sources
Proceedings of the 18th ACM SIGPLAN international conference on Functional programming, 2013
A modular framework for the development of medical applications that promotes deterministic, robust and correct code is presented. The system is based on the portable Gambit Scheme programming language and provides a flexible cross-platform environment for developing graphical applications on mobile devices as well as medical instrumentation interfaces
Christian L. Petersen +4 more
openaire +1 more source
A modular framework for the development of medical applications that promotes deterministic, robust and correct code is presented. The system is based on the portable Gambit Scheme programming language and provides a flexible cross-platform environment for developing graphical applications on mobile devices as well as medical instrumentation interfaces
Christian L. Petersen +4 more
openaire +1 more source
Aeronautical journal (London, England : 1897), 1897
The two chief methods proposed by inventors for obtaining aerial flight are by means of aeroplanes or aerocurves, driven by screw propellers, and by wings worked as in nature.Which of these designs will practically be best it is difficult to say. It can only be by actually trying the two methods that their merits can be compared.
openaire +1 more source
The two chief methods proposed by inventors for obtaining aerial flight are by means of aeroplanes or aerocurves, driven by screw propellers, and by wings worked as in nature.Which of these designs will practically be best it is difficult to say. It can only be by actually trying the two methods that their merits can be compared.
openaire +1 more source