We consider quasi-metrics as a technical tool for use in theoretical computer science. In particular, we discuss their use in nding xed points of operators arising in programming language semantics, especially those arising in logic programming .

Current methodology for compiler construction evolved from the need to release programmers form the burden of writing machine-language programs. This methodology does not assume a formal concept of a programming language and is not based on mathematical algorithms that model the behavior of a compiler. The side eeect is that compiler implementation is a diicult task and the correctness of a com...

Computer programming is a skill required in many professions, not just computer science. Lego Mindstorms NXT can be incorporated into a programming course to add hands-on interactivity that will better engage a broader range of students. Chosing the most suitable programming language is difficult, and this paper summarizes some experiences in teaching students using RoboLab and NXT-G for Mindst...

today, teaching language through the use of technology has become considerably widespread in many countries. the present research aims to investigate the extent to which computer software and new technologies are employed in teaching persian language. in addition, it studies the reasons for success or failure of these tools. the study, which was conducted in a comparative framework, used a rese...

Deciding what to teach novice programmers about programming and, in particular, which programming language to teach to novice programmers, and how to teach it, is a common topic for debate within universities. Should an industry relevant programming language be taught, or should a language designed for teaching novices be used? In order to design tools and methodologies for the teaching of novi...

Courses in Computer Architectures are increasingly becoming restricted to Electronics and Computer Engineering degrees rather than Computer Science degrees, as Computer Science and Software Engineering expands and student demand increasingly favours software rather than hardware aspects. As a result, a declining proportion of Computing students understand the relationships between software stru...

the potential of computers to support learning and teaching m almost all subject areas is now widely accepted. at ail levels of education computers aid teachers to enrich their learning/teaching environment. in the field of language education, especially english as a second/foreign language (esl/efl) computer-assisted learning has acted as an indirect boost to enhance language proficiency. whil...

The Brazilian Symposium on Programming Languages (SBLP) is the main event in South America devoted to programming languages. Its scope includes all aspects of programming languages, including language design and implementation, formal semantics, domain-specific languages, and theoretical foundations of programming languages. The Symposium is a yearly event supported by the Brazilian Computer So...

Sizes of computer components are reaching nanoscale dimensions, causing physical limitations to be met in traditional computer architectures. This study surveys the field of alternative nanocomputer architectures, including the nano-mechanical computational machines first proposed by Eric Drexler. A high-level XML programming language, MolML, is introduced as a scripting language for hydrocarbo...