books search
books
articles search
articles
Donate
Log In
Log In
to access more features
personal recommendations
Telegram Bot
download history
send to Email or Kindle
manage booklists
save to favorites
Explore
Journals
Contribution
Donate
Litera Library
Donate paper books
Add paper books
Open LITERA Point
Volume 22; Issue 5
Main
Formal Aspects of Computing
Volume 22; Issue 5
Formal Aspects of Computing
Volume 22; Issue 5
1
Solutions of equations in languages
Wim H. Hesselink
Journal:
Formal Aspects of Computing
Year:
2010
Language:
english
File:
PDF, 143 KB
Your tags:
english, 2010
2
An algebraic approach to the design of compilers for object-oriented languages
Adolfo Duran
,
Ana Cavalcanti
,
Augusto Sampaio
Journal:
Formal Aspects of Computing
Year:
2010
Language:
english
File:
PDF, 2.34 MB
Your tags:
english, 2010
3
Blaming the client: on data refinement in the presence of pointers
Ivana Filipović
,
Peter O’Hearn
,
Noah Torp-Smith
,
Hongseok Yang
Journal:
Formal Aspects of Computing
Year:
2010
Language:
english
File:
PDF, 431 KB
Your tags:
english, 2010
4
A game-theoretic framework for specification and verification of cryptographic protocols
Mohamed Saleh
,
Mourad Debbabi
Journal:
Formal Aspects of Computing
Year:
2010
Language:
english
File:
PDF, 385 KB
Your tags:
english, 2010
5
Structured derivations: a unified proof style for teaching mathematics
Ralph-Johan Back
Journal:
Formal Aspects of Computing
Year:
2010
Language:
english
File:
PDF, 274 KB
Your tags:
english, 2010
6
An elementary and unified approach to program correctness
Jaime A. Bohórquez V
Journal:
Formal Aspects of Computing
Year:
2010
Language:
english
File:
PDF, 207 KB
Your tags:
english, 2010
7
Robin Milner: 13 January 1934–20 March 2010
Journal:
Formal Aspects of Computing
Year:
2010
Language:
english
File:
PDF, 94 KB
Your tags:
english, 2010
1
Follow
this link
or find "@BotFather" bot on Telegram
2
Send /newbot command
3
Specify a name for your chatbot
4
Choose a username for the bot
5
Copy an entire last message from BotFather and paste it here
×
×
