Fundamenta Informaticae, Volume 77

Volume 77, Number 1-2, 2007

Special Issue on ASM'05

Jean-Raymond Abrial, Stefan Hallerstede:
Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B. 1-28
Electronic Edition (link) BibTeX
Richard Banach, Czeslaw Jeske, Michael Poppleton, Susan Stepney:
Retrenching the Purse: The Balance Enquiry Quandary, and Generalised and (1, 1) Forward Refinements. 29-69
Electronic Edition (link) BibTeX
Roozbeh Farahbod, Vincenzo Gervasi, Uwe Glässer:
CoreASM: An Extensible ASM Execution Engine. 71-103
Electronic Edition (link) BibTeX
Calvin Kai Fan Tang, Eugenia Ternovska:
Model Checking Abstract State Machines with Answer Set Programming. 105-141
Electronic Edition (link) BibTeX
Susanne Graf, Andreas Prinz:
Time in State Machines. 143-174
Electronic Edition (link) BibTeX
Seshadhri Comandur, Anil Seth, Somenath Biswas:
RAM Simulation of BGS Model of Abstract-state Machines. 175-185
Electronic Edition (link) BibTeX

Eric Badouel, Jules Chenou, Goulven Guillou:
An Axiomatization of the Token Game Based on Petri Algebras. 187-215
Electronic Edition (link) BibTeX
Chin-Chen Chang, Wei-Liang Tai, Chia-Chen Lin:
A Novel Image Hiding Scheme Based on VQ and Hamming Distance. 217-228
Electronic Edition (link) BibTeX
Yancang Li, Wanqing Li:
Adaptive Ant Colony Optimization Algorithm Based on Information Entropy: Foundation and Application. 229-242
Electronic Edition (link) BibTeX
Mykola Pechenizkiy, Alexey Tsymbal, Seppo Puuronen, David W. Patterson:
Feature Extraction for Dynamic Integration of Classifiers. 243-275
Electronic Edition (link) BibTeX
Piotr Porwik:
Efficient Algorithm of Affine Form Searching forWeakly Specified Boolean Function. 277-291
Electronic Edition (link) BibTeX

Typed Lambda Calculi and Applications 2005, Selected Papers

Thierry Coquand:
The Completeness of Typing for Context-Semantics. 293-301
Electronic Edition (link) BibTeX
Amy P. Felty:
Tutorial Examples of the Semantic Approach to Foundational Proof-Carrying Code. 303-330
Electronic Edition (link) BibTeX
Susumu Hayashi:
Can Proofs be Animated by Games? 331-343
Electronic Edition (link) BibTeX
Andreas Abel, Thierry Coquand:
Untyped Algorithmic Equality for Martin-Löf's Logical Framework with Surjective Pairs. 345-395
Electronic Edition (link) BibTeX
Amal Ahmed, Matthew Fluet, Greg Morrisett:
L³: A Linear Language with Locations. 397-449
Electronic Edition (link) BibTeX
Ferruccio Damiani:
Rank 2 Intersection for Recursive Definitions. 451-488
Electronic Edition (link) BibTeX
René David, Karim Nour:
Arithmetical Proofs of Strong Normalization Results for Symmetric ?-calculi. 489-510
Electronic Edition (link) BibTeX
James Laird:
On the Expressiveness of Affine Programs with Non-local Control: The Elimination of Nesting in SPCF. 511-531
Electronic Edition (link) BibTeX