Determinate Imperative Programming Determinate Imperative Programming A clocked interpretation of imperative syntax (Extended Abstract) Vijay Saraswat

Source URL: www.saraswat.org

A Comparison of Functional and Imperative Programming Techniques for Mathematical Software Development Scott Frame and John W. Coffey Department of Computer Science University of West Florida Pensacola, FL

Source URL: www.iiisci.org

Compensations in an Imperative Programming Language Adrian Francalanza Gordon Pace Lydia Vella

Source URL: staff.um.edu.mt

02157 Functional Programming - Lecture 11: Imperative, Asynchronous, Parallel and Monadic Programming A short story

Source URL: www.imm.dtu.dk

Imperative programming in F# Björn Lisper School of Innovation, Design, and Engineering Mälardalen University http://www.idt.mdh.se/˜blr/

Source URL: www.idt.mdh.se

• Software engineering
• Computing
• Computer programming
• Functional programming
• Programming paradigms
• Immutable object
• Object
• Data types
• Assignment
• Reference
• Scala
• Immutable interface

F# is a Multiparadigm Programming Language Imperative programming in F# So far we have used F# mainly as a functional language Björn Lisper

Source URL: www.idt.mdh.se

• Software engineering
• Computer programming
• Computing
• Subroutines
• Functional languages
• Data types
• Recursion
• Functional programming
• Immutable object
• F Sharp
• Closure
• Assignment

Analysis and Specialisation of Imperative Programs: An approach using CLP Julio C. Peralta Estrada A thesis submitted to the University of Bristol in accordance with the

Source URL: repository.readscheme.org

• Theoretical computer science
• Programming paradigms
• Software engineering
• Logic in computer science
• Declarative programming
• Programming language semantics
• Constraint programming
• Logic programming
• Operational semantics
• Imperative programming
• CLP
• Programming language

Towards Semantics-Based Partial Evaluation of Imperative Programs Julio C. Peralta April 1997

Source URL: repository.readscheme.org

• Software engineering
• Computer programming
• Programming paradigms
• Theoretical computer science
• Constraint logic programming
• Prolog
• Programming language
• Partial evaluation
• Functional programming
• Constraint programming
• Abstract interpretation
• Logic programming

Centrum voor Wiskunde en Informatica Alma-0: An imperative language that supports declarative programming R. Apt, J. Brunekreef, V. Partington and A. Schaerf Probability, Networks and Algorithms (PNA)

Source URL: www.klomp.org

• Software engineering
• Computer programming
• Programming paradigms
• Theoretical computer science
• Programming idioms
• Computability theory
• Alma-0
• Backtracking
• Logic programming
• Recursion
• Prolog
• Imperative programming

02157 Functional Programming - Lecture 1: Introduction and Getting Started

Source URL: www.imm.dtu.dk

• Programming paradigms
• Functional languages
• Procedural programming languages
• Functional programming
• Declarative programming
• Technical University of Denmark
• Standard ML
• Imperative programming
• Programming language
• ML
• Procedural programming
• Lisp