This Volume 38 Number 9 of the conferenceproceedings contains 27 papers. Topics discussed include functional computing, reversible and quantum computing, inference processes, marshalling, XML languages, iterative fre...
详细信息
This Volume 38 Number 9 of the conferenceproceedings contains 27 papers. Topics discussed include functional computing, reversible and quantum computing, inference processes, marshalling, XML languages, iterative free program analysis, context semantics, axiomatization, meta-programming and optimistic evaluation.
The proceedings contains 23 papers from the acmsigplaninternationalconference on functionalprogramming, ICFP. Topics discussed include: scripting the type inference process;discriminative sum types locate the sour...
详细信息
The proceedings contains 23 papers from the acmsigplaninternationalconference on functionalprogramming, ICFP. Topics discussed include: scripting the type inference process;discriminative sum types locate the source of type errors;compiling regular patterns;software is discrete mathematics;iterative-free program analysis;call-by-value is dual to call-by-name;a static type system for JVM access control and meta-programming through typeful code representation.
The proceedings contains 25 papers from the 1996 internationalconference on functionalprogramming of the Assn. for Computing Machinery (acm) Special Interest Group on programming Languages (sigplan). Topics discusse...
详细信息
The proceedings contains 25 papers from the 1996 internationalconference on functionalprogramming of the Assn. for Computing Machinery (acm) Special Interest Group on programming Languages (sigplan). Topics discussed include functionalprogramming, computer programming languages, computational grammars, program compilers, recursive functions, lambda calculus and data structures.
The proceedings contain 24 papers from the proceedings of the Ninth acmsigplaninternationalconference on functionalprogramming, ICFP'04. The topics discussed include: improving the static analysis of embedded ...
详细信息
The proceedings contain 24 papers from the proceedings of the Ninth acmsigplaninternationalconference on functionalprogramming, ICFP'04. The topics discussed include: improving the static analysis of embedded languages via partial evaluation;searching for deadlocks while debugging concurrent Haskell programs;a type-theoretic foundation of continuations and prompts;relating models of backtracking;regular expression patterns;implementing functional logic languages using multiple threads and stores;monadic regions;translating dependency into parametricity;types for path correctness of XML queries;from process logic to program logic;and verification of safety properties for concurrent assembly code.
The proceedings contains 26 papers from the 1997 acmsigplaninternationalconference on functionalprogramming. Topics discussed include: closure analysis;typed flow-directed representation transformations;type-drive...
详细信息
The proceedings contains 26 papers from the 1997 acmsigplaninternationalconference on functionalprogramming. Topics discussed include: closure analysis;typed flow-directed representation transformations;type-driven defunctionalization;control flow analyses for CML;functionalprogramming with graphs;catenable double-ended queues;statically checkable pattern abstractions;lambda-splitting;set-based analysis;tupling calculation;bounds inference method for vector-based memorization;optimal graph reduction;development of Erlang;structural graphical paradigms in TkGofer;functional reactive animation;automatic management of operating system resources;formal models of distributed memory management;and copying garbage collection mechanisms.
The proceedings contain 8 papers. The topics discussed include: polytypic properties and proofs in Coq;adaptable component frameworks: using vector from the C++ - standard library as an example;the function concept in...
ISBN:
(纸本)9781605585109
The proceedings contain 8 papers. The topics discussed include: polytypic properties and proofs in Coq;adaptable component frameworks: using vector from the C++ - standard library as an example;the function concept in C++ - an empirical study;what does aspect-oriented programming mean for functional programmers?;type-specialized staged programming with process separation;type-safe diff for families of datatypes;meeting a fanclub: a lattice of generic shape selectors;and parametric datatype-genericity.
暂无评论