Expressing mathematical subroutines constructively
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
Deciding ML typability is complete for deterministic exponential time
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Cognitive Fit: An Empirical Study of Recursion and Iteration
IEEE Transactions on Software Engineering
Challenging Universal Truths of Requirements Engineering
IEEE Software
New directions in the introductory computer science curriculum
SIGCSE '94 Proceedings of the twenty-fifth SIGCSE symposium on Computer science education
Engaging students and teaching modern concepts: literate, situated, object-oriented programming
SIGCSE '94 Proceedings of the twenty-fifth SIGCSE symposium on Computer science education
AAA and CS 1: the applied apprenticeship approach to CS 1
SIGCSE '95 Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education
A three paradigm first course for CS majors
SIGCSE '95 Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education
Providing intellectual focus to CS1/CS2
SIGCSE '98 Proceedings of the twenty-ninth SIGCSE technical symposium on Computer science education
Formal semantics and interpreters in a principles of programming languages course
SIGCSE '99 The proceedings of the thirtieth SIGCSE technical symposium on Computer science education
Dynamic removal of redundant computations
ICS '99 Proceedings of the 13th international conference on Supercomputing
Understanding and exploring formal specifications
Annals of Software Engineering - Special issue on software engineering education
Smart packets: applying active networks to network management
ACM Transactions on Computer Systems (TOCS)
Problems in comprehending recursion and suggested solutions
Proceedings of the 6th annual conference on Innovation and technology in computer science education
Eager Haskell: resource-bounded execution yields efficient iteration
Proceedings of the 2002 ACM SIGPLAN workshop on Haskell
Revised Report on the Algorithmic Language Scheme
Higher-Order and Symbolic Computation
ESOP '99 Proceedings of the 8th European Symposium on Programming Languages and Systems
Aspects of the PGG System: Specialization for Standard Scheme
Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School
Steps towards C+C: A Language for Interactions
AIMSA '00 Proceedings of the 9th International Conference on Artificial Intelligence: Methodology, Systems, and Applications
Structure and Interpretation of Music Concepts: Music from a Computational Perspective
ICMAI '02 Proceedings of the Second International Conference on Music and Artificial Intelligence
Optimized Live Heap Bound Analysis
VMCAI 2003 Proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation
Fine Control of Demand in Haskell
MPC '02 Proceedings of the 6th International Conference on Mathematics of Program Construction
Establishment of Virtual Enterprise Contracts
DEXA '02 Proceedings of the 13th International Conference on Database and Expert Systems Applications
Introducing computer science after programming
Journal of Computing Sciences in Colleges
Using abstraction barriers to motivate the teaching of object-oriented concepts
Journal of Computing Sciences in Colleges
The genome generator: simulating the development of junk DNA
Journal of Computing Sciences in Colleges
Cycle therapy: a prescription for fold and unfold on regular trees
Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
Implementation of multilisp: Lisp on a multiprocessor
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
Communication as a Means to Differentiate Objects, Components and Agents
TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
A case for OO -- Java -- in teaching algorithm analysis
PPPJ '03 Proceedings of the 2nd international conference on Principles and practice of programming in Java
Resolution of collective-distributive ambiguity using model-based reasoning
ACL '91 Proceedings of the 29th annual meeting on Association for Computational Linguistics
Logic programming in the context of multiparadigm programming: the Oz experience
Theory and Practice of Logic Programming
Box-structured methods for systems development with objects
IBM Systems Journal
Improving the static analysis of embedded languages via partial evaluation
Proceedings of the ninth ACM SIGPLAN international conference on Functional programming
Relating models of backtracking
Proceedings of the ninth ACM SIGPLAN international conference on Functional programming
Types, potency, and idempotency: why nonlinearity and amnesia make a type system work
Proceedings of the ninth ACM SIGPLAN international conference on Functional programming
A methodology for generating verified combinatorial circuits
Proceedings of the 4th ACM international conference on Embedded software
From turtles to Tangible Programming Bricks: explorations in physical language design
Personal and Ubiquitous Computing
Using image processing projects to teach CS1 topics
Proceedings of the 36th SIGCSE technical symposium on Computer science education
Communications of the ACM - Transforming China
Programming language concepts and Perl
Journal of Computing Sciences in Colleges
Predicate result range caching for continuous queries
Proceedings of the 2005 ACM SIGMOD international conference on Management of data
A programming languages course for freshmen
ITiCSE '05 Proceedings of the 10th annual SIGCSE conference on Innovation and technology in computer science education
Journal of Functional Programming
Encyclopedia of Computer Science
Encyclopedia of Computer Science
The computer science debate: it's a matter of perspective
ACM SIGCSE Bulletin
Object-oriented algorithm analysis and design with Java
Science of Computer Programming - Special issue on principles and practice of programming in java (PPPJ 2003)
Teaching quality object-oriented programming
Journal on Educational Resources in Computing (JERIC)
Current issues in software engineering for Natural Language Processing
SEALTS '03 Proceedings of the HLT-NAACL 2003 workshop on Software engineering and architecture of language technology systems - Volume 8
The inverted curriculum in practice
Proceedings of the 37th SIGCSE technical symposium on Computer science education
Improving learning in CS1 via tablet-PC-based in-class assessment
Proceedings of the second international workshop on Computing education research
Language and compiler design for streaming applications
International Journal of Parallel Programming - Special issue: The next generation software program
Gaussian elimination: a case study in efficient genericity with MetaOCaml
Science of Computer Programming - Special issue on the first MetaOCaml workshop 2004
PPPJ '06 Proceedings of the 4th international symposium on Principles and practice of programming in Java
Design of a simple functional programming language and environment for CS2
Journal of Computing Sciences in Colleges
Expressive programs through presentation extension
Proceedings of the 6th international conference on Aspect-oriented software development
Retaining majors through the introductory sequence
Proceedings of the 38th SIGCSE technical symposium on Computer science education
A visual object-oriented programming environment
Proceedings of the 38th SIGCSE technical symposium on Computer science education
Software—Practice & Experience
Filters as a language support for design patterns in object-oriented scripting languages
COOTS'99 Proceedings of the 5th conference on USENIX Conference on Object-Oriented Technologies & Systems - Volume 5
Three Paradigms of Computer Science
Minds and Machines
ML '07 Proceedings of the 2007 workshop on Workshop on ML
Teaching strategies for reinforcing structural recursion with lists
Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion
Understanding programmer language
Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion
Language design and implementation using ruby and the interpreter pattern
Proceedings of the 39th SIGCSE technical symposium on Computer science education
Integer squarers with overflow detection
Computers and Electrical Engineering
ButtonSchemer: ambient program reader
Proceedings of the 10th international conference on Human computer interaction with mobile devices and services
Htdp and dmda in the battlefield: a case study in first-year programming instruction
Proceedings of the 2008 international workshop on Functional and declarative programming in education
The chilling descent: making the transition to a conventional curriculum
Proceedings of the 2008 international workshop on Functional and declarative programming in education
Explicit Control of Service Execution to Support QoS-Based Grid Scheduling
ICA3PP '08 Proceedings of the 8th international conference on Algorithms and Architectures for Parallel Processing
Self-Sustaining Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
The PIAM approach to modular integrated assessment modelling
Environmental Modelling & Software
Thinking about computational thinking
Proceedings of the 40th ACM technical symposium on Computer science education
Whither scheme?: 21st century approaches to scheme in CS1
Proceedings of the 40th ACM technical symposium on Computer science education
Learning Agents and Enhanced Presence for Generation of Services on the Grid
Proceedings of the 2005 conference on Towards the Learning Grid: Advances in Human Learning Services
Toward Aligning Computer Programming with Clear Thinking via the Reason Programming Language
Proceedings of the 2008 conference on Current Issues in Computing and Philosophy
How to edit gigabyte XML files on a mobile phone with XAS, RefTrees, and RAXS
Proceedings of the 5th Annual International Conference on Mobile and Ubiquitous Systems: Computing, Networking, and Services
Teaching and practicing computer science at the university level
ACM SIGCSE Bulletin
UAHCI '09 Proceedings of the 5th International Conference on Universal Access in Human-Computer Interaction. Part III: Applications and Services
A natural, tiered and executable UIDL for 3D user interfaces based on Concept-Oriented Design
ACM Transactions on Computer-Human Interaction (TOCHI)
Revised6 report on the algorithmic language scheme
Journal of Functional Programming
Accuracy estimate and optimization techniques for SimRank computation
The VLDB Journal — The International Journal on Very Large Data Bases
“little language” project modules
Journal of Functional Programming
The activation mechanism for dynamically generated procedures in hyperlogo
Proceedings of the 2007 conference on Human interface: Part I
Model-based collaborative design in engineering
CDVE'09 Proceedings of the 6th international conference on Cooperative design, visualization, and engineering
Functional programming using JavaScript and the HTML5 canvas element
Journal of Computing Sciences in Colleges
Experience report: growing programming languages for beginning students
Proceedings of the 15th ACM SIGPLAN international conference on Functional programming
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Integrating complex events for collaborating and dynamically changing business processes
ICSOC/ServiceWave'09 Proceedings of the 2009 international conference on Service-oriented computing
An introductory textbook on cyber-physical systems
WESE '10 Proceedings of the 2010 Workshop on Embedded Systems Education
Sal/Svm: an assembly language and virtual machine for computing with non-enumerated sets
Virtual Machines and Intermediate Languages
Rediscovering the passion, beauty, joy, and awe: making computing fun again, part 4
Proceedings of the 42nd ACM technical symposium on Computer science education
Canonical method names for Java: using implementation semantics to identify synonymous verbs
SLE'10 Proceedings of the Third international conference on Software language engineering
Supporting software design based on comments in codes
ACOS'06 Proceedings of the 5th WSEAS international conference on Applied computer science
Information, Divergence and Risk for Binary Experiments
The Journal of Machine Learning Research
Tactics choice behaviors represented in a programming language in the map tracing problems
UAHCI'11 Proceedings of the 6th international conference on Universal access in human-computer interaction: users diversity - Volume Part II
A family of Gödel machine implementations
AGI'11 Proceedings of the 4th international conference on Artificial general intelligence
Advances in Engineering Software
Exploiting coarse-grain speculative parallelism
Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
The case for teaching functional programming in discrete math
Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion
Proceedings of the 11th Koli Calling International Conference on Computing Education Research
Making teaching of programming learning-oriented and learner-directed
Proceedings of the 11th Koli Calling International Conference on Computing Education Research
Convergence in language design: a case of lightning striking four times in the same place
FLOPS'06 Proceedings of the 8th international conference on Functional and Logic Programming
: a reusable assessment engine
ICWL'06 Proceedings of the 5th international conference on Advances in Web Based Learning
Actor Petri net model for scientific workflows: model, design and system
Proceedings of the 4th International Conference on Uniquitous Information Management and Communication
Towards an end-user programming environment for the grid
GCC'05 Proceedings of the 4th international conference on Grid and Cooperative Computing
Building learning management systems using IMS standards: architecture of a manifest driven approach
ICWL'05 Proceedings of the 4th international conference on Advances in Web-Based Learning
GP-EndChess: using genetic programming to evolve chess endgame players
EuroGP'05 Proceedings of the 8th European conference on Genetic Programming
CS1001.py: a topic-based introduction to computer science
Proceedings of the 17th ACM annual conference on Innovation and technology in computer science education
Constructing customized interpreters from reusable evaluators using GAME
SC'12 Proceedings of the 11th international conference on Software Composition
Alternative programming interfaces for alternative programmers
Proceedings of the ACM international symposium on New ideas, new paradigms, and reflections on programming and software
Parallelism granules aggregation with the T-system
PaCT'07 Proceedings of the 9th international conference on Parallel Computing Technologies
Towards an overview map of object-oriented programming and design
Proceedings of the 12th Koli Calling International Conference on Computing Education Research
A tutorial on simulation modeling in six dimensions
Proceedings of the Winter Simulation Conference
Concept specification maps: displaying content structures
Proceedings of the 18th ACM conference on Innovation and technology in computer science education
Imagen: runtime migration of browser sessions for javascript web applications
Proceedings of the 22nd international conference on World Wide Web
Functional geometry and the Traité de Lutherie: functional pearl
Proceedings of the 18th ACM SIGPLAN international conference on Functional programming
Whalesong: running racket in the browser
Proceedings of the 9th symposium on Dynamic languages
UAHCI'13 Proceedings of the 7th international conference on Universal Access in Human-Computer Interaction: user and context diversity - Volume 2
Communication and organizational social networks: a simulation model
Computational & Mathematical Organization Theory
Hi-index | 0.00 |
From the Publisher:With an analytical and rigorous approach to problem solving and programming techniques,this book is oriented toward engineering. Structure and Interpretation of Computer Programs emphasizes the central role played by different approaches to dealing with time in computational models. Its unique approach makes it appropriate for an introduction to computer science courses,as well as programming languages and program design.