Sciweavers

7124 search results - page 132 / 1425
» Programming Languages and Operating Systems
Sort
View
SIGCSE
1999
ACM
128views Education» more  SIGCSE 1999»
15 years 10 months ago
Discovery learning in introductory operating system courses
Practical experiencesare necessaryto balance the theory discussed in textbooks and in class meetings. Effective practicalexperiencesmust have a clear purpose and must motivate stu...
Uta Ziegler
TLDI
2010
ACM
247views Formal Methods» more  TLDI 2010»
16 years 3 months ago
F-ing modules
ML modules are a powerful language mechanism for decomposing programs into reusable components. Unfortunately, they also have a reputation for being “complex” and requiring fa...
Andreas Rossberg, Claudio V. Russo, Derek Dreyer
INFORMATICALT
2000
108views more  INFORMATICALT 2000»
15 years 6 months ago
Theoretical Foundations of an Environment-Based Multiparadigm Language
The paper presents a simple programming language and rewriting system called GENS. It is based on an extension of the -calculus called E-calculus. GENS is a multiparadigm language:...
Mario Blazevic, Zoran Budimac, Mirjana Ivanovic
IJCAI
1993
15 years 7 months ago
Using Classification as a Programming Language
Our experience in the IDAS natural language generation project has shown us that IDAS'S KLONE-like classifier, originally built solely to hold a domain knowledge base, could ...
Chris Mellish, Ehud Reiter
IFIP
2005
Springer
15 years 12 months ago
Recovering Digital Evidence from Linux Systems
As Linux kernel-based operating systems gain market share there will be an inevitable increase in Linux systems that law enforcement agents must process at cybercrime scenes. The ...
Philip Craiger