Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Showing content from https://www.cs.cmu.edu/afs/cs.cmu.edu/user/mleone/web/language-research.html below:

Resources for Programming Language Research

• What's new
• Language overviews
• Research projects
• Home pages of researchers
• Journals, books, and publishers
• Conferences and workshops
• Bibliographies
• Miscellaneous

• Action semantics
• Automated deduction
• Automated reasoning
• Calculi for Mobile Processes
• Constraints
• Dataflow
• Formal methods
• Functional programming
• Functional logic programming
• Instruction set simulation and instruction-level program tracing
• Linear logic
• Literate programming
• Logic programming
• Logical frameworks
• Memory management
• Mobile code
• Object-oriented programming
• Program Specialization and Partial Evaluation
• Run-time code generation
• Semantics-based program analysis and manipulation
• Skeletal parallelism
• Software engineering
• Supercomputing and parallel computing
• The Types Forum
• Visual programming and program and data visualisation

• Functional Languages FAQ
• The European Association for Programming Languages and Systems
• The Compiler Connection at NULLSTONE
• The Teaching About Programming Languages project.
• Catalog of Compiler Construction Tools
• ACM SIGPLAN home page
• AMAST Links (Algebraic Methodology And Software Technology)
• Archive of comp.compilers
• The SEL-HPC Article Archive
• Reading list on parallel languages

RetroSearch is an open source project built by @garambo | Open a GitHub Issue

Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo

HTML: 3.2 | Encoding: UTF-8 | Version: 0.7.3